A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
From MaRDI portal
Publication:2980448
DOI10.1109/TAC.2015.2484359zbMATH Open1359.93295OpenAlexW2497816991MaRDI QIDQ2980448FDOQ2980448
Authors: Xiang Yin, Stéphane Lafortune 
Publication date: 3 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2015.2484359
Cited In (37)
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
- Enforcing opacity by insertion functions under multiple energy constraints
- Matrix approach for verification of opacity of partially observed discrete event systems
- Dealing with sensor and actuator deception attacks in supervisory control
- Using subobservers to synthesize opacity-enforcing supervisors
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- Opacity of networked discrete event systems
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- Characterizations and effective computation of supremal relatively observable sublanguages
- Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Trajectory detectability of discrete-event systems
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Supervisory control of state-tree structures with partial observation
- An improved approach for verifying delayed detectability of discrete-event systems
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Performance safety enforcement in stochastic event graphs against boost and slow attacks
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Optimal supervisory control with mean payoff objectives and under partial observation
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Enforcing current-state opacity through shuffle and deletions of event observations
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
- Enforcement of opacity by public and private insertion functions
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method
- Supervisor localization of discrete-event systems under partial observation
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Sensor deception attacks against security in supervisory control systems
- Optimal supervisory control of discrete event systems for cyclic tasks
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
This page was built for publication: A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980448)
