A separation principle for a class of hybrid automata on a partial order | IEEE Conference Publication | IEEE Xplore