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

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 indin2020.com.

Deadlines

Download Call for Papers

Click here to download this special session call for papers