CyPhy 2012 - Second Workshop on Design, Modeling and Evaluation of Cyber Physical Systems

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.