Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:HYPE: hybrid systems modelled with flows
Authors: Vashti Galpin ; Luca Bortolussi ; Jane Hillston
Date:Apr 2008
Publication Type:Conference Paper Publication Status:Pre-print
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.
2008 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { Vashti Galpin and Luca Bortolussi and Jane Hillston },
title = {HYPE: hybrid systems modelled with flows},
book title = {},
year = 2008,
month = {Apr},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh