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 automotive systems, and avionics, to smart buildings and smart grids.

Chair: Paul Pop, Technical University of Denmark, DK, Contact

Co-Chair: Tarek Abdelzaher, University of Illinois at Urbana Champaign, US, Contact

Members:

• Karl-Erik Arzen, Lund University, SE, Contact
• Jean-Dominique Decotignie, EPFL, CH, Contact
• Shiyan Hu, Michigan Technological University, US, Contact