Verimag

Seminar details

IMAG building, Room 206
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.





Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 912221