Abstract
Real-time control system are complex to design, and automation support is important. We are interested in system with multiple tasks, each with multiple modes, implementing a functionality with different levels of quality (e.g., computation approximation), and cost (e.g., computation time, energy). It is complex to control the switching of modes in order to insure properties like bounding cost while maximizing quality. We outline a technique for the automatic generation of such controller involving an automaton-based formal model, and using optimal discrete control synthesis.