Enforcement of Current-State Opacity in Signal Interpreted Petri Nets

被引：0

作者：

Koehler, Andreas ^{[1
]}

Marijan, Pascal ^{[1
]}

Zhang, Ping ^{[1
]}

机构：

[1] Univ Kaiserslautern Landau, Inst Automat Control, D-67653 Kaiserslautern, Germany

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2024年 / 69卷 / 11期

关键词：

Actuators; Petri nets; Vectors; Iterative methods; Encryption; Automata; Supervisory control; Discrete event systems (DES); opacity; Petri nets (PNs); production systems;

D O I：

10.1109/TAC.2024.3412008

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This article proposes a new approach for the enforcement of current-state opacity in signal interpreted Petri nets (SIPN). In order to enforce current-state opacity in SIPNs, the properties of iterative firing and simultaneous firing of transitions are considered. To prevent the intruder from inferring the current marking, signals associated with the secret marking are compared to signals associated with alternative markings. This allows to determine which signals need to be encrypted to confuse the secret marking with markings leading to the secret marking, markings directly reachable from the secret marking or markings reachable from the premarking of the secret marking. The proposed approach applies to any system that can be described by an SIPN.

引用

页码：8104 / 8111

页数：8

共 50 条

[41] Diagnosability Verification and Enforcement for Unbounded Petri Nets by Online Supervisors [J].

Hu, Shaopeng ;

Hu, Yihui ;

Liu, Ding ;

Fanti, Maria Pia ;

Li, Zhiwu .

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024,

[42] An algebraic characterization of language-based opacity in labeled Petri nets [J].

Basile, F. ;

De Tommasi, G. .

IFAC PAPERSONLINE, 2018, 51 (07) :329-336

[43] On the enforcement of a class of nonlinear constraints on Petri nets [J].

Chen, YuFeng ;

Li, ZhiWu ;

Barkaoui, Kamel ;

Giua, Alessandro .

AUTOMATICA, 2015, 55 :116-124

[44] Structural Sequence Detectability in Free Choice Interpreted Petri Nets [J].

Nuno-Sanchez, Saul-Alonso ;

Ramirez-Trevino, Antonio ;

Ruiz-Leon, Javier .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (01) :198-203

[45] Multiple speci cation regulation control in interpreted Petri nets [J].

Sánchez-Blanco, JF ;

Ram'rez-Treviño, A ;

Santoyo, A .

2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, :4989-4994

[46] On-line verification of initial-state opacity by Petri nets and integer linear programming [J].

Cong, Xuya ;

Fanti, Maira Pia ;

Mangini, Agostino Marcello ;

Li, Zhiwu .

ISA TRANSACTIONS, 2019, 93 :108-114

[47] Symbolic state estimation in bounded timed labeled Petri nets [J].

Dong, Yifan ;

Wu, Naiqi ;

Li, Zhiwu .

AUTOMATICA, 2024, 160

[48] Enforcing current-state opacity of Cyber-Physical Systems with multiple channels using event replacements [J].

Reis, Lucas N. R. ;

Carvalho, Lilian K. ;

Moreira, Marcos V. .

IFAC PAPERSONLINE, 2024, 58 (01) :7-12

[49] Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets [J].

Ran, Ning ;

Hao, Jinyuan ;

Seatzu, Carla .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (10) :5541-5547

[50] Signal-Interpreted Coloured Petri Nets: A modelling tool for rapid prototyping in feedback-based control of discrete event systems [J].

Borges, Matheus Ungaretti ;

Pilloni, Alessandro ;

Pontes, Gustavo Ribeiro ;

Seatzu, Carla ;

Lima II, Eduardo Jose .

CONTROL ENGINEERING PRACTICE, 2024, 153

← 1 2 3 4 5 →