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

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

Current-state opacity claims that, for every secret state reachable from the initial state by firing a transition sequence, a non-secret state ...

Verification of Current-state Opacity for Discrete Event Systems ...

This research analyzes current-state-based opacity in discrete event systems, which is a type of state-based opacity verification. We consider an unbounded ...

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

In this work, we investigated the problem of verifying current-state opacity in discrete event systems using labeled Petri nets. A system is ...

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 ...

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

This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems ...

(PDF) Current-state opacity verification in discrete event systems ...

The observer net have the same structure as the plant, but it is distinguished by the use of colored markers as well as simultaneous and ...

Current-State Opacity Verification in Modular Discrete Event Systems

We assume that the system is composed by several components that are modeled by deterministic finite automata and there is one intruder. The notion of current- ...

On Opacity Verification for Discrete-Event Systems - ScienceDirect

Verification of opacity for discrete-event systems modeled by automata is in general a hard problem. We discuss the question whether there are structural ...

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 ...

Verification and enforcement of current-state opacity based on a ...

In fact, there exist considerable works about corresponding analysis in the context of discrete event systems (DESs), including safety [17], detectability [8], ...

On Opacity Verification for Discrete-Event Systems

Then we show that deciding current-state opacity for deterministic finite-state systems with only three events, one of which is unobservable, is PSPACE-complete ...

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

State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets ... current-state and initial-state opacity ...

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.

Verification and Enforcement of Strong State-Based Opacity for ...

In this paper, we investigate the verification and enforcement of strong state-based opacity (SBO) in discrete-event systems modeled as partially-observed ( ...

Symbolic Verification of Current-State Opacity of Discrete Event ...

Request PDF | Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets | Given a discrete event system, it is said to be ...

[PDF] On Opacity Verification for Discrete-Event Systems

This research mitigates the quantitative current-state opacity problem with resource constraints in the framework of discrete event systems which is ...

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

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

Current-State Opacity Verification in Modular Discrete Event Systems

The notion of current-state opacity in modular systems is defined. Rather than constructing the modular system through parallel composition and ...

Local Opacity Verification for Distributed Discrete Event Systems

This paper studies current-state opacity and initial-state opacity verification of distributed discrete event systems. The distributed system's ...

[PDF] K-Step Opacity in Discrete Event Systems - Semantic Scholar

... opacity have been studied, including current-state opacity, K-step opacity, and infinite-step opacity. We study K-step opacity that generalizes both current- ...