Modeling hybrid systems with petri nets

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

Samenvatting

The behavior of a hybrid system is a mixture of continuous behavior and discrete event behavior. The Simulink/Stateflow toolset is a widely used industrial tool to design and validate hybrid control systems using numerical simulation methods for the continuous parts and an executable Stateflow (combination of Statecharts and Flowcharts) for the discrete event parts. On the other hand, Colored Petri Nets (CPN) is a well-known formalism for modeling behavior of discrete event systems. In this paper, we show how the CPN formalism can be used to model a hybrid system. Then we consider the special case of Simulink/Stateflow models and show how they can be expressed in CPN.

Originele taal-2Engels
TitelSimulation and Modeling Methodologies, Technologies and Applications
SubtitelInternational Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers
Plaats van productieDordrecht
UitgeverijSpringer
Pagina's17-42
Aantal pagina's26
ISBN van elektronische versie978-3-319-26470-7
ISBN van geprinte versie978-3-319-26469-1
DOI's
StatusGepubliceerd - 2015
EvenementInternational Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014 - Vienna, Oostenrijk
Duur: 28 aug 201430 aug 2014

Publicatie series

NaamAdvances in Intelligent Systems and Computing
Volume402
ISSN van geprinte versie21945357

Congres

CongresInternational Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014
LandOostenrijk
StadVienna
Periode28/08/1430/08/14

Vingerafdruk Duik in de onderzoeksthema's van 'Modeling hybrid systems with petri nets'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Bera, D., van Hee, K. M., & Nijmeijer, H. (2015). Modeling hybrid systems with petri nets. In Simulation and Modeling Methodologies, Technologies and Applications: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers (blz. 17-42). (Advances in Intelligent Systems and Computing; Vol. 402). Springer. https://doi.org/10.1007/978-3-319-26470-7_2