计算机科学 ›› 2023, Vol. 50 ›› Issue (11A): 220800224-6.doi: 10.11896/jsjkx.220800224
曹卫华, 刘富春
CAO Weihua, LIU Fuchun
摘要: 对故障检测来说,预测比诊断更能降低故障对系统造成的损失,但即使大多数的故障事件串是可预测的,只要有一个故障事件串是不可预测只能诊断的,整个系统就是不可预测的,只能用诊断的方法处理,这对大多数的故障事件串是不利的。为此,提出了弱可预测性的概念。弱可预测性是对系统未来是否一定会处于故障状态这一情况的预测。相比可预测性,弱可预测性不要求所有故障事件串都是可预测的。对可预测的故障事件串,弱可预测性能够在故障发生之前发出警报,而对不可预测只能诊断的故障事件串,其也能在故障发生之后发出警报。文中构造了证明器来测试系统的弱可预测性,并基于这个证明器给出了测试系统弱可预测性的多项式复杂度的算法,给出了弱可预测性的充分必要条件。
中图分类号:
[1]CASSANDRAS C G,LAFORTUNE S.Introduction to discrete event systems[M].New York:Springer,2010. [2]SAMPATH M,SENGUPTA R,LAFORTUNE S,et al.Diag-nosability of discrete-event systems[J].IEEE Transactions on Automatic Control,1995,40(9):1555-1575. [3]YOO T S,LAFORTUNE S.Polynomial-time verification of dia-gnosability of partially observed discrete-event systems[J].IEEE Transactions on Automatic Control,2002,47(9):1491-1495. [4]WHITE A,KARIMODDINI A,SU R.Fault diagnosis of discrete event systems under unknown Initial conditions[J].IEEE Transactions on Automatic Control,2019,64(12):5246-5252. [5]CABRAL F G,MOREIRA M V.Synchronous Diagnosis of Discrete-Event Systems[J].IEEE Transactions on Automation Science and Engineering,2020,17(2):921-932. [6]REN K,ZHANG Z,XIA C.Event-based fault diagnosis of networked discrete event systems[J].IEEE Transactions on Circuits and Systems II:Express Briefs,2022,69(3):1787-1791. [7]CAO L,SHU S,LIN F,et al,Weak Diagnosability of Discrete-Event Systems[J].IEEE Transactions on Control of Network Systems,2022,9(1):184-196. [8]LU W,ZHANG L M,ZHU Y A.Partial Diagnosability Analysis of Discrete-event Systems[J].Computer Science,2015,42(2):177-181. [9]FANG H,FANG X W,LI D Q.Review on Fault DiagnosisTheory and Application Based on Petri Nets[J].Computer Science,2014,41(3):17-22. [10]WANG X Y,OUYANG D T,ZHAO X F,et al.Algorithm of Dynamic Event System's Synchronization Diagnosis[J].Compu-ter Science,2010,37(2):180-182. [11]GENC S,LAFORTUNE S.Predictability of event occurrences in partially-observed discrete-event systems[J].Automatica,2009,45(2):301-311. [12]XIAO C,LIU F.Robust Fault Prognosis of Discrete-Event Systems Against Loss of Observations[J].IEEE Transactions on Automation Science and Engineering,2022,19(2):1083-1094. [13]LIU F.Predictability of failure event occurrences in decentra-lized discrete-event systems and polynomial-time verification[J].IEEE Transactions on Automation Science and Enginee-ring,2019,16(1):498-504. [14]YIN X,LI Z.Decentralized Fault Prognosis of Discrete-EventSystems Using State-Estimate-Based Protocols[J].IEEE Transactions on Cybernetics,2019,49(4):1302-1313. [15]TAKAI S,KUMAR R.Inference-Based Decentralized Prognosis in Discrete Event Systems[J].IEEE Transactions on Automatic Control,2011,56(1):165-171. [16]TAKAI S,KUMAR R.Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications[J].IEEE Transactions on Automatic Control,2012,57(5):1259-1265. [17]CHEN J,KUMAR R.Stochastic failure prognosability of dis-crete event systems[J].IEEE Transactions on Automatic Control,2015,60(6):1570-1581. [18]LIAO H,LIU F C.Verification algorithm of fault prediction of random discrete event system under permanent loss of observation[J].Application Research of Computers,2022,39(1):106-112. [19]SHU S,LIN F,HAO Y.Detectability of Discrete Event Systems[J].IEEE Transactions on Automatic Control,2007,52(12):2356-2359. [20]WONHAM W M,RAMADGE P J.Modular supervisory control of discrete-event systems[J].Mathematics of Control Signals and Systems,1988,1(1):13-30. [21]LIN F.Opacity of discrete event systems and its applications[J].Automatica,2011,47(3):496-503. [22]YOKOMIZOWATANABE A T,BITTENCOURTLEAL A,CURY J E R,et al.Combining online diagnosis and prognosis for safe controllability[J].IEEE Transactions on Automatic Control,2022,67(10):5563-5569. |
|