Skip to Main content Skip to Navigation
New interface
Conference papers

Integrating Simulink Models into the Model Checker Cosmos

Abstract : We present an implementation for Simulink model executions in the statistical model-checker Cosmos. We take profit of this implementation for hybrid modeling and simulations combining Petri nets and Simulink models.
Complete list of metadata
Contributor : Yann Duplouy Connect in order to contact the contributor
Submitted on : Thursday, November 8, 2018 - 2:46:59 PM
Last modification on : Tuesday, October 25, 2022 - 4:16:55 PM

Links full text



Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Integrating Simulink Models into the Model Checker Cosmos. 39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩. ⟨hal-01916467⟩



Record views