Opacity is a property of discrete event systems (DES) that is related to the possibility of hiding a secret from external observers (the intruders). When the secret is the initial state of the system, the related opacity problem is referred to as Initial State Opacity (ISO). A necessary and sufficient condition to check ISO in DES modeled as Petri nets (PN) is given in this letter. By exploiting both the structural properties of PNs and the algebraic description of their dynamic, we propose to assess ISO by solving Integer Linear Programming problems.
Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems
Basile F.;
2022-01-01
Abstract
Opacity is a property of discrete event systems (DES) that is related to the possibility of hiding a secret from external observers (the intruders). When the secret is the initial state of the system, the related opacity problem is referred to as Initial State Opacity (ISO). A necessary and sufficient condition to check ISO in DES modeled as Petri nets (PN) is given in this letter. By exploiting both the structural properties of PNs and the algebraic description of their dynamic, we propose to assess ISO by solving Integer Linear Programming problems.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
