报告题目：Prognosability of Decentralized Discrete-Event Systems and Verification Algorithm

报告人：刘富春教授

报告时间：2023年05月23日14:00

腾讯会议号：647-392-149

报告摘要：

Due to the practical and theoretical importance, failure prediction of discrete event systems (DESs) has received increasing attention recently. In this talk, the prognosability of decentralized DESs and verification algorithm are introduced. Firstly, the notion of copredictability of DESs is formalized under the decentralized framework to capture the feature that the occurrences of failure events can be predicted based on at least one local observation. The necessary and sufficient condition for verifying the copredictability of DESs is presented by constructing the coverifier, which can be realized by a polynomial algorithm. Then it is extended to deal with stochastic systems, and an approach of decentralized prognosis for stochastic DESs together with its verification algorithm is proposed. In face of possible unavailability of some local agents, the reliable coprognosability of decentralized stochastic DESs is considered. To achieve the reliability performance, a reliable coprognoser and coverifier are constructed, and the necessary and sufficient conditions for verifying the reliable coprognosability of stochastic DESs are proposed.

报告人介绍：

刘富春，广东工业大学计算机学院教授、博士生导师，入选广东省“千百十”人才工程第二层次（省级）培养计划。主要从事自动机理论、离散事件系统监督控制、故障诊断与故障预测研究，主持国家自然科学基金、广东省自然科学基金以及多个省厅级项目。研究成果发表在IEEE Transactions on Automatic Control、Automatica、IEEE Transactions on Fuzzy Systems、IEEE Transactions on Cybernetics、Information Sciences、IEEE Transactions on Automation Science and Engineering以及《中国科学》(英文版)等国内外知名刊物。曾获广东省科技进步奖二等奖。