DocumentCode
646018
Title
Controller synthesis for a class of hybrid systems
Author
Batis, S. ; Alla, H.
Author_Institution
Autom. Control Dept., Gipsalab, Grenoble, France
fYear
2013
fDate
17-19 July 2013
Firstpage
131
Lastpage
136
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Control Conference (ECC), 2013 European
Conference_Location
Zurich
Type
conf
Filename
6669215
Link To Document