An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction

We discuss the challenges of building a simulation framework for hybrid systems, in particular the well-known Zeno effect and correct composition of models idealised by abstracting irrelevant behavioural details (e.g. the bounce dynamics of a bouncing ball or the process of fuse melting in an electrical circuit). We argue that the cornerstone of addressing these challenges is the definition of a semantic framework with an appropriate underlying model of time. Using two simple examples, we illustrate the properties of such a model and explain why existing models are not sufficient. Finally, we propose a new Zeno-free semantic model that allows mixing discrete and continuous behaviour in a rigorous way and provides for the compositional behavioural abstraction. Although it is based on non-standard analysis, we explain how our semantic model can be used to develop hybrid system simulators.


Published in:
Proceedings of the 10th International ModelicaConference, 693-706
Presented at:
10th International Modelica Conference, Lund, Sweden, March 10-12, 2014
Year:
2014
Publisher:
Linköping, Linköping University Electronic Press, Linköpings universitet
ISBN:
978-91-7519-380-9
Keywords:
Laboratories:




 Record created 2014-05-27, last modified 2018-03-17

Publisher's version:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)