IMAG building, Room 206
5 July 2016 - 10h00
Recent progress on formal methods for CPS
by Jyo Deshmukh from TEMA Toyota, Los Angeles
5 July 2016 - 10h00
Recent progress on formal methods for CPS
by Jyo Deshmukh from TEMA Toyota, Los Angeles
Abstract: Cars are cyberphysical systems: physical phenomenon are regulated using embedded control software. We discuss some of the challenges designing such systems, and posit that some key technologies to meet these can be found in a diverse set of fields: temporal logic, optimization and machine learning. We discuss some of our recent progress and ongoing work in this area.
