Sciweavers

Share
JLP
2006

Continuity controlled hybrid automata

9 years 8 months ago
Continuity controlled hybrid automata
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 the synchronized product operator on hybrid automata to the parallel composition operator of the process algebra. It turns out that the formalism of hybrid automata matches a fragment of the process algebra for hybrid systems closely. We present an adaptation of the formalism of hybrid automata that yields an exact match.
Jan A. Bergstra, C. A. Middelburg
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JLP
Authors Jan A. Bergstra, C. A. Middelburg
Comments (0)
books