A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
From MaRDI portal
Publication:1622234
DOI10.1016/j.jfranklin.2018.09.009zbMath1402.93205OpenAlexW2893826376WikidataQ129195922 ScholiaQ129195922MaRDI QIDQ1622234
Zeng-Qiang Chen, Xiao-Guang Han
Publication date: 19 November 2018
Published in: Journal of the Franklin Institute (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jfranklin.2018.09.009
Stabilization of systems by feedback (93D15) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Synthesis problems (93B50)
Related Items
Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines ⋮ Event-triggered mechanism of designing set stabilization state feedback controller for switched Boolean networks ⋮ I-S detectability of partially-observed discrete event systems: a novel matrix-based method ⋮ Finite-time pinning stabilization of Markovian jump Boolean networks ⋮ Stability and stabilization of evolutionary games with time delays via matrix method ⋮ Language acceptability of finite automata based on theory of semi‐tensor product of matrices ⋮ Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines ⋮ Matrix approach to detectability of discrete event systems ⋮ Stabilization of probabilistic finite automata based on semi-tensor product of matrices
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Anti-synchronization of two coupled Boolean networks
- A framework for state attraction of discrete event systems under partial observation
- Stability and stabilization of a class of finite evolutionary games
- Stabilization of finite automata with application to hybrid systems control
- Approximate simulation relations for hybrid systems
- On optimal attraction in discrete-event processes
- Formal methods for discrete-time dynamical systems
- A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- 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
- A novel matrix approach to observability analysis of finite automata
- Language convergence in controlled discrete-event systems
- Diagnosability of discrete-event systems
- Matrix Approach to Model Matching of Asynchronous Sequential Machines
This page was built for publication: A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata