Decentralized fault diagnosis of discrete-event systems with unreliable sensors using linear temporal logic  

作　　者：Weijie DONG Shaoyuan LI Xiang YIN 

机构地区：[1]Key Laboratory of System Control and Information Processing,Ministry of Education,Department of Automation,Shanghai Jiao Tong University,Shanghai 200240,China

出　　处：《Science China(Information Sciences)》2025年第1期319-338,共20页中国科学(信息科学)(英文版)

基　　金：supported by National Natural Science Foundation of China(Grant Nos.62173226,92367203,62061136004).

摘　　要：In this paper,we investigate a decentralized diagnosis problem of a discrete-event system(DES)subject to unreliable sensors,where the sensor observations of local diagnosers may be non-deterministic as a result of possible failures.Existing studies on decentralized robust diagnosis can only deal with different types of sensor failures separately,e.g.,all sensors suffer from the same type of sensor failures such as intermittent sensor failures or permanent sensor failures.However,since sensors of different local diagnosers may face different external environments and have different internal characteristics,sensors corresponding to different local diagnosers may also have their own fault features.In this paper,we propose a flexible framework of decentralized diagnosis for DES subject to unreliable sensors such that sensors of different local diagnosers are permitted to have different types of sensor failures.To this end,we extend the existing decentralized diagnosis framework to the case where there exist common sensors broadcasting their observations to all local diagnosers.We apply linear temporal logic(LTL)to constrain infinite behaviors of private sensors of local diagnosers and common sensors.Then,a new notion of ϕ-codiagnosability is proposed as the necessary and sufficient condition for the existence of a decentralized diagnoser that works correctly under sensors satisfying LTL-based sensor constraints.Finally,we provide an effective approach to verify the ϕ-codiagnosability.

关 键 词：discrete event systems decentralized diagnosis codiagnosability AUTOMATA 

分 类 号：TP212[自动化与计算机技术—检测技术与自动化装置] TP277[自动化与计算机技术—控制科学与工程]