A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
From MaRDI portal
Publication:2980448
DOI10.1109/TAC.2015.2484359zbMath1359.93295OpenAlexW2497816991MaRDI QIDQ2980448
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
Related Items (31)
Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ \(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Optimal supervisory control with mean payoff objectives and under partial observation ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Supervisor localization of discrete-event systems under partial observation ⋮ Matrix approach for verification of opacity of partially observed discrete event systems ⋮ I-S detectability of partially-observed discrete event systems: a novel matrix-based method ⋮ Enforcing opacity by insertion functions under multiple energy constraints ⋮ Supervisory control of state-tree structures with partial observation ⋮ Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Trajectory detectability of discrete-event systems ⋮ Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems ⋮ Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems ⋮ A general approach for optimizing dynamic sensor activation for discrete event systems ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ Characterizations and effective computation of supremal relatively observable sublanguages ⋮ Enforcement of opacity by public and private insertion functions ⋮ Opacity of networked discrete event systems ⋮ Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers ⋮ Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures ⋮ Dealing with sensor and actuator deception attacks in supervisory control ⋮ Using subobservers to synthesize opacity-enforcing supervisors
This page was built for publication: A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
