posted by user: hamidtaha || 94 views || tracked by 2 users: [display]

CyPhy 2018 : Workshop on Model-Based Design of Cyber Physical Systems


When Oct 4, 2018 - Oct 4, 2018
Where Torino, Italy
Abstract Registration Due Jun 24, 2018
Submission Deadline Jul 1, 2018
Notification Due Aug 31, 2018
Final Version Due Sep 21, 2018
Categories    modelling   model-based design   cyber physical systems   CPS

Call For Papers

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'18 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: Modeling and simulation languages for hybrid and cyber-physical systems, including hybrid automata, hybrid process calculi, and differential games; models of computation; multi domain modeling languages; correctness of implementations, interval computation and validated numerics methods; experimental model validation
* Methods: Rigorous modeling, simulation, optimization, testing, and verification of cyber-physical systems; model-based engineering, systems engineering; reachability analysis tools; theorem proving; counterexample-guided abstraction refinement (CEGAR)
* Case studies and applications: Development of industrial or research-oriented cyber-physical systems in domains such as smart mobility, medical and healthcare devices, smart-home, future-generation networks, Internet-of-Things, and
* Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice.

Submissions types:
Three types of papers will be solicited and evaluated: 1) research papers, 2) advanced tutorials, and 3) tool demonstrations. All papers may be up to 20 pages 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 difficulty or impossible by existing tools, and the accessibility and overall quality of the presentation.

As with previous years, the proceedings are to be published in the Springer Verlag Lecture Notes in Computer Science (LNCS) series. To maximize the benefit from the workshop, authors will be asked to first prepare a camera ready copy of accepted papers before the meeting, and to submitted a revised version that takes into account workshop feedback after the meeting.

Related Resources

CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems
Scopus-CAMDE 2018   2018 2nd International Conference on Advanced Manufacturing and Design Engineering (CAMDE 2018)
TRIDENTCOM (Ei, ISI, Scopus) 2018   13th EAI International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities -- Ei Compendex, ISI Web of Science, Scopus
EI CPSIOT 2018   2018 International Conference on Cyber Physical Systems and IoT(CPSIOT 2018)
[CFP] IEEE IoT Journal Special Issue 2018   [CFP] IEEE IoT Journal - Special Issue on Reliable and Resilient Cyber-Physical Systems
EI-IC4M 2019   2019 4th International Conference on Mechanical, Manufacturing, Modeling and Mechatronics (IC4M 2019)
CPS-SPC 2018   CPS-SPC 2018 : ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC)
RESACS 2018   Fourth International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber-Physical Systems
Scopus-ACPEE 2019   Scopus-2019 4th Asia Conference on Power and Electrical Engineering (ACPEE 2019)