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.

[1]  Hosung Song,et al.  The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems , 2003, HSCC.

[2]  Bruno Tuffin,et al.  Comparison of Hybrid Systems and Fluid Stochastic Petri Nets , 2001, Discret. Event Dyn. Syst..

[3]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[4]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[5]  Panos J. Antsaklis,et al.  Hybrid Systems IV , 1997, Lecture Notes in Computer Science.

[6]  Paulo Tabuada,et al.  On Simulations and Bisimulations of General Flow Systems , 2007, HSCC.

[7]  Alberto Policriti,et al.  Hybrid approximation of stochastic process algebras for systems biology , 2008 .

[8]  Marta Simeoni,et al.  Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing , 2003, CMSB.

[9]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[10]  Jane Hillston,et al.  Fluid flow approximation of PEPA models , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

[11]  Pravin Varaiya,et al.  SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata , 1996, Hybrid Systems.

[12]  Pieter J. Mosterman,et al.  Constitutive hybrid processes , 2004 .

[13]  M. Elowitz,et al.  A synthetic oscillatory network of transcriptional regulators , 2000, Nature.

[14]  Insup Lee,et al.  Compositional modeling and refinement for hierarchical hybrid systems , 2006, J. Log. Algebraic Methods Program..

[15]  Kaisa Sere,et al.  Hybrid action systems , 2003, Theor. Comput. Sci..

[16]  Paulo Tabuada,et al.  Bisimulation relations for dynamical, control, and hybrid systems , 2005, Theor. Comput. Sci..

[17]  Radu Grosu,et al.  Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts , 2002, Formal Methods Syst. Des..

[18]  Ka Lok Man,et al.  Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..

[19]  Michel A. Reniers,et al.  Hybrid process algebra , 2005, J. Log. Algebraic Methods Program..

[20]  Luca Bortolussi,et al.  HYPE Applied to the Modelling of Hybrid Biological Systems , 2008, MFPS.

[21]  S. Shankar Sastry,et al.  O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..

[22]  U Uzma Khadim,et al.  A comparative study of process algebras for hybrid systems , 2006 .

[23]  J. Bergstra,et al.  Process algebra for hybrid systems , 2004, Theor. Comput. Sci..

[24]  Ian Stark,et al.  The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling , 2008, CMSB.