Opacity of discrete-event systems under nondeterministic observation mechanism

Cites Work

Title not available (Why is that?)
Comparative analysis of related notions of opacity in centralized and coordinated architectures
Verification of initial-state opacity in security applications of discrete event systems
Opacity of discrete event systems and its applications
Enforcement and validation (at runtime) of various notions of opacity
Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
A framework for current-state opacity under dynamic information release mechanism
Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
Strong current-state and initial-state opacity of discrete-event systems
Modelling opacity using Petri nets
Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Introduction to Discrete Event Systems
Synthesis of Dynamic Masks for Infinite-Step Opacity
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
Verification of State-Based Opacity Using Petri Nets
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Verification of Infinite-Step Opacity and Complexity Considerations
Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
State Estimation for Stochastic Time-Varying Boolean Networks
Matrix approach for verification of opacity of partially observed discrete event systems
Enforcing opacity by insertion functions under multiple energy constraints
Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices

This page was built for publication: Opacity of discrete-event systems under nondeterministic observation mechanism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6580966)