Expand your understanding of cyber-physical systems and its formal verification techniques to guarantee correct functioning during this invited talk with Pvithra Prabhakar, the Peggy and Gary Edwards Chair in Engineering at Kansas State University.
Invited Talk: Formal Verification of Robustness Properties of Hybrid Systems
Friday, November 2, 2018
Brickyard (BYENG) 210, Tempe campus [map]
Cyber-physical systems (CPSs) consist of complex systems that combine control, computation and communication to achieve sophisticated functionalities, such as autonomous driving or automated load balancing in smart grids. Their safety criticality demands strong guarantees about correct functioning. Formal verification is an area of computer science that deals with rigorous and automated methods for correctness analysis based on mathematical models of systems and correctness specifications.
In this talk, Prabhakar presents work on formal verification techniques for cyber-physical systems analysis using the framework of hybrid systems. Hybrid systems capture an important CPS feature: mixed discrete-continuous behaviors that arise due to the interaction of complex digital control software (discrete elements) with physical systems (continuous elements).
Prabhakar overviews their technical challenges, AVERIST (Algorithmic VERifier for STability) and novel algorithmic approaches to stability analysis. Stability is a robustness property that captures small perturbations to the initial state or input to a system result in small variations in system behavior.
Finally, Prabhakar presents current research directions including automated design of hybrid control systems and formal analysis of hybrid systems in the presence of uncertainties.
About the speaker
Pavithra Prabhakar is an associate professor in the Department of Computer Science and the Peggy and Gary Edwards Chair in Engineering at the Kansas State University. Her research focuses on a formal analysis of cyber-physical systems, with emphasis on foundational and practical aspects of automated and scalable techniques for verification and synthesis of hybrid systems.
She obtained her doctorate in computer science and a master’s in applied mathematics from the University of Illinois at Urbana-Champaign, followed by a Center for the Mathematics of Information postdoctoral fellowship at the California Institute of Technology. She is the recipient of a Marie Curie Career Integration Grant from the European Union, National Science Foundation CAREER Award and Office of Naval Research Young Investigator Award.