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).
The submissions will be reviewed for clarity, novelty, significance, scope, and soundness. Simultaneous submission to other venues with a formal publication (workshops, conferences, symposia, and journals) is not allowed. Duplicated submissions or other types of plagiarism will result in rejection and a report will be sent to the corresponding institution's dean or manager.
Submissions of type 1 and 3 will be published in a volume of Lecture Notes in Computer Science, by Springer (to be confirmed). 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).