State|Based Opacity Verification of Networked Discrete Event ...

State-Based Opacity Verification of Networked Discrete Event ...

The opaque property plays an important role in the operation of a security-critical system, implying that pre-defined secret information of ...

Current-state opacity verification in discrete event systems using an ...

In, Yang et al. propose new types of opacity in networked DESs that are modeled as finite state automata (FSA) by taking into account the ...

Opacity of networked discrete event systems - ScienceDirect.com

Two verification algorithms of ISO, based on two complicated structures of the initial-state estimator and the verifier, respectively, were ...

State-Based Opacity Verification of Networked Dis - IEEE Xplore

However, in networked discrete event systems (NDESs), the intruder obtains the behavior of a system through a shared communication network, where the ...

Strong Current-State Opacity Verification of Discrete-Event Systems ...

Strong Current-State Opacity Verification of Discrete-Event Systems Modeled With Time Labeled Petri Nets. doi: 10.1109/JAS.2024.124560. Tao Qin ...

Verification of Current-State Opacity in Discrete Event Systems by ...

A new type of basis coverability graph is proposed. The work by Lefaucheux et al. in [27] is extended to propose a new BCG based on the ...

Current-state opacity verification in discrete event systems using an ...

Due to the proliferation of contemporary computer-integrated systems and communication networks, there is more concern than ever regarding ...

Discrete Event Systems: Opacity and Its Enforcement

We discuss various notions of opacity and their verification in the context of discrete event systems modeled by automata or transition systems.

Opacity of networked discrete event systems | Request PDF

For continuous state-space CPSs, the opacity verification can be performed by abstraction-based techniques in which continuous-space models are approximated by ...

Infinite- and K-Step Opacity Verification of Discrete-Event Systems ...

To effectively verify them, a matrix-based current state estimator in the context of this advanced framework is constructed using the ...

Comparing the Notions of Opacity for Discrete-Event Systems

... based opacity and initial-state opacity. We extend these results by ... Verification and Control of Networked Discrete Event Systems. Tomáš Masopust ...

Opacity of Networked Discrete Event Systems - ACM Digital Library

A. Saboori and C. N. Hadjicostis, “Verification of initial-state opacity in security applications of discrete event systems,” Information ...

Verification and Control of Networked Discrete Event Systems

The aim is to extend current diagnosis, verification, and supervisory control approaches for modular discrete-event systems to networked discrete-event ...

Verification of initial-state opacity in security applications of discrete ...

In this paper, we formulate and analyze methodologies for verifying the notion of initial-state opacity in discrete event systems that are modeled as ...

Verification of Current-State Opacity in Discrete Event Systems by ...

Tong, Verification of state-based opacity using Petri nets, IEEE Trans. ... Lin, State estimation of multichannel networked discrete event systems, IEEE Trans.

Resources | IEEE Control Systems Society

... discrete event systems modeled as finite-state ... VEiP is a Java based toolbox for verification and enforcement of opacity properties formulated in Discrete ...

Verification of current-state opacity in discrete event systems by ...

A new approach to the verification of current-state opacity for discrete event systems is proposed in this paper, which is modeled with unbounded Petri nets ...

Control of Networked Discrete Event Systems: Dealing with ...

State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets. IEEE/CAA Journal of Automatica Sinica, Vol. 11, No. 5 | 1 May ...

Verification and Enforcement of State-Based Notions of Opacity in ...

ABSTRACT Motivated by security and privacy considerations in applications of discrete event systems, we describe and analyze the complexity ...

Opacity Of Discrete Event Systems: Analysis And Control

... verify security and privacy properties using opacity problem is to ... Wayne State University Dissertations. 830. https://digitalcommons.wayne.edu ...