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

DOI10.1016/J.SYSCONLE.2018.10.014zbMATHOpenAlexWikidataMaRDI QIDQ1729092FDO

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

zbMATH Keywords

discrete event systemssupervisory controlstability and stabilizationBoolean semi-tensor product

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 409884
• scientific article; zbMATH DE number 5811833
• 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

Cites work

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

Cited in

(9)

• Matrix approach for verification of opacity of partially observed discrete event systems
• scientific article; zbMATH DE number 6936842 (Why is no real title available?)
• Opacity of discrete-event systems under nondeterministic observation mechanism
• Detectability verification of probabilistic Boolean networks
• Optimal supervisory control with mean payoff objectives and under partial observation
• \(k\)-memory-embedded insertion mechanism for opacity enforcement
• Matrix approach to I-detectability of partially observed discrete event systems
• Zero-determinant strategies of multi-player multi-action repeated games with multiple memories
• Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations

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)