DOI:
Abstract:
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.