Verimag

Détails sur le séminaire

IMAG building, Room 206
5 juillet 2016 - 10h00
Recent progress on formal methods for CPS
par Jyo Deshmukh de 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 | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 916666