Abbrevation
CyPhy
City
PittsburghPA
Country
United States
Deadline Paper
Start Date
End Date
Abstract

Cyber physical systems (CPSs) combine computing and networking power<br>with physical components&#046; They enable innovation in a wide range of<br>domains including robotics; smart homes, vehicles, and buildings;<br>medical implants; and future&#8211;generation sensor networks&#046; CyPhy&#8242;16 brings<br>together researchers and practitioners working on modeling, simulation,<br>and evaluation of CPS, based on a broad interpretation of these areas,<br>to collect and exchange expertise from a diverse set of disciplines&#046; The<br>workshop places particular focus on techniques and components to enable<br>and support virtual prototyping and testing&#046;<br>Topics of interest include, but are not limited to the following aspects<br>of cyber&#8211;physical systems:<br>Foundations: models of computation, modeling and simulation languages<br>for hybrid and cyber&#8211;­physical systems, including hybrid automata and<br>hybrid process theory, as well as other integrations of<br>control&#8211;­theoretic and discrete&#8211;­event models;<br>Methods: Specifications and evaluation of processes for rigorous<br>modeling, testing, simulation, and verification of new cyber&#8211;­physical<br>systems;<br>Case studies: Development of industrial or research ­oriented<br>cyber­&#8211;physical systems in domains such as robotics, smart systems<br>(homes, vehicles, buildings), medical and healthcare devices, future<br>generation networks; and<br>Tools: Evaluation of novel research tools, comparisons of state of the<br>art tools in industrial practice&#046;<br>