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