@inproceedings{arch2015,Author = {Thomas Strathmann and Jens Oehlerking},Title = {Verifying Properties of an Electro-Mechanical Braking System},Year = {2015},Month = {4},Booktitle = {2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015)},Url = {http://cps-vo.org/group/ARCH/ExperienceReports},type = {inproceedings},note = {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 hybr},Abstract = {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.}}@COMMENT{Bibtex file generated on }