Journal of Guangdong University of Technology ›› 2023, Vol. 40 ›› Issue (03): 32-37.doi: 10.12052/gdutxb.210169

Previous Articles     Next Articles

Opacity Verification in Stochastic Discrete Event Systems Using Two-way Observers

Qi Guo-zhao, Liu Fu-chun, Cui Hong-gang   

  1. School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China
  • Received:2021-11-05 Online:2023-05-25 Published:2023-06-08

HTML

PDF (PC)

854

Abstract: The opacity of stochastic discrete event system is studied for stochastic system models. Firstly, the notions of stochastic infinite-step opacity and stochastic K-step opacity are formalized. By constructing a validator based on a two-way observer, a necessary and sufficient condition is obtained to verify the stochastic infinite-step opacity and stochastic K-step opacity of systems by using the validator of two-way observer. Finally, the verification algorithm for stochastic infinite-step opacity and stochastic K-step opacity based on two-way observer is proposed.

Key words: stochastic discrete event system, two-way observer, infinite-step opacity, K-step opacity

CLC Number: 

  • TP277
[1] SAMPATH M, SENGUPTA R, LAFORTUNE S, et al. Diagnosability of discrete-event systems [J]. IEEE Transactions on Automatic Control, 1995, 40(9): 1555-1575.
[2] THORSLEY D, TENEKETZIS D. Diagnosability of stochastic discrete-event systems [J]. IEEE Transactions on Automatic Control, 2005, 50(4): 476-492.
[3] QIU W, KUMAR R. Decentralized failure diagnosis of discrete event systems [J]. IEEE Transaction on Systems, Man, and Cybernetics-part A:Systems and Humans, 2006, 36(2): 384-395.
[4] LIU F C, QIU D. Safe diagnosability of stochastic discrete event systems [J]. IEEE Transaction on Automatic Control, 2008, 53(5): 1291-1296.
[5] ZAYTOON J, LAFORTUNE S. Overview of fault diagnosis methods for discrete event systems [J]. Annual Reviews in Control, 2013, 37(2): 308-320.
[6] JACOB R, LESAGE J, FAURE J. Overview of discrete event systems opacity: models, validation, and quantification [J]. Annual Reviews in Control, 2015, 48(7): 174-181.
[7] ZHANG B, SHU S, LIN F. Maximum information release while ensuring opacity in discrete Event systems [J]. IEEE Transactions on Automation Science & Engineering, 2015, 12(3): 1067-1079.
[8] BÉRARD B, CHATTERJEE K, SZNAJDER N. Probabilistic opacity for Markov decision processes [J]. Information Processing Letters, 2015, 115(1): 52-59.
[9] HADJICOSTIS C N, KEROGLOU C. Opacity formulations and verification in discrete event systems[C]// Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), Barcelona: IEEE, 2014, 1-12.
[10] ANOOSHIRAVAN S A, HADJICOSTIS C N. Verification of initial state opacity in security applications of discrete event systems [J]. Information Sciences, 2013, 246(14): 115-132.
[11] DUBREIL J, DARONDEAU P, MARCHAND H. Opacity enforcing control synthesis[C]// 2008 9th International Workshop on Discrete Event Systems, Gothenburg: IEEE, 2008, 28-35.
[12] SABOORI A, HADJICOSTIS C N. Opacity-enforcing supervisory strategies for secure discrete event systems[C]// 2008 47th IEEE Conference on Decision and Control, Cancun: IEEE, 2008, 889-894.
[13] SABOORI A, HADJICOSTIS C N. Verification of K-step opacity and analysis of its complexity[C]// Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, Shanghai: IEEE, 2009, 205-210.
[14] YIN X, LAFORTUNE S. A new approach for the verification of infinite-step and K-step opacity using two-way observers [J]. Automatica, 2017, 80: 162-171.
[15] XIANG L, LI Z, WANG W, et al. Infinite-step opacity and K-step opacity of stochastic discrete-event systems [J]. Automatica, 2019, 99: 276-274.
[1] Ye Bin-bin, Liu Fu-chun. Failure Predictability of Stochastic Discrete Event Systems [J]. Journal of Guangdong University of Technology, 2018, 35(06): 83-89.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright © 2017 Journal of Guangdong University of Technology
Add：729 East Dongfeng RD., Guangzhou PRC. Postcode: 510090
Tel：020-37626653,020-37626139,020-37626396
Email：xbzrb@gdut.edu.cn
Supported:Beijing Magtech