French-American Doctoral Exchange Seminar (FADEx) 2016: Cyber-Physical Systems

Program

Monday, July 4 - IMAG building auditorium

• 9:00 AM: Introduction
• 9:30 AM - 11:15 AM: Keynote Speeches
  • Joseph Sifakis "A Research Agenda for CPS"
  • Rahul Mangharam, University of Pennsylvania "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
• 14:00-17:00: Student presentations
  • 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 5 - INRIA Grenoble Rhône-Alpes

• 9:00-10:30: Tour of platforms GTL/Grenoble Traffic Labs, Amiqual4Home
• 10:45-12:45: Workshops for American and French PhD students
  Chairs: Alain Girault, Alain Kibangou