Addressing real-time constraints in the design of autonomous agents
Real-Time Systems
World modeling for the dynamic construction of real-time control plans
Artificial Intelligence
Real-Time Systems
The Challenges of Real-Time AI
Computer
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Plan development using local probabilistic models
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Coordination of view maintenance policy adaptation decisions: a negotiation-based reasoning approach
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Imposing real-time constraints on self-adaptive controller synthesis
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Adaptive real-time controller in ORICA
MIC'06 Proceedings of the 25th IASTED international conference on Modeling, indentification, and control
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Deliberation scheduling using GSMDPs in stochastic asynchronous domains
International Journal of Approximate Reasoning
Managing online self-adaptation in real-time environments
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Joint structural and temporal property specification using timed story scenario diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Modeling and verification of cooperative self-adaptive mechatronic systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Model based diagnosis and contexts in self adaptive software
Self-star Properties in Complex Information Systems
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
An Architecture-Based Adaptation Framework for Soft Real-Time Applications
International Journal of Adaptive, Resilient and Autonomic Systems
| Hi-index | 0.00 |
Predicatable, dependable, and efficient systems are essential in real-time environments. The Automated Reasoning group at the Honeywell Technology Center is developing adaptive intelligent software for high-risk situations. The authors are building a system called Self-Adaptive CIRCA (based on their cooperative intelligent real-time control architecture model) that combines the assurance of hard real-time systems with the self-modeling, self-monitoring, and self-modifying capabilities of self-adaptive software. SA-CIRCA provides a control framework for next-generation autonomous systems operating in demanding and risky environments.