The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
World modeling for the dynamic construction of real-time control plans
Artificial Intelligence
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
Self-Adaptive Software for Hard Real-Time Environments
IEEE Intelligent Systems
Plan generation and hard real-time execution with application to safe, autonomous flight
Plan generation and hard real-time execution with application to safe, autonomous flight
Action and planning in embedded agents
Robotics and Autonomous Systems
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Introduction: the first international workshop on self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Self-control of the time complexity of a constraint satisfaction problem solver program
Journal of Systems and Software
| Hi-index | 0.00 |
Self-adaptive systems must reconfigure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the SA-CIRA architecture for intelligent autonomous sustems can automatically synthesize customized control software on the fly, and how that synthesis process itself can be managed to conform to real-time deadlines that may constrain the time available for reconfiguration. By restricting the scope of the problems it is trying to solve, by using incremental improvement algorithms, and by trading off solution quality against computation time, SA-CIRCA operates as a self-aware, self-adaptive system responding in real-time to perceived changes.