Title :
Controller synthesis for a class of hybrid systems
Author :
Batis, S. ; Alla, H.
Author_Institution :
Autom. Control Dept., Gipsalab, Grenoble, France
Abstract :
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.
Keywords :
automata theory; control system synthesis; state-space methods; automaton transition guards; control specifications; controller synthesis; hybrid systems; production system; reachable state spaces; rectangular hybrid automata; timed control synthesis approach; transition dates; Aerospace electronics; Automata; Clocks; Games; Mathematical model; Production systems;
Conference_Titel :
Control Conference (ECC), 2013 European
Conference_Location :
Zurich
