Control Part of Cyber-Physical Systems: Modeling, Design and Analysis

Dear Colleagues,

The cyber-physical system (CPS) can be seen as an integration of computation with physical processes, defined by cyber and physical parts of the system. The cyber part controls the objects and makes decisions, while the physical part refers to the real world and is prone to environmental influences. This Special Issue concerns the modeling, design, and analysis aspects of the control part of a cyber-physical system. Topics of interest include but are not limited to:

• Modeling of the control part of CPS:
  • Concurrent models (including Petri nets, UML diagrams, and others);
  • Sequential models (including FSMs, compositional automata, and others);
  • Hierarchical state machines and Statecharts;
  • Deterministic models of the control part of CPS;
  • Other modeling aspects of the control part of CPS.
• Design of the control part of CPS:
  • Integrated and distributed implementation of the control part of CPS;
  • Hardware realization (including FPGAs, embedded processors, PLCs, etc.);
  • Decomposition (splitting) and synchronization techniques of the control part of CPS;
  • Static and dynamic partial reconfiguration of the control part of CPS.
• Analysis of the control part of CPS:
  • Verification of the control part (including formal methods, model checking, etc.);
  • Validation of the control part (model simulation, software and hardware simulation);
  • Analysis of the concurrency and sequentiality relations in the control part of CPS;
  • Security of the control part of CPS (including algorithms, protocols, e-services, etc.).

Prof. Dr. Remigiusz Wiśniewski
Prof. Dr. Shaohua Wan
Guest Editors

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 250 words) can be sent to the Editorial Office for assessment.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Energies is an international peer-reviewed open access semimonthly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2600 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.