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

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

doi:10.12052/gdutxb.210169

English Version Journal Login

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2026-05-27

- Opacity Verification in Stochastic Discrete Event Systems Using Two-way Observers
- Vol. 40, Issue 3, Pages: 32-37(2023)
- 作者机构：
  
  广东工业大学计算机学院,广东,广州,510006
- 作者简介：
- 基金信息：
- DOI：10.12052/gdutxb.210169
  CLC： TP277
- Online First：25 May 2023，
  
  Published：2023
- 稿件说明：
移动端阅览
亓国照, 刘富春, 崔洪刚. 基于双向观测器的随机离散事件系统的不透明性[J]. 广东工业大学学报, 2023, 40(3): 32-37.

Qi Guo-zhao, Liu Fu-chun, Cui Hong-gang. Opacity Verification in Stochastic Discrete Event Systems Using Two-way Observers[J]. 2023, 40(3): 32-37.
亓国照, 刘富春, 崔洪刚. 基于双向观测器的随机离散事件系统的不透明性[J]. 广东工业大学学报, 2023, 40(3): 32-37. DOI： 10.12052/gdutxb.210169.

Qi Guo-zhao, Liu Fu-chun, Cui Hong-gang. Opacity Verification in Stochastic Discrete Event Systems Using Two-way Observers[J]. 2023, 40(3): 32-37. DOI： 10.12052/gdutxb.210169.

摘要

本文针对随机系统模型，研究随机离散事件系统的不透明性。首先对随机无穷步不透明性和随机

步不透明性进行形式化。通过构造一个基于双向观测器的验证器，得到一个运用双向观测器验证系统随机无穷步不透明性和随机

步不透明性的充分必要条件。最后提出一个基于双向观测器的随机无穷步不透明性和随机

步不透明性验证算法。

Abstract

The opacity of stochastic discrete event system is studied for stochastic system models. Firstly

the notions of stochastic infinite-step opacity and stochastic

-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

-step opacity of systems by using the validator of two-way observer. Finally

the verification algorithm for stochastic infinite-step opacity and stochastic

-step opacity based on two-way observer is proposed.

关键词

Keywords

references

SAMPATH M, SENGUPTA R, LAFORTUNE S, et al . Diagnosability of discrete-event systems [J ] . IEEE Transactions on Automatic Control, 1995, 40(9): 1555-1575.

THORSLEY D, TENEKETZIS D. Diagnosability of stochastic discrete-event systems [J]. IEEE Transactions on Automatic Control, 2005, 50(4): 476-492.

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.

LIU F C, QIU D. Safe diagnosability of stochastic discrete event systems [J]. IEEE Transaction on Automatic Control, 2008, 53(5): 1291-1296.

ZAYTOON J, LAFORTUNE S. Overview of fault diagnosis methods for discrete event systems [J]. Annual Reviews in Control, 2013, 37(2): 308-320.

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.

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.

BÉRARD B, CHATTERJEE K, SZNAJDER N. Probabilistic opacity for Markov decision processes [J]. Information Processing Letters, 2015, 115(1): 52-59.

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.

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.

DUBREIL J, DARONDEAU P, MARCHAND H. Opacity enforcing control synthesis[C]// 2008 9th International Workshop on Discrete Event Systems, Gothenburg: IEEE, 2008, 28-35.

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.

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.

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.

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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Research on k-Step Active Opacity of Stochastic Discrete Event Systems

Bimodal Iterative Cross-attention Fusion Ensemble Framework

Research on Foreign Object Detection in Power Transmission Lines Based on the AAGV-YOLOX Model

Modeling of 3D NAND Memory Cells with Taper Angle and Programming Strategy Optimization

An Optimal Operation Strategy for Community Microgrid Alliances Considering Power Exchange under Multi-package Shared Energy Storage Model

Related Author

Liu Weiqi

Liu Fuchun

Related Institution

No data

AI问答

⁰