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