Abstract
We investigate the connections between the process algebra
for hybrid systems of Bergstra and Middelburg and the formalism of
hybrid automata of Henzinger et al. We give interpretations of hybrid
automata in the process algebra for hybrid systems and compare them
with the standard interpretation of hybrid automata as timed transition
systems. We also relate
... read more