广东工业大学学报

• • 上一篇    下一篇

模糊离散事件系统的主动不透明性

连远豪, 刘富春   

  1. 广东工业大学 计算机学院, 广东 广州 510006
  • 收稿日期:2023-11-24 出版日期:2024-05-25 发布日期:2024-06-05
  • 通信作者: 刘富春(1971–)，男, 教授，博士生导师，主要研究方向为离散事件系统控制、算法设计，E-mail：liufch@gdut.edu.cn E-mail:1198606918@qq.com;liufch@gdut.edu.cn
  • 作者简介:连远豪(1998–)，男，硕士研究生，主要研究方向为离散事件系统控制、算法设计，E-mail：1198606918@qq.com
  • 基金资助:
    广东省自然科学基金资助项目(2023A1515012783)

Active Opacity of Fuzzy Discrete Event Systems

Lian Yuan-hao, Liu Fu-chun   

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

HTML

PDF (PC)

55

摘要： 近年来，由于不透明性在信息物理融合系统的信息安全领域取得了许多成功应用，离散事件系统的不透明性研究引起了国内外学者的广泛关注。本文以模糊自动机为模型，研究如何强化模糊离散事件系统当前状态不透明性的问题。先对模糊系统的主动不透明性概念进行了形式化。针对不具有当前状态不透明性的模糊系统，引入一个主动控制策略，提出了一种主动不透明性方法。通过构造模糊秘密状态的可控度验证器，为每一个秘密状态找到一个可控事件串，使系统可沿着可控事件串进入秘密状态而不被入侵者发现，从而达到强化模糊系统不透明性目的。在可控度验证器的基础上，得到了一个关于模糊系统主动不透明性的充分必要条件，并由此提出了一个相应的验证算法。

关键词: 模糊离散事件系统, 状态可控度, 模糊当前状态不透明性, 主动不透明性

Abstract: In recent years, the research on opacity of discrete event systems has attracted widespread attention due to the successful application of opacity in information security of cyber-physical systems. In this research, the enforcement issue of the current state opacity is investigated under the framework of fuzzy discrete event systems modeled by fuzzy automata. The notion of active opacity of fuzzy systems is formalized. For a fuzzy system that does not possess current state opacity, an active control strategy is introduced and then an approach to active opacity is proposed. By constructing a controllability verifier of fuzzy secret states, a controllable event sequence is identified for each secret state, which reinforces the opacity of the fuzzy system by allowing the system to enter a secret state undetected by intruders. Based on the controllability verifier, the necessary and sufficient condition for the active opacity of fuzzy systems is presented, and a corresponding verification algorithm is proposed.

Key words: fuzzy discrete event systems (FDESs), state controllability, fuzzy current-state opacity, active opacity

中图分类号: 

  • TP277
[1] CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems[M]. 2nd ed. New York: Springer, 2008: 35-48.
[2] LIN F, YING H. Modeling and control of fuzzy discrete event systems [J]. IEEE Transactions on Systems, Man and Cybernetics, 2002, 32(4): 408-415.
[3] QIU D. Supervisory control of fuzzy discrete event systems: a formal approach [J]. IEEE Transactions on Systems, Man and Cybernetics, 2005, 35(1): 72-88.
[4] LIU F, QIU D. Diagnosability of fuzzy discrete-event systems: a fuzzy approach [J]. IEEE Transactions on Fuzzy Systems, 2009, 17(2): 372-384.
[5] BILAL B, MOHAMED T, FARID N. Predictability of fuzzy discrete event systems [J]. Discrete Event Dynamic Systems, 2017, 27(4): 1-33.
[6] HUQ R, MANN G K I, GOSINE R G. Behavior-modulation technique in mobile robotics using fuzzy discrete event system [J]. IEEE Transactions on Robotics, 2006, 22(5): 903-916.
[7] 李诀, 邹大鹏, 王高杰, 等. 轻型农用运输AGV的设计与分段模糊控制研究[J]. 广东工业大学学报, 2022, 39(1): 78-84.
LI J, ZOU D P, WANG G J, et al. A Design of AGV for miniature agricultural transportation and research on piecewise fuzzy control [J]. Journal of Guangdong University of Technology, 2022, 39(1): 78-84.
[8] BRYANS J W, KOUTNY M, RYAN P Y A. Modelling opacity using petri nets [J]. Electronic Notes in Theoretical Computer Science (ENTCS), 2005, 121(4): 101-115.
[9] BADOUEL E, BEDNARCZYK M, BORZYSZKOWSKI A, et al. Concurrent Secrets [J]. Discrete Event Dynamic Systems, 2007, 17(4): 425-446.
[10] SABOORI 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] CONG X Y, FANTI M P, MANGINI A M, et al. On-line verification of current-state opacity by Petri nets and integer linear programming [J]. Automatica, 2018, 94: 205-213.
[12] WU Y C, LAFORTUNE S. Comparative analysis of related notions of opacity in centralized and coordinated architectures [J]. DiscretE Event Dynamic Systems:Theory and Applications, 2013, 23(3): 307-339.
[13] SABOORI A, HADJICOSTIS C N. Verification of infinite-step opacity and complexity considerations [J]. IEEE Transactions on Automatic Control, 2012, 57(5): 1265-1269.
[14] SABOORI A, HADJICOSTIS C N. Verification of K-step opacity and analysis of its complexity [J]. IEEE Transactions on Automation Science and Engineering, 2011, 8(3): 549-559.
[15] 亓国照, 刘富春, 崔洪刚. 基于双向观测器的随机离散事件系统的不透明性[J]. 广东工业大学学报, 2023, 40(3): 32-37.
QI G Z, LIU F C, CUI H G. Opacity verification in stochastic discrete event systems using two-way observers [J]. Journal of Guangdong University of Technology, 2023, 40(3): 32-37.
[16] DENG W, YANG J, JIANG C, et al. Opacity of fuzzy discrete event systems[J]. 2019 Chinese Control And Decision Conference (CCDC) , 2019: 1840-1845.
[17] DENG W, QIU D, YANG J. Opacity Measures of fuzzy discrete event systems [J]. IEEE Transactions on Fuzzy Systems, 2021, 29(9): 2612-2622.
[18] WU Y C, SANKARARAMAN K A, LAFORTUNE S. Ensuring privacy in location-based services: an approach based on opacity enforcement [J]. IFAC Proceedings Volumes, 2014, 47(2): 33-38.
[19] TAN J X, LIU F, ZBIGNIEW D. Active opacity of discrete-event systems [J]. International Journal of Control, 2023, 96(8): 2090-2099.
[1] 王玮林, 刘富春. 分布式模糊离散事件系统的模式故障安全诊断[J]. 广东工业大学学报, 2023, 40(05): 81-87.
[2] 伦浩怀, 刘富春. 模糊离散事件系统的弱可诊断性[J]. 广东工业大学学报, 2023, 40(04): 102-108.
[3] 石聪聪, 刘富春. 模糊离散事件系统基于模式的故障诊断[J]. 广东工业大学学报, 2019, 36(01): 35-41.
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
本系统由北京玛格泰克科技发展有限公司设计开发