Formal Verification and Synthesis of Cyber-Physical Systems

Editor: Majid Zamani
University of Colorado, Boulder
https://sites.google.com/site/zamani1362/home
Majid.Zamani@colorado.edu

Submission Window: 15 Sept 2022 – 15 March 2023 1 June 2023

Cyber-Physical Systems (CPSs) are complex systems resulting from intricate interactions of computational devices with the physical plants. Recent advances in device manufacturing, computation, and storage have made tremendous advances in hardware and systems platforms for CPSs. With this growing trend in computational devices, CPSs are becoming more and more ubiquitous with many safety-critical applications including autonomous transportations, robot-assisted surgery, medical devices such artificial pancreas, smart manufacturing, smart buildings, etc. Unfortunately, the analysis and design of CPSs nowadays are still based on ad-hoc solutions sought by simply taking the union of the classical techniques in control theory and computer science. This results in error-prone analysis or design, and very high testing and validation costs. Formal-methods based approach to CPS design recommends rigorous requirement specification in every stage of the system development. Formal verification and controller synthesis are two leading approaches to provide correctness guarantees for CPS with respect to such requirements. While formal verification aims at providing a proof of correctness with respect to the given specifications, the goal of the controller synthesis approach is more ambitious: it takes a control system together with the specification and produces a controller such that the resulting closed-loop satisfies the specification. This special section aims to contribute to the growing area of formal methods for CPS and calls thus for papers in this topical area.

Topics of interest for this special issue include and are not limited to:

  > Foundations of CPS
  > Analysis, verification, and validation
  > Design, synthesis, planning, and control
  > Network science and network-based control
  > Modeling paradigms and specification languages and requirements
  > Security, trust, and privacy in CPS
  > Safe autonomy, AI and Machine learning in CPS
  > Software tools for the above topics
  > Applications of CPS technologies such as transportation, autonomous systems, avionics, energy and power, robotics, and medical devices.

Special Section Schedule:

  > Special Section Submission Window: 15 September 2022 – 15 March 2023 1 June 2023
  > Notification of reviews of and recommendations: 10 weeks after initial submission
  > Final notification of regular papers: 20 weeks after initial submission
  > Manuscript publication on IEEE Xplore: 24 weeks after initial submission

  * Review process starts at time of manuscript submission

Submission Site: https://css.paperplaza.net/journals/ojcs/scripts/login.pl
Length: 12 pages or under, not including references. Justification of longer papers is required.

Discounts: The first 6 published papers in this special section are eligible to receive a 50% discount on article processing charges (APCs).


Guest Editor

Majid Zamani

Name: Majid Zamani
Affiliation: University of Colorado Boulder


Guest Associate Editors

Samuel Coogan

Name: Samuel Coogan
Affiliation: Georgia Institute of Technology


Melkior Ornik

Name: Melkior Ornik
Affiliation: University of Illinois Urbana-Champaign


Chuchu Fan

Name: Chuchu Fan
Affiliation: MIT


Ebru Aydin Gol

Name: Ebru Aydin Gol
Affiliation: Middle East Technical University


Raphael Jungers

Name: Raphael Jungers
Affiliation: UCLouvain


Jun Liu

Name: Jun Liu
Affiliation: University of Waterloo


Meeko Oishi

Name: Meeko Oishi
Affiliation: University of New Mexico


Jana Tumova

Name: Jana Tumova
Affiliation: KTH Royal Institute of Technology


Anne-Kathrin Schmuck

Name: Anne-Kathrin Schmuck
Affiliation: Max Planck Institute for Software Systems


Abolfazl Lavaei

Name: Abolfazl Lavaei
Affiliation: Newcastle University