Dear Colleagues,
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/) in Rio de Janeiro, Brazil.
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 send us a tentative title, abstract, and list of authors to the email yin...@swjtu.edu.cn by March 17, 2025. 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.
You are welcome to forward and distribute this email to colleagues that may be interested in this session. We look forward to receiving your contributions.
Best regards,
Yin Tong, Southwest Jiaotong University, China
Xiang Yin, Shanghai Jiao Tong University, China
Kai Cai, Osaka Metropolitan University, Japan
Dear Colleagues,
As you may know that Xiang Yin, Kai Cai and myself are organizing an invited session "Verification and Control of Discrete-Event Systems for Safety and Security" in this year’s CDC, which is planned to take place in Rio, Brazil from Dec. 9 -12, 2025.
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 code of our invited session is yc5m5. Please use this code when you submit your paper to the session. We would like to have your contribution in this session, which could be of great interests to the DES and control systems community.
It is appreciated if you could forward this email to potentially interested colleagues. If you have any questions, please feel free to contact us.
Best regards,
Yin
-----------------------------------
Yin Tong (Toni), Ph.D.
Associate Professor
School of Information Science and Technology
Southwest Jiaotong University
Add.: No. 999 Xian Road, Chengdu 611756, China
Email: yin...@swjtu.edu.cn
Web: https://faculty.swjtu.edu.cn/tongyin/en/index.htm