A separation principle for a class of hybrid automata on a partial order
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. © 2009 AACC.
Publication Source (Journal or Book title)
Proceedings of the American Control Conference
Del Vecchio, D., Verma, R., & Malisoff, M. (2009). A separation principle for a class of hybrid automata on a partial order. Proceedings of the American Control Conference, 3638-3643. https://doi.org/10.1109/ACC.2009.5160025