COMPUTER SCIENCE DEPARTMENT COLLOQUIUM SERIES PRESENTS
“Conformance Analysis for models of Cyber-Physical Systems “
Max Planck Institute for Software Systems, Germany
Cyber-Physical Systems (CPS) incorporates integration of control software, physical sensors and physical hardware in which computing devices interact with the physical world in a feedback loop. Models used for CPS design and verification possess infinite state spaces, with dynamics governed by continuous variables and differential equations. In this talk, I will discuss my work on conformance checking for CPS models, defined as checking (through either testing or formal verification) whether a CPS model adheres to a given specification (given as a temporal logic formula, or as another abstract CPS model specification). I will show that a CPS model having real-valued outputs necessitates working in a quantitative conformance framework, and present solutions for the quantitative equivalence problem. My implementation of part of this work has been deployed at Toyota Technical Center for equivalence testing of control system Simulink blocks.
Vinayak Prabhu is a postdoctoral researcher in the Rigorous Software Engineering group headed by Rupak Majumdar at the Max Planck Institute for Software Systems in Germany. He has been an Alexander von Humboldt postdoctoral fellow in Germany, and a Portuguese Science Foundation postdoctoral fellow in Portugal. He obtained his PhD in formal verification at the University of California at Berkeley under Thomas Henzinger and Pravin Varaiya. His research interests are in using formal methods techniques for the design and analysis of robust systems; in particular in the design, verification, testing, and control of models of Cyber-Physical Systems.
Date: Monday, March 20th, 2017
Time: 1:00pm to 2:00pm
Location: ECSS 2.102 TI Auditorium
Refreshments will be served at 12:45pm