Stabilization of Finite Automata with Application to Hybrid Systems Control

• Kobayashi, Koichi

• Imura, Jun-ichi

• Hiraishi, Kunihiko

抄録

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.

identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/10789

収録刊行物

• Discrete Event Dynamic Systems

  Discrete Event Dynamic Systems 21 (4), 519-545, 2011-06-17

  Springer

キーワード

• Finite automata
• Hybrid systems
• Model predictive control
• Stabilization

詳細情報

• CRID: 1050282812515071616
• NII論文ID: 120004754583
• ISSN: 09246703
• Web Site: http://hdl.handle.net/10119/10789
• 本文言語コード: en
• 資料種別: journal article
• データソース種別:
  • IRDB
  • CiNii Articles