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.
No takes yet. Share an insight, caveat, or question.
Vecchio et al. (2009) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: