We solicit research papers for inclusion in the post-proceeding of the 2017 workshop on the Design, Modeling and Evaluation of Cyber-Physical Systems (CyPhy17). 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 cyber-physical 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;

Pedagogy and Eduction: design, research, and experiences in embedded and cyber-physical systems education; and

Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice.

The papers will be peer-reviewed by the combined program committees of CyPhy17 and WESE17 (Workshop on Embedded and Cyber-Physical Systems Education), and accepted papers will be included in the CyPhy17 post proceeding in a volume of Lecture Notes in Computer Science, by Springer.

Submission Types
This call is soliciting the following submission types.

research papers (max. 15 pages);

position papers (max. 4 pages); and

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 the other two categories will be judged on novelty, clarity, accessibility, and suitability.

Important Dates
Full paper submission deadline: January 31, 2018
Notification: February 28, 2018

Committees

General Chair
Walid Taha, Halmstad University and University of Houston

Program Chairs
William L. Harrison, University of Missouri
Pavithra Prabhakar, Kansas State University