Integrating Simulink Models into the Model Checker Cosmos
Intégration des modèles Simulink dans le model-checker Cosmos
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...