Design, Modeling, Verification, and Analysis of Cyber-Physical Systems
A special issue of Mathematics (ISSN 2227-7390). This special issue belongs to the section "Mathematics and Computer Science".
Deadline for manuscript submissions: closed (30 November 2020) | Viewed by 16542
Special Issue Editors
Interests: cyber-physical systems; Petri nets; discrete-event systems; programmable devices; field programmable gate arrays (FPGAs); partial reconfiguration of FPGAs; hardware description languages (Verilog, VHDL); cryptography and cryptology (prime numbers, RSA-numbers, factorization, development of algorithms, OTP-based ciphers)
Special Issues, Collections and Topics in MDPI journals
Interests: programmable devices and systems logic synthesis; technology-dependent partitioning; technology mapping dedicated to a wide range of programmable logic devices (FPGA, pSoC); cyber-physical systems; globally asynchronous locally synchronous digital circuits; hardware description languages (Verilog, VHDL); low power implementation of digital circuits; posturography in postural control diagnostics; motor functions rehabilitation
Special Issues, Collections and Topics in MDPI journals
Special Issue Information
Dear Colleagues,
Recently, the increasing synergy between computation techniques and physical mechanisms can be observed. It results in 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 (such as healthcare, smart grids, robotics, military, aerospace, transportation and mobility). Therefore, the designing methodology of CPS is especially important. Such systems ought to be properly modeled, carefully analyzed, and verified.
This Special Issue is focused on the design, modeling, verification, and analysis of CPS. Topics of interest include but are not limited to:
Design and modeling techniques of cyber-physical systems:
- Design techniques of CPS, including design methods and algorithms;
- Aspects related to the control-part in the designing of CPS;
- Model-based development of CPS, including UML, SysML, etc.;
- Modeling dynamic behaviors of CPS;
- Concurrency models of CPS, including Petri net-based specification;
- Sequential modeling, including finite-state machines;
- Distributed and networked control of CPS;
- Fast, reliable and energy efficient digital communication techniques for CPS, enabled by modern error correction coding (ECC);
- Implementation techniques of integrated systems, including static and dynamic partial reconfiguration of CPS;
- Implementation methods of distributed CPS;
- Hardware platforms including microcontrollers, SoCs, and FPGAs.
Analysis and verification of cyber-physical systems:
- Analysis and verification methods of CPS, including optimization algorithms;
- Verification and validation techniques, including formal verification methods;
- Simulation techniques of CPS;
- Analysis of concurrency and sequentiality relations in CPS;
- Optimization techniques;
- Security aspects of CPS, including cryptographic techniques and algorithms
Prof. Dr. Remigiusz Wiśniewski
Prof. Dr. Dariusz Kania
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 100 words) can be sent to the Editorial Office for announcement on this website.
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. Mathematics 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.
Keywords
- Cyber-physical systems (CPS), control systems
- Methods and optimization algorithms
- Design, modeling, verification, and analysis of cyber-physical systems
- Design, modeling, verification, and analysis control systems
- Cryptography (security aspects in cyber-physical systems and control systems)
- Coding (reliability of communications in CPS).
Benefits of Publishing in a Special Issue
- Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
- Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
- Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
- External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
- e-Book format: Special Issues with more than 10 articles can be published as dedicated e-books, ensuring wide and rapid dissemination.
Further information on MDPI's Special Issue polices can be found here.
