A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata

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

zbMATH Keywords

stabilityfinite-state automataoptimal stabilizing controller synthesis

Mathematics Subject Classification ID

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

• MATISSE

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