Location of Repository

Continuity Controlled Hybrid Automata

By J.A. Bergstra and C.A. Middelburg


We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of\ud 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\ud 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

Topics: Wijsbegeerte, hybrid systems, hybrid automata, hybrid transition systems, timed transition systems, process algebra, continuous relative timing, continuity control
Year: 2004
OAI identifier: oai:dspace.library.uu.nl:1874/21264
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.