State-based Safe-codiagnosability of Discrete-Event Systems and A Polynomial Verification Algorithm
详细信息 查看官网全文
- 英文论文题名：State-based Safe-codiagnosability of Discrete-Event Systems and A Polynomial Verification Algorithm
- 论文作者：Weilin Deng ; Daowen Qiu
- 英文论文作者：Weilin Deng ; Daowen Qiu ; Institute of Computer science Theory ; School of Data and Computer Science ; Sun Yat-sen University
- 年：2017
- 作者机构：Institute of Computer science Theory,School of Data and Computer Science,Sun Yat-sen University;
- 英文论文关键词：state-based discrete-event systems ; state estimation ; decentralized diagnosis ; safe diagnosability
- 会议召开时间：2017-07-26
- 会议录名称：第36届中国控制会议论文集（B）
- 英文会议录名称：Proceedings of the 36th Chinese Control Conference（B）
- 语种：英文
- 分类号：TP277
- 学会代码：KZLL
- 会议名称：第36届中国控制会议
- 会议地点：中国辽宁大连
- 主办单位：中国自动化学会控制理论专业委员会
- 学会名称：中国自动化学会控制理论专业委员会
- 页数：6
- 文件大小：254k
- 原文格式：D
- 会议级别：全国
摘要
In this paper, we investigate the state-based decentralized safe diagnosis issue of discrete-event systems. We first present a state-based decentralized safe diagnosis framework. Moreover, we introduce the notion of the state-based safecodiagnosability, which satisfies both the diagnosability condition and the safety condition. In addition, a polynomial verification algorithm of the state-based safe-codiagnosability is also proposed.
In this paper, we investigate the state-based decentralized safe diagnosis issue of discrete-event systems. We first present a state-based decentralized safe diagnosis framework. Moreover, we introduce the notion of the state-based safecodiagnosability, which satisfies both the diagnosability condition and the safety condition. In addition, a polynomial verification algorithm of the state-based safe-codiagnosability is also proposed.
In this paper, we investigate the state-based decentralized safe diagnosis issue of discrete-event systems. We first present a state-based decentralized safe diagnosis framework. Moreover, we introduce the notion of the state-based safecodiagnosability, which satisfies both the diagnosability condition and the safety condition. In addition, a polynomial verification algorithm of the state-based safe-codiagnosability is also proposed.
引文
[1]C.G.Cassandras and S.Lafortune,Introduction to Discrete Event Systems.Springer Science and Business Media,2008.
[2]R.Kumar and V.K.Garg,Modeling and Control of Logical Discrete Event Systems.Kluwer,Boston,MA,1995.
[3]M.Sampath,R.Sengupta,S.Lafortune,K.Sinnamohideen,and D.Teneketzis,“Diagnosability of discrete-event systems,”IEEE Transaction on Automatic Control,vol.40,no.9,pp.1555–1575,Sep.1995.
[4]S.Jiang,Z.Huang,Y.Chandra,and R.Kumar,“A polynomial algorithm for testing diagnosability of discrete-event systems,”IEEE Transactions on Automatic Control,vol.46,no.8,pp.1318–1321,Aug.2001.
[5]T.S.Yoo and S.Lafortune,“Polynomial-time verification of diagnosability of partially observed discrete-event systems,”IEEE Transactions on Automatic Control,vol.47,no.9,pp.1491–1495,Sep.2002.
[6]W.Qiu and R.Kumar,“Decentralized failure diagnosis of discrete event systems,”IEEE Transactions on System,Man,Cybernetic,Part A:Systems and Humans,vol.36,no.2,pp.384–395,May 2006.
[7]Y.Wang,T.S.Yoo,and S.Lafortune,“Diagnosis of discrete event systems using decentralized architectures,”Discrete Event Dynamic Systems,vol.17,no.2,pp.233–263,Apr.2007.
[8]M.V.Moreira,T.C.Jesus,and J.C.Basilio,“Polynomial time verification of decentralized diagnosability of discrete event systems,”IEEE Transactions on Automatic Control,vol.56,no.7,pp.1679–1684,Jul.2011.
[9]R.Kumar and S.Takai,“Inference-based ambiguity management in decentralized decision-making:Decentralized diagnosis of discrete-event systems,”IEEE Transactions on Automation Science and Engineering,vol.6,no.3,pp.479–491,Jul.2009.
[10]S.Takai and R.Kumar,“Delay bound of inference-based decentralized diagnosis in discrete event systems,”in 2016 13th International Workshop on Discrete Event Systems,Xi’an,China,May 2016,pp.224–229.
[11]A.Paoli and S.Lafortune,“Safe dianosability for faulttolerant supervision of discrete-event systems,”Automatica,vol.41,no.8,pp.1335–1347,Aug 2005.
[12]W.Qiu and R.Kumar,“Decentralized diagnosis of eventdriven systems for safely reacting to failures,”IEEE Transactions on Automation Science and Engineering,vol.6,no.2,pp.362–366,Apr 2009.
[13]W.Deng and D.Qiu,“State-based decentralized diagnosis of bi-fuzzy discrete event systems,”IEEE Transactions on Fuzzy Systems,2016,to appear.
[14]S.H.Zad,R.H.Kwong,and W.M.Wonham,“Fault diagnosis in discrete-event systems:Framework and model reduction,”IEEE Transactions on Automatic Control,vol.48,no.7,pp.1199–1212,July 2003.
[15]W.Deng and D.Qiu,“State-based fault diagnosis of discreteevent systems,”in preceedings of chinese control and decision conference 2016,Yingcuan,China,May 2016,pp.5470–5475.
[2]R.Kumar and V.K.Garg,Modeling and Control of Logical Discrete Event Systems.Kluwer,Boston,MA,1995.
[3]M.Sampath,R.Sengupta,S.Lafortune,K.Sinnamohideen,and D.Teneketzis,“Diagnosability of discrete-event systems,”IEEE Transaction on Automatic Control,vol.40,no.9,pp.1555–1575,Sep.1995.
[4]S.Jiang,Z.Huang,Y.Chandra,and R.Kumar,“A polynomial algorithm for testing diagnosability of discrete-event systems,”IEEE Transactions on Automatic Control,vol.46,no.8,pp.1318–1321,Aug.2001.
[5]T.S.Yoo and S.Lafortune,“Polynomial-time verification of diagnosability of partially observed discrete-event systems,”IEEE Transactions on Automatic Control,vol.47,no.9,pp.1491–1495,Sep.2002.
[6]W.Qiu and R.Kumar,“Decentralized failure diagnosis of discrete event systems,”IEEE Transactions on System,Man,Cybernetic,Part A:Systems and Humans,vol.36,no.2,pp.384–395,May 2006.
[7]Y.Wang,T.S.Yoo,and S.Lafortune,“Diagnosis of discrete event systems using decentralized architectures,”Discrete Event Dynamic Systems,vol.17,no.2,pp.233–263,Apr.2007.
[8]M.V.Moreira,T.C.Jesus,and J.C.Basilio,“Polynomial time verification of decentralized diagnosability of discrete event systems,”IEEE Transactions on Automatic Control,vol.56,no.7,pp.1679–1684,Jul.2011.
[9]R.Kumar and S.Takai,“Inference-based ambiguity management in decentralized decision-making:Decentralized diagnosis of discrete-event systems,”IEEE Transactions on Automation Science and Engineering,vol.6,no.3,pp.479–491,Jul.2009.
[10]S.Takai and R.Kumar,“Delay bound of inference-based decentralized diagnosis in discrete event systems,”in 2016 13th International Workshop on Discrete Event Systems,Xi’an,China,May 2016,pp.224–229.
[11]A.Paoli and S.Lafortune,“Safe dianosability for faulttolerant supervision of discrete-event systems,”Automatica,vol.41,no.8,pp.1335–1347,Aug 2005.
[12]W.Qiu and R.Kumar,“Decentralized diagnosis of eventdriven systems for safely reacting to failures,”IEEE Transactions on Automation Science and Engineering,vol.6,no.2,pp.362–366,Apr 2009.
[13]W.Deng and D.Qiu,“State-based decentralized diagnosis of bi-fuzzy discrete event systems,”IEEE Transactions on Fuzzy Systems,2016,to appear.
[14]S.H.Zad,R.H.Kwong,and W.M.Wonham,“Fault diagnosis in discrete-event systems:Framework and model reduction,”IEEE Transactions on Automatic Control,vol.48,no.7,pp.1199–1212,July 2003.
[15]W.Deng and D.Qiu,“State-based fault diagnosis of discreteevent systems,”in preceedings of chinese control and decision conference 2016,Yingcuan,China,May 2016,pp.5470–5475.