Opacity of networked discrete event systems
From MaRDI portal
Publication:2053901
DOI10.1016/j.ins.2020.07.017zbMath1475.68044OpenAlexW3043429084MaRDI QIDQ2053901
Jingkai Yang, Weilin Deng, Cheng Jiang, Dao Wen 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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)
Related Items (2)
Current-state opacity and initial-state opacity of modular discrete event systems ⋮ Non-interference assessment in colored net systems via integer linear programming
Uses Software
Cites Work
- Unnamed Item
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Synthesis of insertion functions for enforcement of opacity security properties
- Verification of initial-state opacity in security applications of discrete event systems
- On observability of discrete-event 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
- Probabilistic system opacity in discrete event systems
- Enforcement of opacity by public and private insertion functions
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Current-state opacity modelling and verification in partially observed Petri nets
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Verification of opacity and diagnosability for pushdown systems
- Decidability of opacity verification problems in labeled Petri net systems
- 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
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Think globally, act locally: decentralized supervisory control
- Predictive Networked Control of Discrete Event Systems
- Diagnosability of discrete-event systems
- Supervisory Control for Opacity
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Verification of State-Based Opacity Using Petri Nets
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Verification of Infinite-Step Opacity and Complexity Considerations
- Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
- Quantifying opacity
This page was built for publication: Opacity of networked discrete event systems
