Systematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement multi-branch simulation into a popular industrial modeling and simulation tool, Simulink®. The notion of simulation state which is distinctly different from the dynamic system state, is introduced for Simulink models. From this, a novel semantics based on transition systems is then developed. In a prototype implementation, these semantics are encoded in the current architecture of the Simulink engine and enable demonstrating the benefit of such type of a simulation by three case studies.
Autorzy
- Zhi Han,
- Pieter J. Mosterman,
- dr inż. Justyna Zander link otwiera się w nowej karcie ,
- Fu Zhang
Informacje dodatkowe
- Kategoria
- Aktywność konferencyjna
- Typ
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Język
- angielski
- Rok wydania
- 2013
