CW'19: Workshop on Model-Based Design of Cyber Physical Systems (CyPhy'19) and Workshop on Embedded and Cyber-Physical Systems Education (WESE 2019) Kimmel Center for University Life New York, NY, United States, October 17-18, 2019 |
Conference website | http://www.cyphy.org/ |
Submission link | https://easychair.org/conferences/?conf=cw19 |
Abstract registration deadline | June 8, 2019 |
Submission deadline | June 15, 2019 |
Model-Based Design of Cyber Physical Systems (CyPhy'19) is the ninth instance of a workshop that takes a broad interpretation of the area and aims to facilitate the timely consolidation and sharing of new knowledge from a diverse disciplines. Cyber-physical systems (CPSs) combine computing and networking power with physical components. They are a challenging domain for innovation that encompasses robotics; smart homes, buildings, and mobility solutions; medical implants; drones, and numerous others. CPSs are the medium through which next-generation Artificial Intelligence and Machine Learning applications will be deployed, and are a growing source of big data. CyPhy'19 brings together researchers and practitioners working on next-generation technologies for modeling, development, analysis, simulation, optimization, evaluation, and deployment of CPSs.
Topics of interest include, but are not limited to the following aspects of cyber-physical systems:
- Case studies and applications: Experience and case studies in the development of industrial and/or research-oriented cyber-physical systems in domains such as smart mobility, health innovation, medical and healthcare devices, smart homes, emerging communication and networking technologies (for example 5G and 6G), Internet-of-Things,
- Methods: Systematic, rigorous, and set-based methods for modeling, implementation, simulation, optimization, manufacturing, testing, and verification of cyber-physical systems; model-based engineering, systems engineering; the use of formal verification and reachability analysis tools; counterexample-guided abstraction refinement (CEGAR), safe/verified Artificial Intelligence and Machine Learning (AI/ML),
- Tools: New tool technologies, evaluations of novel research tools, extensive case studies and industrial experiences, comparisons of state of the art tools in realistic contexts, and
- Foundations: Domain specific languages (DSLs) including hybrid automata, hybrid process calculi, and differential games; models of computation; multi-domain modeling languages; correctness of implementations, interval computation and validated numerical methods; experimental model validation.
Submission Guidelines
Three types of papers will be solicited and evaluated: 1) research papers, 2) advanced tutorials, and 3) tool demonstrations. Papers are expected to be around 15-25 pages long in LNCS format.
Research papers will be evaluated according to the traditional standards of novelty, technical contribution, clarity, and overall quality of presentation. Such papers may contain theoretical results, experimental results, or cases studies that go beyond the scope of what prior art has been able to address. Research papers may also address open problems. Such papers will be evaluated based on the extent to which these problems were not articulated previously and the extent to which they are clear and actionable. Research papers may also be surveys. Such papers will be evaluated based on their timeliness, the absence of comparable surveys, how comprehensive they are, and the extent to which they organize existing information in a useful manner.
Advanced tutorials will be evaluated based on the extent to which they make it clear that there is a need for expository material on this subject, that there is currently a shortage of such material, the technical depth of the material covered, and the accessibility and overall quality of the presentation.
Tool demonstrations will be evaluated based on the timeliness of the presentation of the tool, the extent to which the tool can address problems that are currently much more difficult or impossible by existing tools, and the accessibility and overall quality of the presentation.
Committees
Program Committee
- Julien Alexandre dit Sandretto, ENSTA ParisTech
- Houssam Abbas, Oregon State University
- Henric Andersson, Environment & Innovation
- Erika Abraham, RWTH Aachen University
- Ayman Aljarbouh, Grenoble Alpes
- Matthias Althoff, TU Munich
- Stanley Bak, Safe Sky Analytics
- Sergiy Bogomolov, Australian National University
- Mirko Bordignon, Fraunhofer Institute
- Manfred Broy, TU München
- Manuela Bujorianu, University of Strathclyde
- Roger Chamberlain, Washington University in St. Louis
- Rayna Dimitrova, Leicester
- Thao Dang, Verimag
- Adam Duracz, Rice University
- Sinem Coleri Ergen, Koc University
- Alex Dean, North Carolina State University
- Xinyu Feng, USTC
- Martin Fränzle, University of Oldenburg
- Goran Frehse, Université Grenoble Alpes
- Laurent Fribourg, CNRS
- Ichiro Hasuo, University of Tokyo
- Daisuke Ishii, Tokyo Institute of Technology
- Taylor T. Johnson, Vanderbilt University
- Mehdi Kargahi, University of Tehran
- Ueda Kazunori, Waseda University
- Nacim Meslem, Grenoble INP
- Stefan Mitsch, CMU
- Eugenio Moggi, Università degli studi di Genova
- Wojciech Mostowski, Halmstad University
- Andreas Naderlinger, University of Salzburg
- Marc Pouzet, ENS
- Mohammad Reza Mousavi, Leicester University
- Maria Prandini, Politecnico di Milano
- Andreas Rauh, University of Rostock
- Michel Reniers, Eindhoven University of Technology
- Jan Oliver Ringert, Leicester
- Bernhard Rumpe, RWTH University Aachen
- Ashraf Salem, Ain Shams University
- Abdelhamid Taha, Al Faisal University
- Martin Törngren, KTH
- Zain Ul-Abdin, HEC Pakistan
- Rafael Wisniewski, Aalborg University
- Andreas Wortmann, RWTH Aachen University
- Sebastian Wrede, Bielefeld University
- Yingfu Zeng, Rice University
- Mikal Ziane, Lip6, Laboratoire d'Informatique de Paris
Organizing committee
- Walid Taha, Halmstad University, Program Chair
- Abd-Elhamid M. Taha, Alfaisal University, Publicity Chair
Invited Speakers
- Edward A. Lee, University of Califorinia at Berkeley
Publication
As with previous years, it is expected that the proceedings will be published in LNCS.
Contact
For questions about the workshop please contact chairs@cyphy.org