Integrating Simulink Models into the Model Checker Cosmos
Intégration des modèles Simulink dans le 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.
Nous présentons une implémentation pour l'exécution de modèles Simulink dans le model-checker Cosmos.
Cette implémentation est ensuite utilisée pour la simulation de modèles hybrides, combinant des réseaux de Petri et des modèles Simulink.
Origin | Files produced by the author(s) |
---|
Loading...