Cyber physical systems (CPSs) 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′17 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 on techniques and components to enable and support virtual prototyping and testing.<br>Topics of interest include, but are not limited to the following aspects of cyber–physical systems:<br>Foundations: models of computation, modeling and simulation languages for hybrid and cyberphysical systems, including hybrid automata and hybrid process theory, as well as other integrations of control–theoretic and discrete–event models;<br>Methods: Specifications and evaluation of processes for rigorous modeling, testing, simulation, and verification of new cyber–physical systems;<br>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<br>Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice.<br>
Abbrevation
CyPhy
City
Seoul
Country
South Korea
Deadline Paper
Start Date
End Date
Abstract