Call for Papers

Cyber physical systems combine computing and networking power with physical components. As a result, they enable innovation in a wide range of domains, including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks.

CyPhy aims to bring together researchers and practitioners working in the areas of modeling, simulation, and evaluation of cyber-physical systems. In 2012, CyPhy will take a broad interpretation of these areas. The priority for this first instance of this workshop is to bring together expertise from as diverse set of disciplines as possible.

Topics of interest include, but are not limited to:
	•	Foundations: Hybrid automata and hybrid systems, models of computation, modeling and simulation languages
	•	Methods: Specifications and evaluation of processes for modeling, testing, simulation, and evaluation of new cyber-physical systems
	•	Case studies: These can include studies describing the development of industrial or research cyber-physical systems in domains such as robotics, smart systems (homes, vehicles, buildings), medical and healthcare devices, future-generation networks.
	•	Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice
Submissions can be in the categories of 1) research papers, 2) tutorial papers, and 3) tool demonstrations.  Research papers will judged for technical novelty and scientific merit.  Tutorial papers and tool demonstrations will be judged on clarity and accessibility.

Proceedings

Post-workshop proceedings are planned.  In addition, selected papers may later be invited for a journal special issue dedicated to CyPhy'12.