JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/10789

Title: Stabilization of Finite Automata with Application to Hybrid Systems Control
Authors: Kobayashi, Koichi
Imura, Jun-ichi
Hiraishi, Kunihiko
Keywords: Finite automata
Hybrid systems
Model predictive control
Issue Date: 2011-06-17
Publisher: Springer
Magazine name: Discrete Event Dynamic Systems
Volume: 21
Number: 4
Start page: 519
End page: 545
DOI: 10.1007/s10626-011-0110-2
Abstract: 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.
Rights: This is the author-created version of Springer, Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi, Discrete Event Dynamic Systems, 21(4), 2011, 519-545. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/s10626-011-0110-2
URI: http://hdl.handle.net/10119/10789
Material Type: author
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
17207.pdf275KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology