Hybrid System modelling with HYPE

Hybrid systems contain both discrete and continuous behaviour.  Examples include computer systems, control systems and biological systems.

Process algebras generally model discrete systems in which actions give rise to discrete state changes.  HYPE is a recently developed process algebra for describing systems which maintains the mapping between actions and discrete events but which has continuous states in which "influences" update continuous state variables.  A HYPE model can be transformed into a hybrid automaton.  There is much scope for further work on theory, tools and applications of HYPE, and on the relationship with hybrid automata and other models of hybrid systems.