Equivalences for hybrid systems

V.C. Galpin

British Colloquium for Theoretical Computer Science, Durham University, April 2008

Abstract

HYPE is a process algebra for hybrid systems. It models the flows that affect the continuous aspects of the system and allows for discrete events to occur which may change the flows. The operational semantics define a transition system labelled with events, and the states of this transition system can be used to obtain the ordinary differential equations (ODEs) which describe the continuous change of the hybrid system. For well-defined HYPE models, system-bisimilar models have the same ODEs. Semantic equivalences such as bisimulation have also been defined for other process algebras for hybrid systems and these are considered in the context of HYPE together with new equivalences for HYPE. 


Slides - PDF