Special Session on Verification and Control of Discrete-Event Systems for Safety and Security at IEEE CDC 2026

[yinx...@sjtu.edu.cn]

Dear Colleagues, 

I hope this email finds you well. 

Following the success and sustained interest in our invited sessions last year in Rio de Janeiro, we are pleased to organize a new round of invited sessions on “Verification and Control of Discrete-Event Systems for Safety and Security” for the 2026 IEEE Conference on Decision and Control (CDC 2026), to be held December 15–18, 2026 in Honolulu, Hawaii, USA (https://cdc2026.ieeecss.org/).

The session is organized by Kai Cai, Yin Tong, and Xiang Yin. The session will focus on theoretical and practical advancements in the verification and control of discrete-event systems (DESs), with an emphasis on ensuring safety and security properties. Topics of interest include, but are not limited to: 

• Formal methods for verification; 

• Supervisory control; 

• Cyber security and safety; 

• Resilience and robustness; 

• Fault diagnosis and tolerance; 

• Data-driven and AI-enabled methods for DESs;

• Applications of DESs in safety-critical/cyber-physical systems. 

The session will undergo the same review process as regular CDC papers, and if accepted, the papers will be published in the conference proceedings. There is also the option to publish papers in the IEEE Control Systems Letters (L-CSS). The paper submission deadline for regular CDC papers is March 31, 2026, and for L-CSS papers, it is March 17, 2026. 

If you are interested in contributing to this invited session, please inform us by March 12, 2025, with a tentative list of authors, a tentative title and a tentative abstract (Email: yinx...@sjtu.edu.cn). The final confirmation of your contribution (including title, abstract, and list of authors) will be needed by March 17, 2025, to finalize the session proposal. We would be delighted to include a contribution from you and your collaborators in this session, which we expect to be of significant interest to the DESs and control systems community. 

Thank you for considering this invitation, and please feel free to reach out if you have any questions or need further details. 

Best regards,

Xiang Yin

(on behalf of the organizers: Kai Cai, Yin Tong, and Xiang Yin)

---

Xiang Yin

Professor 

Vice Dean of the School of Automation & Intelligent Sensing

Shanghai Jiao Tong University

https://xiangyin.sjtu.edu.cn/