Stabilization of finite automata with application to hybrid systems control
DOI10.1007/S10626-011-0110-2zbMATH Open1235.93207OpenAlexW2062325135MaRDI QIDQ763412FDOQ763412
Authors: Koichi Kobayashi, Kunihiko Hiraishi, Jun-Ichi Imura 
Publication date: 9 March 2012
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-011-0110-2
Recommendations
- Dynamic output feedback stabilization of deterministic finite automata via the semi-tensor product of matrices approach
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices.
- On the stabilization of nondeterministic finite automata via static output feedback
- scientific article; zbMATH DE number 2050737
Cellular automata (computational aspects) (68Q80) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Stabilization of systems by feedback (93D15)
Cites Work
- Control of systems integrating logic, dynamics, and constraints
- A Lyapunov-Like Characterization of Asymptotic Controllability
- Introduction to Discrete Event Systems
- A Framework for Robust Stability of Systems Over Finite Alphabets
- Hybrid Systems: Computation and Control
- A Control Lyapunov Approach to Predictive Control of Hybrid Systems
- Stability and stabilizability of discrete event dynamic systems
- Language Stability and Stabilizability of Discrete Event Dynamical Systems
- Stabilization of discrete-event processes
- Minimalilty of Finite Automata Representation in Hybrid Systems Control
- Approximate simulation relations for hybrid systems
- Bisimilar Finite Abstractions of Interconnected Systems
Cited In (12)
- On the stabilization of nondeterministic finite automata via static output feedback
- Title not available (Why is that?)
- Input-output finite-time stabilization of a class of nonlinear hybrid systems based on FSM with MDADT
- Dynamic output feedback stabilization of deterministic finite automata via the semi-tensor product of matrices approach
- Title not available (Why is that?)
- Minimalilty of Finite Automata Representation in Hybrid Systems Control
- Stability and stabilization of a class of nonlinear impulsive hybrid systems based on FSM with MDADT
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices.
- Title not available (Why is that?)
- Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
Uses Software
This page was built for publication: Stabilization of finite automata with application to hybrid systems control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763412)
