Topic: E5 Cyber-Physical Systems

Modeling, design, architecture, optimization, and analysis of Cyber-Physical Systems (CPS); Modeling techniques for large-scale cyber physical systems design and analysis; Verification and validation in CPS; Safety and cybersecurity in CPS systems; Internet of things and CPS: modeling, analysis, and design; Software-intensive CPS; Data-mining and CPS; Autonomous and semi-autonomous large-scale CPS and related issues; Socio-technical systems (ex. empowered consumer and organizational behavior in smart grids) and CPS; Cognitive control for CPS; Modeling and analysis of networked control, switched control, and distributed control systems in CPS; control/architecture co-design in CPS; architecture-aware controller synthesis; Case studies in CPS ranging from healthcare, automotive systems, and avionics, to smart buildings and smart grids

Chair: Anuradha Annaswamy, MIT, US, Contact

Co-Chair: Rolf Ernst, TU Braunschweig, DE, Contact

Members:

• Jean-Dominique Decotignie, EPFL, CH, Contact
• Joao Hespanha, UC Santa Barbara, US, Contact
• Karl Johansson, Royal Institute of Technology, SE, Contact
• Jonathan Sprinkle, University of Arizona, US, Contact