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

亓国照; 刘富春; 崔洪刚

doi:10.12052/gdutxb.210169

欢迎来到能源电力期刊网！

English Version 期刊登录

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2026-05-27

- 基于双向观测器的随机离散事件系统的不透明性
- Opacity Verification in Stochastic Discrete Event Systems Using Two-way Observers
- 广东工业大学学报 2023年40卷第3期页码：32-37
- 作者机构：
  
  广东工业大学计算机学院,广东,广州,510006
- 作者简介：
  
  亓国照(1997–)，男，硕士研究生，主要研究方向为控制理论与控制工程、算法分析与设计
  刘富春(1971–)，男，教授，博士，主要研究方向为控制理论与控制工程、数理逻辑与模糊系统，E-mail：liufch@gdut.edu.cn
- 基金信息：
  
  国家自然科学基金资助项目(61672722);广东省自然科学基金资助项目(2023A1515012783)
- DOI：10.12052/gdutxb.210169
  中图分类号： TP277
- 网络首发：2023-05-25，
  
  纸质出版：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.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

随机离散事件系统的k步主动不透明性研究

具守恒量波动方程的循环双子网物理信息神经网络

多尺度对比嵌入增强的自适应入侵检测模型

基于PSI技术的福州市地面形变监测与影响因素分析

人工噪声辅助无人机太赫兹安全通信的鲁棒设计