Opacity of networked discrete event systems
From MaRDI portal
Publication:2053901
DOI10.1016/J.INS.2020.07.017zbMATH Open1475.68044OpenAlexW3043429084MaRDI QIDQ2053901FDOQ2053901
Authors: Jing Kai Yang, Weilin Deng, Cheng Jiang, Daowen Qiu 
Publication date: 30 November 2021
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2020.07.017
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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)
Cites Work
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Diagnosability of discrete-event systems
- Think globally, act locally: decentralized supervisory control
- On observability of discrete-event systems
- Modelling opacity using Petri nets
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Supervisory Control for Opacity
- Probabilistic system opacity in discrete event systems
- Enforcement of opacity by public and private insertion functions
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Synthesis of insertion functions for enforcement of opacity security properties
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Verification of Infinite-Step Opacity and Complexity Considerations
- Quantifying opacity
- Verification of initial-state opacity in security applications of discrete event systems
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Control of networked discrete event systems: dealing with communication delays and losses
- Verification of State-Based Opacity Using Petri Nets
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Decidability of opacity verification problems in labeled Petri net systems
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Current-state opacity modelling and verification in partially observed Petri nets
- Verification of opacity and diagnosability for pushdown systems
- Predictive Networked Control of Discrete Event Systems
- Synthesis of Dynamic Masks for Infinite-Step Opacity
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
- Networked opacity for finite state machine with bounded communication delays
- Modelling opacity using Petri nets
- 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
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets
- Opacity of discrete event systems and its applications
- Optimization-based assessment of initial-state opacity in Petri nets
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
Uses Software
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)
