From Physical Modelling to Compositional Models of Hybrid Systems
1994 (English)In: Proceedings of the 3rd Internaional Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1994, no 863, 583-604 p.Conference paper (Refereed)
By a hybrid system we mean a discrete controller in interaction with a physical environment. This paper discusses methodologies for incorporating physically grounded models in representations of hybrid systems. To this end, we study a driver support system, an example which includes unmodelled inputs. We consider models at different levels of abstraction. First, we show that discrete models of the environment can be obtained from the continuous models without losing relevant information. We do this using an analysis of the continuous state space. We use Dynamic Transition Systems (DTS) for the modular modelling at this level of abstraction. Next, we consider models using Hybrid Transition Systems (HTS). This can be seen as a modular version of timed transition systems allowing both differential and algebraic equations in each mode. Finally, we comment on expressivity requirements on hybrid formalisms for modelling realistic physical systems.
Place, publisher, year, edition, pages
1994. no 863, 583-604 p.
Hybrid transition systems, Dynamic transition systems, Modeling, Analysis
IdentifiersURN: urn:nbn:se:liu:diva-93709ISBN: 0387584684OAI: oai:DiVA.org:liu-93709DiVA: diva2:629021
3rd Internaional Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Germany, September, 1994