@inproceedings{654090dd70364f86a11d5f6e421e13c2,
title = "Current challenges in the verification of hybrid systems",
abstract = "Latest developments brought interesting theoretical results and powerful tools for the reachability analysis of hybrid systems. However, there are still challenging problems to be solved in order to make those technologies applicable to large-scale applications in industrial context. To support this development, in this paper we give a brief overview of available algorithms and tools, and point out some of their individual characteristics regarding various properties which are crucial for the verification of hybrid systems. We present exemplary evaluations on three benchmarks to motivate the need for further development and discuss some of the main challenges for future research in this area.",
keywords = "Benchmarks, Hybrid systems, Reachability analysis, Tool support, Verification",
author = "Stefan Schupp and Erika {\'A}brah{\'a}m and Xin Chen and \{Ben Makhlouf\}, Ibtissem and Goran Frehse and Sriram Sankaranarayanan and Stefan Kowalewski",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 5th International Workshop on Cyber Physical Systems, CyPhy 2015 ; Conference date: 08-10-2015 Through 08-10-2015",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-25141-7\_2",
language = "English",
isbn = "9783319251400",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "8--24",
editor = "Christian Berger and Mousavi, \{Mohammad Reza\}",
booktitle = "Cyber Physical Systems",
}