广东工业大学学报 ›› 2023, Vol. 40 ›› Issue (03): 32-37.doi: 10.12052/gdutxb.210169

• • 上一篇    下一篇

基于双向观测器的随机离散事件系统的不透明性

亓国照, 刘富春, 崔洪刚   

  1. 广东工业大学 计算机学院, 广东 广州 510006
  • 收稿日期:2021-11-05 出版日期:2023-05-25 发布日期:2023-06-08
  • 通信作者: 刘富春(1971-),男,教授,博士,主要研究方向为控制理论与控制工程、数理逻辑与模糊系统,E-mail:liufch@gdut.edu.cn
  • 作者简介:亓国照(1997-),男,硕士研究生,主要研究方向为控制理论与控制工程、算法分析与设计
  • 基金资助:
    国家自然科学基金资助项目(61672722)；广东省自然科学基金资助项目(2023A1515012783)

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)

874

摘要： 本文针对随机系统模型，研究随机离散事件系统的不透明性。首先对随机无穷步不透明性和随机K步不透明性进行形式化。通过构造一个基于双向观测器的验证器，得到一个运用双向观测器验证系统随机无穷步不透明性和随机K步不透明性的充分必要条件。最后提出一个基于双向观测器的随机无穷步不透明性和随机K步不透明性验证算法。

关键词: 随机离散事件系统, 双向观测器, 无穷步不透明, K步不透明性

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

中图分类号: 

  • 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] 叶彬彬, 刘富春. 随机离散事件系统的故障预测[J]. 广东工业大学学报, 2018, 35(06): 83-89.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 2017 《广东工业大学学报》编辑部
地址：广州市东风东路729号广东工业大学 邮编：510090
电话：020-37626653,020-37626139,020-37626396
邮箱：xbzrb@gdut.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发