Systematic Management of Simulation State for Multi-Branch Simulations in Simulink - Publication - Bridge of Knowledge

Search

Systematic Management of Simulation State for Multi-Branch Simulations in Simulink

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)

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 113 times

Recommended for you

Meta Tags