SPECIAL SESSION ON "DESIGN OF CYBER-PHYSICAL SYSTEMS (DCPS)"
SPECIAL SESSION SCOPE
Next-generation digital systems will be ever more tightly coupled with a non-digital world which is either a part of the overall information processing system (e.g., sensors, actuators, analog electronics, MEMS, power sources, thermal sources) or a part of the system being sensed, supervised or controlled. The so-called cyber-physical system (CPS) approach is needed. It raises challenges to address the heterogeneity in hybrid system design, and the integration of different design disciplines. The goal of CPS research is also to support better design of the CPS’s digital parts.
TOPICS OF INTEREST INCLUDE (BUT ARE NOT LIMITED TO)
- Multi-objective optimization, system design, co-design and design-space exploration for cyber-physical systems.
- Modeling, simulation and verification of cyber-physical systems (e.g., multi-domain simulation techniques, compositional analysis, analog/mixed-signal modeling, modeling and simulation of extra-functional properties, test and debug).
- Formal methods for CPS (e.g., hybrid automata, verification, model checking, correct-by-construction control synthesis, abstraction and refinement).
- Manufacturing of smart cyber-physical systems: new paradigms, platforms, tools.
- Safety, dependability, privacy and security in cyber-physical systems.
- Human-centric cyber-physical systems.
- Design, 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).
- Applications of cyber-physical systems in manufacturing, transportation (e.g. aviation, automotive, traffic control, logistics), building automation, smart energy provisioning and storage, environmental monitoring, lab-on-a-chip, robotics, etc.
Each manuscript should include the complete paper text, all illustrations, and references. The manuscript should conform to the IEEE format: single-spaced, double column, US letter page size, 10-point size Times Roman font, up to 8 pages. In order to conduct a blind review, no indication of the authors' names should appear in the manuscript, references included.
Conference Publishing Services (CPS) will publish accepted papers in the conference proceedings and the proceedings will be submitted to the IEEE Xplore Digital library and indexing services. Extended versions of selected best papers will be published in a special issue of the ISI indexed “Microprocessors and Microsystems: Embedded Hardware Design” Elsevier journal.
- Paper Submission:
April 8th 2016Extended to April 24th
- Notification of Acceptance:
May 30th 2016Extended to June13th
- Camera-ready Paper Due:
June 27th 2016Extended to July 1st
SPECIAL SESSION CHAIRSDavide Quaglia (U Verona, IT) Marc Geilen (TU Eindhoven, NL)
SPECIAL SESSION PROGRAM COMMITTEEAlain Pegatoquet (U Nice Sophia Antipolis, FR) Alberto Casagrande (U Trieste, IT) Alessandro Farinelli (U Verona, IT) Aranya Chakrabortty (N.Carolina St.Univ., USA) Danilo Demarchi (POLITO, IT) Davide Bresolin (U Bologna, IT) Dip Goswami (TU Eindhoven, NL) Enrico Macrelli (NU Singapore, SG) Frédéric Mallet (U Nice Sophia Antipolis/I3S/INRIA, FR) Hongwei Zhang (Wayne State University, USA) I-Hong Hou (U Texas A&M, USA) Julien DeAntoni (U Nice Sophia Antipolis/I3S/INRIA, FR) Michelangelo Grosso (ST-POLITO, IT) Michele Magno (ETH Zurich, CH) Michele Lora (U Verona, IT) Pierluigi Nuzzo (UC Berkeley, USA) Qiao Xiang (Yale University, USA) Riccardo Muradore (U Verona, IT) Sara Vinco (POLITO, IT) Sebastian Steinhorst (TUM Create, SG) Tiziano Villa (U Verona, IT)
Dr. Davide Quaglia
University of Verona Strada le Grazie 15 37134 – Verona - Italy Tel. +390458027811 Fax +390458027068