Journal of Guangdong University of Technology ›› 2025, Vol. 42 ›› Issue (1): 126-133.doi: 10.12052/gdutxb.230192

• Comprehensive Studies • Previous Articles    

Active Opacity of Fuzzy Discrete Event Systems

Lian Yuanhao, Liu Fuchun   

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

HTML

50

PDF (PC)

354

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

CLC Number: 

  • 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] Huang Ze-hui, Liu Fu-chun. Safe Diagnosis of Pattern Failure of Decentralized Stochastic Discrete Event Systems [J]. Journal of Guangdong University of Technology, 2024, 41(02): 108-115.doi: 10.12052/gdutxb.230192
[2] Wang Wei-lin, Liu Fu-chun. Safe Diagnosis of Pattern Failure of Decentralized Fuzzy Discrete Event Systems [J]. Journal of Guangdong University of Technology, 2023, 40(05): 81-87.doi: 10.12052/gdutxb.230192
[3] Lun Hao-huai, Liu Fu-chun. Weak Diagnosability of Fuzzy Discrete Event Systems [J]. Journal of Guangdong University of Technology, 2023, 40(04): 102-108.doi: 10.12052/gdutxb.230192
[4] Qi Guo-zhao, Liu Fu-chun, Cui Hong-gang. Opacity Verification in Stochastic Discrete Event Systems Using Two-way Observers [J]. Journal of Guangdong University of Technology, 2023, 40(03): 32-37.doi: 10.12052/gdutxb.230192
[5] Lyu Shu-yuan, Liu Fu-chun, Zhao Rui, Deng Xiu-qin, Cui Hong-gang. A Research on Patterns Fault Prediction of Decentralized Discrete Event Systems [J]. Journal of Guangdong University of Technology, 2021, 38(01): 54-63.doi: 10.12052/gdutxb.230192
Viewed
Full text
354
HTML PDF
Just accepted Online first Issue Just accepted Online first Issue
0 0 0 0 98 256

  From Others local
  Times 11 343
  Rate 3% 97%

Abstract
181
Just accepted Online first Issue
0 50 131
  From local
  Times 181
  Rate 100%

Cited
Web of Science  Crossref   ScienceDirect  Search for Citations in Google Scholar >>
 
This page requires you have already subscribed to WoS.
  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