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

Programme

Lundi 4 juillet - Auditorium du bâtiment IMAG

• 9h00 : Introduction
• 9h30-11h15 : Keynote Speeches
  • Joseph Sifakis "A Research Agenda for CPS"
  • Rahul Mangharam, Université de Pennsylvanie "Three Challenge Problems with CPS"
• 11h30-12h30 : Panel discussion
  Scientific challenges on CPS
  Joseph Sifakis, Rahul Mangharam, Carlos Canudas de Wit, Claude Castelluccia
• 14h00-17h00 : Présentation des étudiants
  • Présidents : 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"

Mardi 5 juillet - INRIA Grenoble Rhône-Alpes

• 9h00-10h30 : Visite des plateformes GTL/Grenoble Traffic Labs, Amiqual4Home
• 10h45-12h45 : Ateliers pour les doctorants américains et français
  Présidents: Alain Girault, Alain Kibangou