Opacity of networked discrete event systems
From MaRDI portal
Publication:2053901
Recommendations
- Comparing the notions of opacity for discrete-event systems
- Opacity of discrete event systems and its applications
- Strong current-state and initial-state opacity of discrete-event systems
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- Matrix approach for verification of opacity of partially observed discrete event systems
Cites work
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- A general approach for optimizing dynamic sensor activation for discrete event systems
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Control of networked discrete event systems: dealing with communication delays and losses
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Current-state opacity modelling and verification in partially observed Petri nets
- Decidability of opacity verification problems in labeled Petri net systems
- Diagnosability of discrete-event systems
- Enforcement of opacity by public and private insertion functions
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- Introduction to Discrete Event Systems
- Modelling opacity using Petri nets
- On observability of discrete-event systems
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Predictive Networked Control of Discrete Event Systems
- Probabilistic system opacity in discrete event systems
- Quantifying opacity
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Supervisory Control for Opacity
- Supervisory Control of a Class of Discrete Event Processes
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- Synthesis of insertion functions for enforcement of opacity security properties
- Think globally, act locally: decentralized supervisory control
- Verification of Infinite-Step Opacity and Complexity Considerations
- Verification of State-Based Opacity Using Petri Nets
- Verification of initial-state opacity in security applications of discrete event systems
- Verification of opacity and diagnosability for pushdown systems
Cited in
(19)- Comparing the notions of opacity for discrete-event systems
- Opacity of discrete-event systems under nondeterministic observation mechanism
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations
- Modelling opacity using Petri nets
- Networked opacity for finite state machine with bounded communication delays
- Non-interference assessment in colored net systems via integer linear programming
- Current-state opacity and initial-state opacity of modular discrete event systems
- A general language-based framework for specifying and verifying notions of opacity
- Verification of approximate opacity for switched systems: a compositional approach
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Enhancement of opacity for distributed state estimation in cyber-physical systems
- Probabilistic system opacity in discrete event systems
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Active opacity of discrete-event systems
- Information control in networked discrete event systems and its application to battery management systems
- Opacity of discrete event systems and its applications
- Optimization-based assessment of initial-state opacity in Petri nets
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
This page was built for publication: Opacity of networked discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2053901)
