A separation principle for a class of hybrid automata on a partial order
Domitilla Del Vecchio, Michael Malisoff, Rajeev Verma · 2009
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.