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
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;
Conference_Titel :
American Control Conference, 2009. ACC '09.
Conference_Location :
St. Louis, MO
Print_ISBN :
978-1-4244-4523-3
Electronic_ISBN :
0743-1619
DOI :
10.1109/ACC.2009.5160025
