Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
DOI10.1016/J.SYSCONLE.2018.10.014zbMATH Open1408.93138OpenAlexW2902957813WikidataQ128876661 ScholiaQ128876661MaRDI QIDQ1729092FDOQ1729092
Authors: Rong Su, Xiaoguang Han, Zengqiang Chen 
Publication date: 27 February 2019
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.sysconle.2018.10.014
Recommendations
- scientific article; zbMATH DE number 409884
- scientific article
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- scientific article; zbMATH DE number 1086786
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
Formal languages and automata (68Q45) Controllability (93B05) Synthesis problems (93B50) Discrete event control/observation systems (93C65) Stochastic stability in control theory (93E15) Algebraic methods (93B25)
Cites Work
- Verification and Control of Hybrid Systems
- An introduction to semi-tensor product of matrices and its applications
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Diagnosability of discrete-event systems
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- On optimal attraction in discrete-event processes
- Optimal Supervisory Control of Discrete Event Dynamical Systems
- Stability and stabilizability of discrete event dynamic systems
- Supervisory control of discrete event systems with communication delays and partial observations
- Language Stability and Stabilizability of Discrete Event Dynamical Systems
- Stabilization of discrete-event processes
- Language convergence in controlled discrete-event systems
- A framework for state attraction of discrete event systems under partial observation
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Formal methods for discrete-time dynamical systems
- Supervisory control of switching control systems
- State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems
- Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Cited In (9)
- Matrix approach for verification of opacity of partially observed discrete event systems
- Matrix approach to I-detectability of partially observed discrete event systems
- Opacity of discrete-event systems under nondeterministic observation mechanism
- Title not available (Why is that?)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Detectability verification of probabilistic Boolean networks
- Optimal supervisory control with mean payoff objectives and under partial observation
- Zero-determinant strategies of multi-player multi-action repeated games with multiple memories
This page was built for publication: Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1729092)
