World modeling for the dynamic construction of real-time control plans
Artificial Intelligence
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Planning control rules for reactive agents
Artificial Intelligence
The Challenges of Real-Time AI
Computer
Symbolic Controller Synthesis for Discrete and Timed Systems
Hybrid Systems II
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Mapping Temporal Planning Constraints into Timed Automata
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Journal of Artificial Intelligence Research
Planning as model checking for extended goals in non-deterministic domains
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers provide guaranteed real-time performance and safety preservation in adversarial, non-closed-world domains. By separating controller construction from formal controller verification, CIRCA makes controller synthesis decisions in a time-abstract state space that is quite compact. However, controller verification requires a more complete consideration of time, to make real-time performance guarantees. By retaining information between verifications of partial controllers during the controller synthesis process, the incremental verification methods that we present here dramatically reduce the complexity of controller synthesis. We provide formal characterizations of our incremental verification technique and performance results demonstrating up to a 97% reduction in controller synthesis time using these methods.