Dear Colleagues,
I hope this email finds you well.
I am writing to invite you to contribute to an invited session on "
Verification and Control of Discrete-Event Systems for Safety and Security" that we are organizing for the 2025 IEEE Conference on Decision and Control (CDC 2025), which is planned to take place in December 9-12 2025 (
https://cdc2025.ieeecss.org/).
The session is organized by myself, Xiang Yin, and Kai Cai. 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;
• 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 64th IEEE Control Systems Letters (L-CSS). The paper submission deadline for regular CDC papers is March 31, 2025, and for L-CSS papers, it is March 17, 2025.
If you are interested in contributing to this invited session, please inform us by March 1, 2025, with a tentative list of authors and a tentative title. 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,
Yin Tong
(on behalf of the organizers: Yin Tong, Xiang Yin, and Kai Cai)
-------------------------------------------------
Yin TONG (she/her) 童音, PhD
Associate Professor
Assistant to the Dean of the School
School of Information Science and Technology, Southwest Jiaotong University
Web: https://faculty.swjtu.edu.cn/tongyin/en/index.htm