CyPhy 2015 - 5th International Workshop on Cyber Physical Systems

Cyber physical systems (CPS) combine computing and networking power with physical components. They enable innovation in a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. CyPhy'15 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines. The workshop places particular focus is on techniques and components to enable and support virtual prototyping and testing.
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;
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).