Section: New Results
Integrating Simulink Models into the Model Checker Cosmos [15]
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.