Current Challenges in the Verification of Hybrid Systems

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.

Cyber physical systems : design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings / Christian Berger … (eds.)