A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
From MaRDI portal
Publication:2980448
DOI10.1109/TAC.2015.2484359zbMath1359.93295MaRDI 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
93C65: Discrete event control/observation systems
Related Items
Matrix approach for verification of opacity of partially observed discrete event systems, Enforcing opacity by insertion functions under multiple energy constraints, \(k\)-memory-embedded insertion mechanism for opacity enforcement, A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata, Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems, Trajectory detectability of discrete-event systems, Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic 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, Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems, 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, Enforcement for infinite-step opacity and K-step opacity via insertion mechanism, Supervisory control of state-tree structures with partial observation, Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions, A general approach for optimizing dynamic sensor activation for discrete event systems, 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, Supervisor localization of discrete-event systems under partial observation, Optimal supervisory control with mean payoff objectives and under partial observation, 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, I-S detectability of partially-observed discrete event systems: a novel matrix-based method