Search
Abstract
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.
Authors (4)
-
Zhi Han
- .. ..
-
Pieter J. Mosterman
- MathWorks ..
-
Fu Zhang
- .. ..
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Conference activity
- Type:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Title of issue:
- Proceedings of the Symposium on Theory of Modeling and Simulation (TMS'13) strony 1 - 8
- Language:
- English
- Publication year:
- 2013
- Bibliographic description:
- 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
- Verified by:
- Gdańsk University of Technology
seen 71 times