Track 5

1. Organizers:

Chair: Chengzong Li (李呈宗), Qinghai University (青海大学)

Co-Chair: Zhiwu Li (李志武, IEEE Fellow), Macau University of Science and Technology (澳门科技大学)

Co-Chair: Yufeng Chen (陈玉峰, IEEE Senior Member), Macau University of Science and Technology (澳门科技大学)

2. Abstract:

English: This forum focuses on the modeling, control, and verification of complex systems. In particular, the theories and methods of complex system modeling, optimal scheduling and resource allocation, supervisory control of discrete event systems, fault diagnosis, opacity and privacy protection, and state estimation are discussed. It facilitates the exchange of the latest theoretical advancements, methodological innovations, and application results. The forum aims to promote research in the fields of complex system analysis, optimal control, and security verification, and to drive a wide application of discrete event system research in real-world physical systems such as intelligent manufacturing and new power systems.

中文: 本论坛聚焦复杂系统的建模、控制与验证，紧紧围绕复杂系统建模理论与方法、优化调度与资源配置、离散事件系统监督控制、故障诊断、不透明性与隐私保护以及状态估计等方向，交流相关理论最新进展、方法创新与应用成果。论坛旨在促进复杂系统分析、优化控制与安全验证领域的研究，推动离散事件系统相关研究在智能制造、新型电力系统等场景中的深入应用。

3. Topics:

• Modeling Theory and Methods for Complex Systems / 复杂系统的建模理论与方法
• Optimal Scheduling and Resource Allocation for Complex Systems / 复杂系统的最优调度与资源配置
• Supervisory Control of Discrete Event Systems / 离散事件系统的监督控制
• Fault Diagnosis of Discrete Event Systems / 离散事件系统的故障诊断
• Opacity and Privacy Protection in Discrete Event Systems / 离散事件系统的不透明性与隐私保护
• State Estimation of Discrete Event Systems / 离散事件系统的状态估计

4. Invited Speakers

• Yufeng Chen (陈玉峰), Macau University of Science and Technology (澳门科技大学)
• Ding Liu (刘鼎), Xidian University (西安电子科技大学)
• Zhou He (何舟), Shaanxi University of Science and Technology (陕西科技大学)
• Yihui Hu (胡艺辉), Xi'an University of Posts and Telecommunications (西安邮电大学)
• Deguang Wang (王德光), Guizhou University (贵州大学)
• Dong Li (李东), Moutai College (茅台学院)