Skip to Main content Skip to Navigation
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 metadatas

https://hal.archives-ouvertes.fr/hal-01916467
Contributor : Yann Duplouy <>
Submitted on : Thursday, November 8, 2018 - 2:46:59 PM
Last modification on : Tuesday, July 7, 2020 - 11:50:23 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

161