 |
Free and accessible knowledge |
Reports
Integrating Simulink Models into the Model Checker Cosmos
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 an hybrid modeling combining Petri nets and Simulink models.
Cited literature [15 references]
https://hal.archives-ouvertes.fr/hal-01725835
Contributor : Yann Duplouy Connect in order to contact the contributor
Submitted on : Wednesday, March 7, 2018 - 4:28:10 PM
Last modification on : Friday, January 21, 2022 - 3:10:36 AM
Long-term archiving on: : Friday, June 8, 2018 - 3:02:35 PM
Contributor : Yann Duplouy Connect in order to contact the contributor
Submitted on : Wednesday, March 7, 2018 - 4:28:10 PM
Last modification on : Friday, January 21, 2022 - 3:10:36 AM
Long-term archiving on: : Friday, June 8, 2018 - 3:02:35 PM
File
Simulink_Cosmos_HAL.pdf
Files produced by the author(s)