DocumentCode
2462612
Title
A separation principle for a class of hybrid automata on a partial order
Author
Del Vecchio, Domitilla ; Maliso, Michael ; Verma, Rajeev
Author_Institution
Syst. Lab., Univ. of Michigan, Ann Arbor, MI, USA
fYear
2009
fDate
10-12 June 2009
Firstpage
3638
Lastpage
3643
Abstract
We consider a parallel composition of two order preserving hybrid automata with imperfect state information. We show that the order preserving properties of the dynamics lead to a separation principle between state estimation and control under safety specifications. We provide a dynamic feedback algorithm that is guaranteed to terminate and whose complexity scales with the number of continuous variables.
Keywords
automata theory; feedback; formal specification; state estimation; continuous variable; dynamic feedback; hybrid automata; imperfect state information; order preserving property; partial order; safety specification; separation principle; state estimation; Automata; Automatic control; Control system synthesis; Control systems; Heuristic algorithms; Lattices; Safety; State estimation; State feedback; Vehicle dynamics;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2009. ACC '09.
Conference_Location
St. Louis, MO
ISSN
0743-1619
Print_ISBN
978-1-4244-4523-3
Electronic_ISBN
0743-1619
Type
conf
DOI
10.1109/ACC.2009.5160025
Filename
5160025
Link To Document