CyPhy'17
Date: Oct 18, 2017 5:00 pm – Oct 19, 2017 4:00 am
Location: Seoul, South Korea
URL: http://cyphy.org/
Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17)
Held in conjunction with ESWEEK 2017
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'16 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.
Topics of interest include, but are not limited to the following aspects of cyber-physical systems:
- 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;
- Methods: Specifications and evaluation of processes for rigorous modeling, testing, simulation, and verification of new cyber-physical systems;
- 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
- Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice.
ORGANIZATION
General Chair
- Walid Taha, Halmstad University and University of Houston
Program Chairs
- William L. Harrison, University of Missouri
- Pavithra Prabhakar, Kansas State University
Program Committee
- Julien Alexandre dit Sandretto, ENSTA ParisTech
- Jakob Axelsson, Mälardalen University
- Christian Berger, Chalmers and University of Gothenburg
- Manuela Bujorianu, Leicester University
- Thao Dang, Verimag, France
- Georgios Fainekos, Arizona State University
- Martin Fränzle, University of Oldenburg
- Laurent Fribourg, CNRS
- Antoine Girard, CNRS
- Scott Hissam, Carnegie Mellon University
- Daisuke Ishii, Tokyo Institute of Technology
- Mehdi Kargahi, University of Tehran
- Zhiyun Lin, Zhejiang University
- Nacim Meslem, Grenoble INP
- Wojciech Mostowski, Halmstad University
- Mohammad Reza Mousavi, Halmstad University
- Tarek Raïssi, CNAM
- Nacim Ramdani, University of Orleans
- Andreas Rauh, University of Rostock
- Michel Reniers, Eindhoven University of Technology
- Bernhard Rumpe, RWTH University Aachen
- Christoph Seidl, TU Braunschweig
- Christoffer Sloth, Aalborg University
- Jack Stankovic, University of Virginia
- Martin Steffen, Oslo University
- Rafael Wisniewski, Aalborg University
Publicity Chair
- Abd-Elhamid M. Taha, Alfaisal University
Advisory Committee
- Manfred Broy, Technische Universität München
- Karl Henrik Johansson, Royal Institute of Technology
- Karl Iagnemma, MIT
- Insup Lee, University of Pennsylvania
- Pieter Mosterman, McGill University
- Janos Sztipanovits, Vanderbilt University
- Walid Taha, Halmstad University and University of Houston
Submitted by Anonymous
on
Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17)
Held in conjunction with ESWEEK 2017
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'16 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.
Topics of interest include, but are not limited to the following aspects of cyber-physical systems:
- 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;
- Methods: Specifications and evaluation of processes for rigorous modeling, testing, simulation, and verification of new cyber-physical systems;
- 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
- Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice.
ORGANIZATION
General Chair
- Walid Taha, Halmstad University and University of Houston
Program Chairs
- William L. Harrison, University of Missouri
- Pavithra Prabhakar, Kansas State University
Program Committee
- Julien Alexandre dit Sandretto, ENSTA ParisTech
- Jakob Axelsson, Mälardalen University
- Christian Berger, Chalmers and University of Gothenburg
- Manuela Bujorianu, Leicester University
- Thao Dang, Verimag, France
- Georgios Fainekos, Arizona State University
- Martin Fränzle, University of Oldenburg
- Laurent Fribourg, CNRS
- Antoine Girard, CNRS
- Scott Hissam, Carnegie Mellon University
- Daisuke Ishii, Tokyo Institute of Technology
- Mehdi Kargahi, University of Tehran
- Zhiyun Lin, Zhejiang University
- Nacim Meslem, Grenoble INP
- Wojciech Mostowski, Halmstad University
- Mohammad Reza Mousavi, Halmstad University
- Tarek Raïssi, CNAM
- Nacim Ramdani, University of Orleans
- Andreas Rauh, University of Rostock
- Michel Reniers, Eindhoven University of Technology
- Bernhard Rumpe, RWTH University Aachen
- Christoph Seidl, TU Braunschweig
- Christoffer Sloth, Aalborg University
- Jack Stankovic, University of Virginia
- Martin Steffen, Oslo University
- Rafael Wisniewski, Aalborg University
Publicity Chair
- Abd-Elhamid M. Taha, Alfaisal University
Advisory Committee
- Manfred Broy, Technische Universität München
- Karl Henrik Johansson, Royal Institute of Technology
- Karl Iagnemma, MIT
- Insup Lee, University of Pennsylvania
- Pieter Mosterman, McGill University
- Janos Sztipanovits, Vanderbilt University
- Walid Taha, Halmstad University and University of Houston