Output details

HYPE: Hybrid modelling by composition of flows

<10> Originality: A novel hybrid process algebra that compositionally constructs ordinary differential equations describing continuous behaviour, unlike existing hybrid process algebras in which these equations appear explicitly in the syntax. Novel separation of definition of controllers and underlying system.

Significance: Basis for a stochastic hybrid process algebra. Ability to exclude infinite sequences of discrete events from models. A wide range of application areas including modelling a Circadian clock, genetic networks, computer networks, railways and space vehicles. Extension of a paper at CONCUR 2009, the premier concurrency conference, with 29% acceptance rate.

Rigour: Proofs (checked by two reviewers) provided in full.