Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems

DOI10.1016/j.sysconle.2018.10.014zbMath1408.93138OpenAlexW2902957813WikidataQ128876661 ScholiaQ128876661MaRDI QIDQ1729092

Rong Su, Zeng-Qiang Chen, Xiao-Guang Han

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

zbMATH Keywords

supervisory controldiscrete event systemsstability and stabilizationBoolean semi-tensor product

Mathematics Subject Classification ID

Controllability (93B05) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Algebraic methods (93B25) Stochastic stability in control theory (93E15)

Related Items

\(k\)-memory-embedded insertion mechanism for opacity enforcement, Optimal supervisory control with mean payoff objectives and under partial observation, Matrix approach for verification of opacity of partially observed discrete event systems, Detectability verification of probabilistic Boolean networks

Cites Work

• Unnamed Item
• A framework for state attraction of discrete event systems under partial observation
• Supervisory control of discrete event systems with communication delays and partial observations
• On optimal attraction in discrete-event processes
• Formal methods for discrete-time dynamical systems
• Supervisory control of switching control systems
• A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
• Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
• State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems
• Language Stability and Stabilizability of Discrete Event Dynamical Systems
• Introduction to Discrete Event Systems
• Stabilization of discrete-event processes
• Verification and Control of Hybrid Systems
• Supervisory Control of a Class of Discrete Event Processes
• Stability and stabilizability of discrete event dynamic systems
• Optimal Supervisory Control of Discrete Event Dynamical Systems
• Language convergence in controlled discrete-event systems
• Diagnosability of discrete-event systems
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence