HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and which is supported by an equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours.
Unable to display preview. Download preview PDF.
- 4.Bortolusssi, L., Policriti, A.: Hybrid approximation of stochastic process algebras for systems biology. In: IFAC World Congress, Seoul, South Korea (July 2008)Google Scholar
- 13.Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278–292 (1996)Google Scholar
- 16.Khadim, U.: A comparative study of process algebras for hybrid systems. Computer Science Report CSR 06-23, Technische Universiteit Eindhoven (2006), http://alexandria.tue.nl/extra1/wskrap/publichtml/200623.pdf
- 18.Paynter, H.: Analysis and Design of Engineering Systems. MIT Press, Cambridge (1961)Google Scholar