Topics of interest include, but are not limited to the following aspects of cyber-physical systems:
- Foundations: models of computation, modeling and simulation languages for hybrid and cyberphysical systems, including hybrid automata and hybrid process theory, as well as other integrations of control-theoretic and discrete-event models;
- Methods: Specifications and evaluation of processes for rigorous modeling, testing, simulation, and verification of new cyber-physical systems;
- Case studies: Development of industrial or research oriented cyber-physical systems in domains such as robotics, smart systems (homes, vehicles, buildings), medical and healthcare devices, future generation networks; and
- Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice.
Submissions types: 1) research papers (max. 15 pages); 2) positions papers (max. 4 pages, not published); and 3) tool demonstrations (max. 10 pages).
Research papers will be judged for technical novelty and scientific merit. Any previous publication in any form must be explicitly identified and cited on the first page of the submission. Papers in all other categories will be judged on novelty, clarity, accessibility, and suitability for a high quality presentation and discussion at the workshop.
Submissions of type 1 and 3 will be published after the workshop in a volume of Lecture Notes in Computer Science, by Springer. If the quality of the submissions warrants, a special issue of an archival journal will be negotiated for the best submissions (subject to confirmation, and an additional round of review).