Export

BIB

Alle Autoren

Thomas Strathmann and Jens Oehlerking

Buchtitel

2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015)

Zusammenfassung

In this experience report, we apply the hybrid verification tools iSAT-ODE, Flow*, and S-TaLiRo to a case study consisting of an experimental electro-mechanical braking system. Starting from a Simulink closed-loop model, we describe the derivation of hybrid automaton models for plant and controller and give verifcation results for the different tools.

Erscheinungsdatum

4 / 2015

Publikationstyp

inproceedings

Projekte

SPES_XT
Software Platform Embedded Systems 2020_XT

URL

http://cps-vo.org/group/ARCH/ExperienceReports