Cyber-physical systems (CPS) are networks of physical and digital components and present a next generation of large-scale highly-interconnected networked embedded systems. On the one hand, CPS open enormous opportunities as they form the core of emerging smart devices and services which are going to revolutionize many traditional industries such as transportation and traffic management, power generation and delivery, as well as manufacturing. On the other hand, highly autonomous systems pose special engineering challenges as any unexpected behaviour might lead to large financial losses or even human deaths.
In this talk, we address this challenge and propose automatic techniques to analyze CPS. For this purpose, we use the concept of hybrid automata which has proven to be particularly useful to model CPS. We give an overview of techniques to ensure efficient analysis of hybrid automata. In particular, we present support-function based representation of region state space and discuss ways to refine it.
Sergiy Bogomolov is a Lecturer at the Australian National University. Prior to joining ANU Sergiy was a Postdoctoral Researcher in the Institute of Science and Technology Austria. Sergiy is interested in verification and synthesis techniques for cyber-physical systems and their applications in artificial intelligence and systems biology. His Ph.D. and M.Sc. degrees are from the University of Freiburg, Germany.