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

R. P. Goldman, M. Pelican and D. J. Musliner

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.