2383 search results - page 125 / 477 » Anticipatory Behavioral Control |
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
This study describes how complex goal-directed behavior can evolve in a hierarchically organized recurrent neural network controlling a simulated Khepera robot. Different types of ...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
Typical mobile robots can be customized to perform a variety of different tasks by combining in different ways a set of basic control modules, or behaviors. By contrast, most cu...
HASE
2007
IEEE
14 years 27 days ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...