French-American Doctoral Exchange Seminar (FADEx) 2016 :
Systèmes Cyber-Physiques

Agenda Grenoble July 4-5, 2016

Monday, July 4th, 2016 (Auditorium, bâtiment IMAG)

9:00 am: Introduction

9:30 am – 11:15 am: Keynote Speeches

Joseph Sifakis “A Research Agenda for CPS”

Rahul Mangharam, University of Pennsylavnia

“Three Challenge Problems with CPS”

11:30 am – 12:30 pm: Panel discussion

Scientific challenges on CPS

Joseph Sifakis, Rahul Mangharam, Carlos Canudas de Wit, Claude Castelluccia

2:00 pm – 5:00 pm: Students Presentation

Chairs: Nicolas Halbwachs, Nicolas Marchand

Chuchu Fan, University of Illinois at Urbana-Champaign, “Verification of the cyber-physical systems: invariance and conformance”

Ayman Aljarbouh, Université de Rennes, “Accelerated Simulation of Hybrid Systems (Language and Compilation)”

Achin Jain, University of Pennsylvania, “Data Predictive Control for Cyber-physical Systems”

Berk Celik, Université de Technologie de Belfort-Montbéliard, “Adaptive and anticipative energy management applications to the coupling of the smart buildings with electric vehicles by using multi-agent systems”

Imane Lamrani, Arizona State University, “Robust Controller Software Synthesis for Non-linear Safety Critical Cyber-Physical Systems”

Maëlle Kabir-Querrec, Université Grenoble Alpes, “Cybersecurity of smart-grid control systems: intrusion detection in IEC 61850 networks”

Arsalan Mohsen Nia, Princeton University, “Security and Privacy Challenges in Cyber Physical Systems”

Blazo Nastov, Université de Montpellier, “Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach”

Nidhi Rastogi, Rensselaer Polytechnic Institute, “Using Information Centrality for Anomaly Detection and Attack information in Large Networks”

Aurélien Palisse, Université de Rennes, “Malware Analysis and Detection”

Tuesday, July 5th, 2016 (Inria Grenoble - Rhône-Alpes)

9:00 am – 10:30 am: Platform Visits

GTL/Grenoble Traffic Labs, Amiqual4Home

10:45 am – 12:45 pm: Workshop between US and French PhD students

Chairs: Alain Girault, Alain Kibangou