Technical Programme Committee 2012

Printer-friendly version PDF version

Topic: E5 Cyber-Physical Systems

High-level design, optimization and analysis of networked control and switched control systems; control/architecture co-design for distributed embedded systems; formal semantics, verification, model checking and abstraction refinement techniques for control software and systems; simulation and testing; architectures; modeling techniques; architecture-aware controller synthesis; model-based approaches to cyber-physical systems design; reliability-aware design and fault-tolerance; certification issues; specification languages and programming support; case studies in cyber-physical systems such as from automotive systems and avionics, smart buildings and smart grids;

Chair: Samarjit Chakraborty, TU Munich, DE, Contact

Co-Chair: Kan Qian, TU/e, NL, Contact


  • zaheratillinois [dot] edu, Contact
  • Anuradha Annaswamy, MIT, US, Contact
  • Rolf Ernst, TU Braunschweig, DE, Contact
  • palopoliatdisi [dot] unitn [dot] it, Contact
  • Subodh Gupte, Open-silicon, IN, Contact