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
Proceedings
Post-workshop proceedings are planned. In addition, selected papers may later be invited for a journal special issue dedicated to CyPhy'12.
