Stabilization of finite automata with application to hybrid systems control

DOI10.1007/s10626-011-0110-2zbMath1235.93207OpenAlexW2062325135MaRDI QIDQ763412

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

stabilizationhybrid systemsfinite automatamodel predictive control

Mathematics Subject Classification ID

Stabilization of systems by feedback (93D15) Cellular automata (computational aspects) (68Q80) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (6)

A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Controllability, reachability, and stabilizability of finite automata: a controllability matrix method ⋮ Stability and stabilization of a class of nonlinear impulsive hybrid systems based on FSM with MDADT ⋮ Input-output finite-time stabilization of a class of nonlinear hybrid systems based on FSM with MDADT ⋮ On the stabilization of nondeterministic finite automata via static output feedback ⋮ Stabilization of probabilistic finite automata based on semi-tensor product of matrices

Uses Software

• MATISSE
• UMDES

Cites Work

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

This page was built for publication: Stabilization of finite automata with application to hybrid systems control