Control of Cyber-Physical Systems (CoCPS)

Special Session of the 17th International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2021)

Scope:

Cyber physical systems (CPS) have been developing rapidly in recent years. Smart systems, Internet of Things (IoT), embedded and distributed systems or Industry 4.0 are also closely related to them. The family of the mentioned systems combine digital and analog devices, interfaces, networks, computer systems, and the like with the natural and man-made physical world. The inherent interconnected and heterogeneous combination of behaviors in these systems makes their analysis and design a challenging task.

The overall design path of cyber-physical systems comprises modeling, analysis (validation and verification processes), implementation, software and hardware verification. The specification of CPS may include graphical methods based on FSM automata, Petri nets (including interpreted Petri nets), UML diagrams, etc. Modeling and analysis of cyber-physical systems uses validation, formal verification, analysis of concurrency relations (system state space), sequencing and analysis algorithms of computational complexity of CPS. The design path of an integrated CPS includes its description in hardware description languages, logical synthesis and implementation of the system, physical implementation in programmable logic devices (FPGA's, CPLD's, etc.) or microcontrollers.

The aim of the symposium is to discuss recent advances of the design, modeling, specification, analysis, verification and application merits of CPS. Such aspects involve interdisciplinary fields of science, thus the following wide range of topics is covered (but not limited to):

• Control techniques

Control systems, concurrent control systems, automatic control and robotics; distributed and networked control systems; control algorithms and methodologies.

• Design, analysis and verification

Design methodologies of CPS; model-based design, including Model-Driven Development, Unified Modeling Language (UML, SysML), etc.; mixed-signal design; concurrency modeling and analysis, including Petri net-based systems; optimization techniques; verification and validation techniques, including formal verification methods; performance evaluation; integrated tool suits for CPS design, analysis and verification.

• Software and hardware aspects

Computation models, including mathematical descriptions and models; cloud computing; real-time systems, including real-time sensing and computing; embedded systems; programmable devices, including logic synthesis and implementation methods.

• Networking

networked embedded systems; wireless sensor networks; Internet of Things, including aspects of designing, organization and implementation.

• Applications

Autonomous, adaptive and cooperative CPS; mobile, wearable, and implantable CPS in healthcare; cognitive CPS with perception, learning, and optimal decision making; reference architectures for various application domains; smart grids, power generation and distribution, power systems; smart cities, home area networks (HANs); manufacturing, flexible manufacturing systems, smart factories, Industry 4.0; reconfigurable control systems (including distributed and integrated systems); dependable CPS (cryptology, security algorithms, security aspects).

Chairs: