41 search results - page 1 / 9 » Reactive Modules |
IEAAIE
2004
Springer
2004
Springer
The Cognitive Controller: A Hybrid, Deliberative/Reactive Control Architecture for Autonomous Robots
13 years 10 months ago
Abstract. The Cognitive Controller (CoCo) is a new, three-tiered control architecture for autonomous agents that combines reactive and deliberative components. A behaviour-based re...
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
ICST
2008
IEEE
13 years 11 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
ECAIW
2000
Springer
13 years 9 months ago
2000
Springer
This paper discusses the hierarchical control architecture used to generate the behavior of individual agents and a team of robots for the RoboCup Small Size competition. Our react...
CONCUR
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...