Design of Cyber-Physical Systems (DCPS)
Download the call for papers in pdf format »
Special Session Scope
Cyber-Physical Systems (CPS) are characterized by tight coupling and interaction between computation, communication and control elements (cyber part), and physical processes such as motion, heating/cooling, vibration, wear and tear (physical part). Currently, design of such systems is composed of largely isolated phases involving different disciplines (mechanical, electrical, control and software engineering). The new CPS design paradigm advocates for integrative design trajectories allowing for tradeoffs between various design domains and concerns (e.g., cost, quality, reliability, security, safety, fault-tolerance) coping with the tight coordination between the cyber and the physical components. Special session on Design of Cyber-Physical Systems (DCPS) deals with challenges associated with the new design paradigm.
Topics of interest include, but are not limited to, the following:
- Model-based analysis, design and synthesis of cyber-physical systems – e.g., multi-domain modeling and simulation techniques; modeling and analysis of extra-functional properties such as cost, performanceand other quality aspects; FMI/FMU compositional analysis; analog/mixed-signal modeling.
- Multi-objective optimization, system-level (co-)design approaches, trade-off analysis and design-space exploration for cyber-physical systems.
- Formal methods for cyber-physical systems – e.g., hybrid automata; verification; model checking; correct-by-construction control synthesis; abstraction and refinement.
- Reliable, and fault-tolerant design for cyber-physical systems – fault modeling; monitoring; fault detection;reliability analysis; fault-tolerant design (the focus should be on the system-level aspects rather than individual component-level).
- Safety, dependability, privacy and security in cyber-physical systems (the focus should be on the system-level aspects rather than individual component-level).
- Design, synthesis, simulation and verification of distributed, networked, intelligent embedded systems (e.g., IoT, sensor networks, intelligent information gathering, machine learning, supervisory control systems, predictive maintenance, energy harvesting and management, HW design for wireless protocols).
- Design methodologies for cyber-physical systems from various domains, e.g., automotive systems, avionics, robotic systems, large-scale manufacturing and processing plants, and intelligent transportation system.
- Software, platforms and tools for cyber-physical systems.
- Submissions reporting the results obtained under the activities performed in various European Union funded projects (e.g., oCPS – ocps-itn.eu) along the above directions are highly encouraged.
Special Session Chairs
D. Goswami (Eindhoven University of Technology, NL) – chair
A. Hamann (Bosch, DE) – co-chair
Special Session Program Committee
Marc Geilen (TU Eindhoven, NL)
Subhabrata Roy (HERE, NL)
Davide Quaglia (U Verona, IT)
Soheil Samii (GM, USA)
Ramesh S. (GM, USA)
Sebastian Steinhorst (TUM, DE)
Alejandro Masrur (TU Chemnitz, DE)
Muhammad Shafique (TUW, AT)
Chun Jason Xue (CUHK, HK)
Soumyajit Dey (IITKgp, India)
Korosh Vatanparvar (UCI, USA)
Damoon Soudbakhsh (GMU, USA)
Pierluigi Nuzzo (U Southern California, USA)
Qi Zhu (UCR, USA)
Tiziano Villa (U Verona, IT)
Michelangelo Grosso (ST-POLITO, IT)
Alain Pegatoquet (U Cote d'Azur, FR)
Julien DeAntoni (U Cote d'Azur/I3S/INRIA, FR)
Frédéric Mallet (U Cote d'Azur/I3S/INRIA, FR)
Sergiy Bogomolov (Australian N Uni, AU)
Behnam Ghavami (Shahid B. U. of Kerman, IR)