报告题目：Robustly distributed diagnosis of discrete-event systems and itsapplication to Alipay transaction systems

报告人：李博文，南京邮电大学

报告时间：2023年10月9日15:00-16:00

报告地点：20-202

报告摘要：In most of existing literature, it is assumed that all of the sensors can work normally. However in some situations, several sensors occur abnormal behavior or stuck at faults such that prior diagnosable decisions may not hold. By this regard, we address the problem of robustly distributed diagnosability of discrete-event systems with observation losses in this paper. In order to ensure diagnosability, the notion of robustly diagnosability is proposed in the distributed framework. Motivated by earlier works, new communication models and dilation operators are constructed, based on which the robustly distributed diagnosis problem is converted to a distributed diagnosis problem. One algorithm for the verification of robustly distributed diagnosability is proposed. Followed by it, a necessary and sufficient condition for the robustly distributed diagnosability is presented.

报告人简介：李博文，南京邮电大学校长专聘教授，江苏省双创博士，2021年3月获东南大学博士学位。主要从事离散系统的分析、控制及其应用，在国际重要学术期刊发表论文40余篇。主持国家级项目1项，省级项目2项。

邀请人：钟杰