Safety and Stability of Cyberphysical Systems

The widespread deployment of computing devices that manage and controlphysical processes in safety critical environments, has made theiranalysis and verification a very important problem. Since formalmodels that disregard the physical processes tend to be conservativeand suboptimal, the most popular way to model and analyze such systemsis using hybrid systems, that have finitely many control states tomodel discrete behavior and finitely many real valued variables thatevolve continuously with time to model the interaction with thephysical world. Despite considerable progress in the last couple ofdecades, the automated verification of cyberphysical systems remainsstubbornly challenging. Safety and stability are two important classesof properties for cyberphysical systems. In this talk we will addresskey foundational questions arising in the verification of suchproperties and outline our approach based on analyzing systemsimulations.