- 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.
- Copyright:
- 2008 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @InProceedings{EDI-INF-RR-1251,
- author = {
Vashti Galpin
and Luca Bortolussi
and Jane Hillston
},
- title = {HYPE: hybrid systems modelled with flows},
- book title = {},
- year = 2008,
- month = {Apr},
- }
|
