Hard Real-time Mode Logic Synthesis for Hybrid Control: A CIRCA-Based Approach

Hybrid Systems and AI: Modeling Analysis and Control of Discrete Plus Continuous Systems

Volume

Papers from the 1999 AAAI Spring Symposium

Contents

We are developing intelligent, autonomous, flexible control systems for mission-critical applications such as Uninhabited Aerial Vehicles (UAVs) and deep space probes. These applications require hybrid control systems, capable of effectively managing both discrete and continuous controllable parameters to maintain system safety and achieve system goals. This report describes our work on developing intelligent, hard real-time controllers for such hybrid systems. In particular, we focus on the techniques we are developing for automatically synthesizing guaranteed mode-switching controllers from domain models.