Wyszukiwarka
Abstrakt
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 (4)
-
Zhi Han
- .. ..
-
Pieter J. Mosterman
- MathWorks ..
-
Fu Zhang
- .. ..
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Tytuł wydania:
- Proceedings of the Symposium on Theory of Modeling and Simulation (TMS'13) strony 1 - 8
- Język:
- angielski
- Rok wydania:
- 2013
- Opis bibliograficzny:
- Han Z., Mosterman P., Zander J., Zhang F.: Systematic Management of Simulation State for Multi-Branch Simulations in Simulink// Proceedings of the Symposium on Theory of Modeling and Simulation (TMS'13)/ San Diego, CA, USA: SCS, 2013, s.1-8
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 112 razy