Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis

H. Marchand, E. Rutten
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002  
To cite this version: Hervé Marchand, Éric Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. Abstract Real-time control systems are complex to design, and automation support is important. We are interested in systems 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
more » ... ng of modes in order to insure properties like bounding cost while maximizing quality. We outline a technique for the automatic generation of such controllers involving an automaton-based formal model, and using optimal discrete control synthesis.
doi:10.1109/emrts.2002.1019204 dblp:conf/ecrts/MarchandR02 fatcat:oxkimje6wzccxfexwhxo5mcxu4