Stabilization of Finite Automata with Application to Hybrid Systems Control

被引：0
作者：
Koichi Kobayashi
Jun-ichi Imura
Kunihiko Hiraishi
机构：
[1] Japan Advanced Institute of Science and Technology,School of Information Science
[2] Tokyo Institute of Technology,Graduate School of Information Science and Engineering
来源：
Discrete Event Dynamic Systems | 2011年 / 21卷
关键词：
Finite automata; Hybrid systems; Model predictive control; Stabilization;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper discusses the state feedback stabilization problem of a deterministic finite automaton (DFA), and its application to stabilizing model predictive control (MPC) of hybrid systems. In the modeling of a DFA, a linear state equation representation recently proposed by the authors is used. First, this representation is briefly explained. Next, after the notion of equilibrium points and stabilizability of the DFA are defined, a necessary and sufficient condition for the DFA to be stabilizable is derived. Then a characterization of all stabilizing state feedback controllers is presented. Third, a simple example is given to show how to follow the proposed procedure. Finally, control Lyapunov functions for hybrid systems are introduced based on the above results, and the MPC law is proposed. The effectiveness of this method is shown by a numerical example.
引用
收藏
页码：519 / 545
页数：26
相关论文
共 26 条
[1]  
Alur R(2000)Discrete abstraction of hybrid systems Proc IEEE 88 971-984
[2]  
Henzinger TA(2005)Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Bioinformatics 21 19-28
[3]  
Lafferriere G(1999)Control of systems integrating logic, dynamics, and constraints Automatica 35 407-427
[4]  
Pappas GJ(2008)Approximate simulation relations for hybrid systems Discrete Event Dyn Syst 18 163-179
[5]  
Batt G(1993)Language stability and stabilizability of discrete event dynamical systems SIAM J Control Optim 31 1294-1320
[6]  
Ropers D(1991)Stability and stabilizability of discrete event dynamic systems J Assoc Comput Mach 38 730-752
[7]  
de Jong H(1983)A Lyapunov-like characterization of asymptotic controllability SIAM J Control Optim 21 462-471
[8]  
Geiselmann J(2008)A framework for robust stability of systems over finite alphabets IEEE Trans Automat Contr 54 1133-1146
[9]  
Mateescul R(undefined)undefined undefined undefined undefined-undefined
[10]  
Page M(undefined)undefined undefined undefined undefined-undefined
123