DSD 2017 Design of Cyber-Physical Systems
Call for Papers:
Design of Cyber-Physical Systems (DCPS)
Download the call for papers in pdf format >>
Special Session Scope
Next-generation digital systems will be ever more tightly coupled 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 approach is needed. It raise 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, the following:
- Multi-objective optimization, system design, co-design and design-space exploration for cyber-physical systems, network synthesis.
- Modeling, simulation and verification of cyber-physical systems (e.g., multi-domain simulation techniques, FMI/FMU compositional analysis, analog/mixed-signal modeling, modeling and simulation of extra-functional properties, network modeling/simulation/verification, 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, smart agriculture, lab-on-a-chip, robotics, etc.
Submission Guidelines
Authors are encouraged to submit their manuscripts to https://easychair.org/conferences/?conf=dsd2017. Should an unexpected web access problem be encountered, please contact the Program Chair by email (dsd2017[at]easychair.org).
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.
IEEE 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.
Special Session Chairs
Davide Quaglia (U Verona, IT)
Marc Geilen (TU Eindhoven, NL)
Special Session Program Committee
Alain Pegatoquet (U Cote d'Azur, FR)
Alberto Casagrande (Exelio, IT)
Danilo Demarchi (POLITO, IT)
Davide Bresolin (U Bologna, IT)
Dip Goswami (TU Eindhoven, NL)
Enrico Macrelli (NU Singapore, SG)
Frédéric Mallet (U Cote d'Azur/I3S/INRIA, FR)
I-Hong Hou (U Texas A&M, USA)
Julien DeAntoni (U Cote d'Azur/I3S/INRIA, FR)
Luca Geretti (U Verona, IT)
Michelangelo Grosso (ST-POLITO, IT)
Michele Magno (ETH Zurich, CH)
Michele Lora (U Verona, IT)
Pierluigi Nuzzo (U Southern California, USA)
Qiao Xiang (Yale University, USA)
Riccardo Muradore (U Verona, IT)
Sara Vinco (POLITO, IT)
Tiziano Villa (U Verona, IT)
Yuehua Wang (U Texas A&:M, USA)