報(bào)告題目：Prognosability of Decentralized Discrete-Event Systems and Verification Algorithm
報(bào)告人：劉富春教授
報(bào)告時(shí)間：2023年05月23日14:00
騰訊會議號：647-392-149
報(bào)告摘要：
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.
報(bào)告人介紹：
劉富春，廣東工業(yè)大學(xué)計(jì)算機(jī)學(xué)院教授、博士生導(dǎo)師，入選廣東省“千百十”人才工程第二層次（省級）培養(yǎng)計(jì)劃。主要從事自動機(jī)理論、離散事件系統(tǒng)監(jiān)督控制、故障診斷與故障預(yù)測研究，主持國家自然科學(xué)基金、廣東省自然科學(xué)基金以及多個(gè)省廳級項(xiàng)目。研究成果發(fā)表在IEEE Transactions on Automatic Control、Automatica、IEEE Transactions on Fuzzy Systems、IEEE Transactions on Cybernetics、Information Sciences、IEEE Transactions on Automation Science and Engineering以及《中國科學(xué)》(英文版)等國內(nèi)外知名刊物。曾獲廣東省科技進(jìn)步獎二等獎。
