Concealability Analysis for Current-State Opacity Enforcement via Editing Functions

被引：0
作者：
Peng, Kun [1 ]
Chen, Yufeng [1 ]
Seatzu, Carla [2 ]
Li, Zhiwu [3 ]
Giua, Alessandro [2 ]
机构：
[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[2] Univ Cagliari, Dept Elect & Elect Engn, I-09123 Cagliari, Italy
[3] Macau Univ Sci & Technol, Inst Syst Engn, Taipa 999078, Macau, Peoples R China
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2024年 / 69卷 / 10期
关键词：
Current-state opacity enforcement; state observer; state-based opacity; discrete event system (DES); DISCRETE-EVENT SYSTEMS;
D O I：
10.1109/TAC.2024.3400848
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This article focuses on the problem of enforcing current-state opacity of a discrete event system via editing functions. In more detail, the observation exposed to an intruder is modified, either erasing or inserting some observations, so as to guarantee that the intruder is not able to discover the predefined secret. The notion of concealability, which formalizes the possibility of maintaining the secret hidden, is introduced starting from defining some illegal states on a particular structure called joint observer. An algorithm for the analysis of concealability is proposed. Finally, an online procedure to make the system opaque is proposed by selecting an editing function.
引用
收藏
页码：7231 / 7238
页数：8
相关论文
共 23 条
[1]   Comparing the notions of opacity for discrete-event systems [J].
Balun, Jiri ;
Masopust, Tomas .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2021, 31 (04) :553-582
[2]  
Cassandras C. G., 2018, Introduction to Discrete Event Systems
[3]   Synthesis of opaque systems with static and dynamic masks [J].
Cassez, Franck ;
Dubreil, Jeremy ;
Marchand, Herve .
FORMAL METHODS IN SYSTEM DESIGN, 2012, 40 (01) :88-115
[4]   Supervisory Control for Opacity [J].
Dubreil, Jeremy ;
Darondeau, Philippe ;
Marchand, Herve .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (05) :1089-1100
[5]   Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions [J].
Ji, Yiding ;
Yin, Xiang ;
Lafortune, Stephane .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (10) :4369-4376
[6]   Enforcement of opacity by public and private insertion functions [J].
Ji, Yiding ;
Wu, Yi-Chin ;
Lafortune, Stephane .
AUTOMATICA, 2018, 93 :369-378
[7]   Opacity of discrete event systems and its applications [J].
Lin, Feng .
AUTOMATICA, 2011, 47 (03) :496-503
[8]   Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement [J].
Mohajerani, Sahar ;
Ji, Yiding ;
Lafortune, Stephane .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2020, 65 (08) :3349-3364
[9]  
Mohajerani S, 2018, IEEE DECIS CONTR P, P3573
[10]  
Saboori A, 2007, IEEE DECIS CONTR P, P3101
123