Co-simulation of hybrid systems: Signal-Simulink
2000 (English)In: Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings / [ed] Mathai Joseph, Springer Berlin/Heidelberg, 2000, Vol. 1926, 134-151 p.Chapter in book (Refereed)
This article presents an approach to simulating hybrid systems. We show how a discrete controller that controls a continuous environment can be co-simulated with the environment (plant) using C-code generated automatically from mathematical models. This approach uses SIGNAL with SIMULINK to model complex hybrid systems. The choices are motivated by the fact that SIGNAL is a powerful tool for modelling complex discrete behaviours and SIMULINK is well-suited to deal with continuous dynamics. In particular, progress in formal analysis Of SIGNAL programs and the common availability of the SIMULINK tool makes these an interesting choice for combination. We present various alternatives for implementing communication between the underlying submodels. Finally, we present interesting scenarios in the co-simulation of a discrete controller with its environment: a non-linear siphon pump originally designed by the Swedish engineer Christofer Polhem in 1697.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2000. Vol. 1926, 134-151 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 1926
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-49139DOI: 10.1007/3-540-45352-0_13ISBN: 978-3-540-41055-3ISBN: 978-3-540-45352-9ISBN: 3-540-41055-4OAI: oai:DiVA.org:liu-49139DiVA: diva2:270035