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

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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11386/4806699
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact