Controller synthesis for a class of hybrid systems
Sonia Batis, Hassane Alla · 2013
A timed control synthesis approach is proposed for hybrid systems modeled with rectangular hybrid automata. The control goal is to constrain the reachable state spaces by the addition of desired control specifications to the automaton transition guards, and to determine in a maximal permissive way the transition dates that respect those constraints. The approach is illustrated via a production system.