Formal methods are increasingly essential for designing, analyzing, and deploying safe, reliable, and trustworthy systems and control, from industrial automation and robotics to autonomous systems and safety-critical cyber-physical infrastructures. By combining mathematically rigorous modeling, verification, and synthesis with modern control theory, formal methods enable correct-by-construction controllers, provable safety and performance guarantees, and systematic handling of uncertainty, faults, and adversarial behaviors. This Special Issue focuses on both foundational theory and real-world applications of formal methods in systems and control.

The scope includes, but is not limited to:

• DES supervisory control (modeling, verification, synthesis)
• Fault diagnosis and fault-tolerant control
• Abstraction and symbolic models for verification/control
• Hybrid systems analysis and synthesis
• Temporal-logic control synthesis
• Runtime monitoring and online verification/synthesis
• Formal security and privacy in cyber-physical systems
• Formal methods for planning (task/motion, multi-agent)
• Formal methods for automation and industrial systems
• Formal methods for autonomous systems

All manuscripts submitted to the special issue will be subjected to peer review. Prospective authors should submit an electronic copy of their completed manuscript to https://mc03.manuscriptcentral.com/cai with “Special Issue on Formal Methods in Systems and Control: Theory and Applications” marked in the cover letter.

Important Date

Manuscript Due: April 30, 2026

Guest Editor

Prof. Xiang Yin, Shanghai Jiao Tong University, China

E-mail: yinxiang@sjtu.edu.cn