Stabilization of finite automata with application to hybrid systems control

DOI10.1007/S10626-011-0110-2MaRDI QIDQ763412zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

hybrid systemsmodel predictive controlstabilizationfinite automata

Mathematics Subject Classification ID

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)

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

Cites work

• A Control Lyapunov Approach to Predictive Control of Hybrid Systems
• A Framework for Robust Stability of Systems Over Finite Alphabets
• A Lyapunov-Like Characterization of Asymptotic Controllability
• Approximate simulation relations for hybrid systems
• Bisimilar Finite Abstractions of Interconnected Systems
• Control of systems integrating logic, dynamics, and constraints
• Hybrid Systems: Computation and Control
• Introduction to Discrete Event Systems
• Language Stability and Stabilizability of Discrete Event Dynamical Systems
• Minimalilty of Finite Automata Representation in Hybrid Systems Control
• Stability and stabilizability of discrete event dynamic systems
• Stabilization of discrete-event processes

Cited in

(12)

• On the stabilization of nondeterministic finite automata via static output feedback
• scientific article; zbMATH DE number 5925258 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 2050737 (Why is no real title available?)
• Stability and stabilization of a class of nonlinear impulsive hybrid systems based on FSM with MDADT
• Minimalilty of Finite Automata Representation in Hybrid Systems Control
• 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.
• scientific article; zbMATH DE number 1444354 (Why is no real title available?)
• Controllability, reachability, and stabilizability of finite automata: a controllability matrix method

Describes a project that uses

Uses Software

• UMDES
• MATISSE

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)