Skip to main content
Article thumbnail
Location of Repository

Process algebra for Hybrid systems

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


We propose a process algebra obtained by extending a combination\ud of the process algebra with continuous relative timing from Baeten\ud and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002]\ud and the process algebra with propositional signals from Baeten and\ud Bergstra [Theoretical Computer Science 177:381–405, 1997]. The proposed\ud process algebra makes it possible to deal with the behaviour of\ud hybrid systems, i.e. systems in which the instantaneous state transitions\ud caused by performing actions are alternated with continuous state evolutions.\ud This process algebra has, in addition to equational axioms, rules\ud to derive equations with the help of real analysis

Topics: Wijsbegeerte, process algebra, hybrid systems, continuous relative timing, propositional signals, state evolutions, state transitions
Year: 2004
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

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