报告题目：State Estimation of Logic and Timed Discrete-Event Systems
报告专家：Prof. Carla Seatzu (University of Cagliari, Italy)
报告时间：2026年4月17日（星期五）14:00
报告地点：西南交通大学犀浦校区9号楼9502教室
主 持 人：童音 副教授
报告内容简介：
Discrete event systems (DES) are mathematical models used to describe and analyze systems in which state changes occur at discrete points in time due to asynchronous events. Logical DES focuses on the sequence of events without explicitly considering time. In contrast, timed DES extends this framework by incorporating temporal constraints, enabling the modeling of delays and deadlines.
DES are extensively used in the study of man-made systems, such as manufacturing systems, communication networks, and automation processes. They allow for the formulation of a wide variety of problems, including state estimation, analysis, control, fault diagnosis, and others.
In this talk, the focus is on state estimation. We first present some basic formulations of the problem for purely logical DES under the assumption of reliable sensor information. We then examine how these problems become more challenging when sensor information is unreliable.
In the second part of the talk, the focus shifts to timed DES. Specifically, we investigate state estimation in a timed probabilistic setting. We present analytical results for a special class of timed DES known as labeled continuous-time Markov models. Additionally, we show how timed probabilistic state estimation can be performed for broader classes of timed DES using neural networks. The talk concludes with a discussion of relevant open issues and promising research directions in this field.
离散事件系统（DES）是用于描述和分析系统的数学模型，在这类系统中，状态变化由异步事件在离散时间点上发生。逻辑DES关注事件的顺序，而不显式地考虑时间。相比之下，带时间DES通过引入时间约束扩展了该框架，从而能够对延迟和截止时间进行建模。DES广泛应用于人造系统的研究，例如制造系统、通信网络和自动化流程。它们可以用于表述各种问题，包括状态估计、分析、控制、故障诊断等。
本次报告的重点是系统状态估计。我们首先在传感器信息可靠的假设下，介绍纯逻辑DES问题的一些基本形式。然后，我们将讨论当传感器信息不可靠时，这些问题如何变得更加具有挑战性。在报告的第二部分，重点转向带时间DES。具体来说，我们研究带时间概率设置下的状态估计问题。针对一类被称为标记连续时间马尔可夫模型的特殊带时间DES，我们给出了分析结果。此外，我们还将展示如何使用神经网络对更广泛的带时间DES进行带时间概率状态估计。报告最后将讨论该领域中相关的开放性问题及有前景的研究方向。
报告专家简介：
Carla Seatzu is a Full Professor of Automatic Control at the University of Cagliari, Cagliari, Italy. Her research interests are: discrete-event systems, Petri nets, hybrid systems, networked control systems, manufacturing, and transportation systems. She is the author/co-author of over 300 publications, including 100+ articles in international journals and one textbook. She is the editor of two international books. Her h-index in Scopus is equal to 42. She has been a Visiting Professor in universities in Spain (Zaragoza), USA (Atlanta), Mexico (Guadalajara), and China (Xi’an, Hangzhou, Chengdu).
Prof. Seatzu is Senior Editor of the IEEE Transactions on Automation Science and Engineering and of the International Journal of Robotics and Research; she is a Department Editor of Discrete Event Dynamic Systems. She has been Senior Editor of the IEEE Control Systems Letters and Associate Editor of many international journals, including the IEEE Transactions on Automatic Control.
She is a member of the Board of Governors of the IEEE Control Systems Society. Since 2020, she has been Chair of the IFAC Technical Committee TC1.3 on Discrete Event and Hybrid Systems. She is General Co-Chair of the 11th Int. Conference on Control, Decision and Information Technologies; was Program Chair of the 20th IEEE International Conference on Automation and Science Engineering, and of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation in 2018; Workshop Chair of the 55th IEEE Conference on Decision and Control in 2016, and General Co-Chair of the 18th IEEE International Conference on Emerging Technologies and Factory Automation in 2013.
Carla Seatzu是意大利卡利亚里大学自动控制专业教授。她的研究领域包括：离散事件系统、Petri网、混杂系统、网络控制系统、制造与运输系统。她已发表或合作发表论文300余篇，其中包括100多篇国际期刊文章和一本教科书，并担任两本国际著作的编辑。她在Scopus上的h指数为42。曾先后在西班牙（萨拉戈萨）、美国（亚特兰大）、墨西哥（瓜达拉哈拉）及中国（西安、杭州、成都）的多所大学担任访问教授。
Seatzu教授现任IEEE Trans. on Automation Science and Engineering（IEEE T-ASE）及International Journal of Robotics and Research高级编辑， 担任Discrete Event Dynamic Systems期刊的部门编辑。她曾担任IEEE Control Systems Letters高级编辑，以及包括IEEE Transactions on Automatic Control（IEEE T-AC）在内的多家国际期刊的副编辑。
她是IEEE控制系统学会理事会成员。自2020年起，她担任国际自动控制联合会（IFAC）离散事件与混合系统技术委员会（TC1.3）主席。她担任2025年第11届控制、决策与信息技术国际会议（CoDIT）的总联合主席；曾担任2024年第20届IEEE国际自动化与科学工程会议（CASE）及2018年第23届IEEE国际新兴技术与工厂自动化会议（ETFA）的程序主席；2016年第55届IEEE决策与控制会议（CDC）的研讨会主席，以及2013年第18届IEEE国际新兴技术与工厂自动化会议的总联合主席。
欢迎广大师生积极参听！