Accepted Special Sessions

SS07- Concurrency in the Design, Modeling and Analysis of Industrial Cyber-Physical Systems

2019/12/23 14:24:27

Special Session Organized by

Remigiusz Wisniewski, University of Zielona Gora, Poland; Luis Gomes, University NOVA Lisbon, Portugal; Anikó Costa, University NOVA Lisbon, Portugal; Grzegorz Bazydlo, University of Zielona Gora, Poland; Dariusz Kania, Silesian University of Technology, Poland;

Recently, a rapid development of cyber-physical systems (CPS), which integrates computation and communication aspects together with control and monitoring techniques. These systems can be found in almost all areas of human life, including industrial applications. Thus, the designing methodology of CPS is especially important. Such systems ought to be properly modeled, thoroughly analyzed and verified. This special section is focused on the concurrency aspects in the design, modeling and analysis of CPS.

Topics of interest include, but are not limited to

Design and modelling techniques of cyber-physical systems; including concurrency aspects; concurrency models of CPS, including Petri net-based specification; industrial applications of cyber-physical systems based on the concurrency models; analysis, validation and verification methodologies of industrial CPS; models of time, including continuous, discrete, and hybrid models; simulation techniques of industrial CPS; hardware platforms including microcontrollers, SoCs, and FPGAs.

Submissions Procedure

All the instructions for paper submission are included in the conference website


Deadline for submission of papers: March 07, 2020
Notification of acceptance of papers: April 18, 2020
Final manuscripts due: May 09, 2020

Download Call for Papers

Click here to download this special session call for papers

  • DAYS


July 12-15, 2020

Online Registration Deadline

July 6, 2020

On-site Registration Dates

July 12-15, 2020