CyPhy 2016
Date: Oct 06, 2016 6:00 am – Oct 06, 2016 5:00 pm
Call for Papers
Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016)
Held in conjunction with ESWEEK 2016
October 6 2016 | Pittsburgh, PA, USA | http://www.cyphy.org/
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.
Committees
General Chair
Walid Taha, Halmstad & Rice Universities
Program Chairs
Christian Berger, Chalmers and University of Gothenburg
Mohammad Reza Mousavi, Halmstad University
Rafael Wisniewski, Aalborg U., Denmark
Program Committee
Jakob Axelsson, SICS and Mälardalen University
Christian Berger, Chalmers and University of Gothenburg
Manuela Bujorianu, Leicester University
Thao Dang, Verimag, France
Georgios Fainekos, Arizona State University
Scott Hissam, Carnegie Mellon University, USA
Daisuke Ishii, Tokyo Institute of Technology
Zhiyun Lin, Zhejiang University
Mohammad Reza Mousavi, Halmstad University
Wojciech Mostowski, Halmstad University
Enrico Pagello, University of Padua, Italy
Mihaly Petreczky, CNRS Lille, France
Michel Reniers, Eindhoven University of Technology
Bernhard Rumpe, RWTH University Aachen
Maytham Safar, Kuwait University
Bernhard Schätz, TU München
Christoph Seidl, TU Braunschweig, Germany
Christoffer Sloth, Aalborg U., Denmark
Jonathan Sprinkle, University of Arizona, USA
Martin Steffen, Oslo University
Frits Vaandrager, Radboud University Nijmegen
Rafael Wisniewski, Aalborg U., Denmark
Publicity Chair
Abd-Elhamid M. Taha, Alfaisal University
Advisory Committee
Manfred Broy, Technische Universität München
Karl Iagnemma, MIT
Karl Henrik Johansson, Royal Institute of Technology
Insup Lee, University of Pennsylvania
Pieter Mosterman, McGill University
Janos Sztipanovits, Vanderbilt University
Walid Taha, Halmstad & Rice Universities
Submitted by Anonymous
on
Call for Papers
Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016)
Held in conjunction with ESWEEK 2016
October 6 2016 | Pittsburgh, PA, USA | http://www.cyphy.org/
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.
Committees
General Chair
Walid Taha, Halmstad & Rice Universities
Program Chairs
Christian Berger, Chalmers and University of Gothenburg
Mohammad Reza Mousavi, Halmstad University
Rafael Wisniewski, Aalborg U., Denmark
Program Committee
Jakob Axelsson, SICS and Mälardalen University
Christian Berger, Chalmers and University of Gothenburg
Manuela Bujorianu, Leicester University
Thao Dang, Verimag, France
Georgios Fainekos, Arizona State University
Scott Hissam, Carnegie Mellon University, USA
Daisuke Ishii, Tokyo Institute of Technology
Zhiyun Lin, Zhejiang University
Mohammad Reza Mousavi, Halmstad University
Wojciech Mostowski, Halmstad University
Enrico Pagello, University of Padua, Italy
Mihaly Petreczky, CNRS Lille, France
Michel Reniers, Eindhoven University of Technology
Bernhard Rumpe, RWTH University Aachen
Maytham Safar, Kuwait University
Bernhard Schätz, TU München
Christoph Seidl, TU Braunschweig, Germany
Christoffer Sloth, Aalborg U., Denmark
Jonathan Sprinkle, University of Arizona, USA
Martin Steffen, Oslo University
Frits Vaandrager, Radboud University Nijmegen
Rafael Wisniewski, Aalborg U., Denmark
Publicity Chair
Abd-Elhamid M. Taha, Alfaisal University
Advisory Committee
Manfred Broy, Technische Universität München
Karl Iagnemma, MIT
Karl Henrik Johansson, Royal Institute of Technology
Insup Lee, University of Pennsylvania
Pieter Mosterman, McGill University
Janos Sztipanovits, Vanderbilt University
Walid Taha, Halmstad & Rice Universities