HYPE: hybrid systems modelled with flows

V. Galpin, L. Bortolussi and J. Hillston

Report EDI-INF-RR-1251, School of Informatics, University of Edinburgh, 2008

Abstract

Hybrid systems show both continuous and discrete behaviour. We present a process algebra HYPE for hybrid systems which permits the modelling of individual flows together with a controller component. A HYPE model describes the overall behaviour of the hybrid system. Ordinary differential equations (ODEs) are generated from the states of the underlying labelled transition system and the model can be translated to a hybrid automata. We show that bisimilar HYPE models have the same ODEs. 


Full text - PDF


Back to Publications page