@inproceedingsarch2015, 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.} @COMMENTBibtex file generated on