73 search results - page 2 / 15 » Describing and Executing Random Reactive Systems |
AGENTS
2001
Springer
13 years 9 months ago
2001
Springer
Autonomous robots, such as robot office couriers, need navigation routines that support flexible task execution and effective action planning. This paper describes XFRMLEARN, a s...
IJCAI
2001
13 years 6 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
AAAI
1990
13 years 6 months ago
1990
Three key components of an autonomous intelligent system are planning, execution, and learning. This paper describes how the Soar architecture supports planning, execution, and le...
ECRTS
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper, we study temperature-constrained realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. We give a ...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...