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 4.2.8 + AHUNTSIC [CC License]

info visites 3864568