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

Program

Monday, July 4 – IMAG Building Auditorium

• 9:00 a.m.: Introduction
• 9:30–11:15 a.m.: Keynote Speeches
  • Joseph Sifakis, "A Research Agenda for CPS"
  • Rahul Mangharam, University of Pennsylvania, "Three Challenge Problems with CPS"
• 11:30 a.m.–12:30 p.m.: Panel discussion
  : Scientific challenges in CPS
  : Joseph Sifakis, Rahul Mangharam, Carlos Canudas de Wit, Claude Castelluccia
• 2:00–5:00 p.m.: Student presentations
  • Chairs: Nicolas Halbwachs, Nicolas Marchand
  • Chuchu Fan, University of Illinois at Urbana-Champaign, "Verification of Cyber-Physical Systems: Invariance and Conformance"
  • Ayman Aljarbouh, University of Rennes, "Accelerated Simulation of Hybrid Systems (Language and Compilation)"
  • Achin Jain, University of Pennsylvania, "Data-Driven Predictive Control for Cyber-Physical Systems"
  • Berk Celik, Belfort-Montbéliard University of Technology, "Adaptive and anticipatory energy management applications for integrating smart buildings with electric vehicles using multi-agent systems"
  • Imane Lamrani, Arizona State University, "Robust Controller Software Synthesis for Nonlinear 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, University of 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 Detection in Large Networks"
  • Aurélien Palisse, University of Rennes, "Malware Analysis and Detection"

Tuesday, July 5 - INRIA Grenoble Rhône-Alpes

• 9:00–10:30 a.m.: Tour of the GTL/Grenoble Traffic Labs and Amiqual4Home platforms
• 10:45 a.m.–12:45 p.m.: Workshops for American and French doctoral students
  Chairs: Alain Girault, Alain Kibangou