caa a22 4500 445822775 CHVBK 20180317145249.0 cr unu---uuuuu 170323e20111201xx s 000 0 eng 10.1007/s10626-011-0110-2 doi (NATIONALLICENCE)springer-10.1007/s10626-011-0110-2 Stabilization of Finite Automata with Application to Hybrid Systems Control [Elektronische Daten] [Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi] 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. Springer Science+Business Media, LLC, 2011 Finite automata nationallicence Hybrid systems nationallicence Model predictive control nationallicence Stabilization nationallicence Kobayashi Koichi School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, 923-1292, Ishikawa, Japan aut Imura Jun-ichi Graduate School of Information Science and Engineering, Tokyo Institute of Technology, Oh-okayama, 152-8552, Tokyo, Japan aut Hiraishi Kunihiko School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, 923-1292, Ishikawa, Japan aut Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/4(2011-12-01), 519-545 0924-6703 21:4<519 2011 21 10626 https://doi.org/10.1007/s10626-011-0110-2 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10626-011-0110-2 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Kobayashi Koichi School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, 923-1292, Ishikawa, Japan aut NATIONALLICENCE 700 1- Imura Jun-ichi Graduate School of Information Science and Engineering, Tokyo Institute of Technology, Oh-okayama, 152-8552, Tokyo, Japan aut NATIONALLICENCE 700 1- Hiraishi Kunihiko School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, 923-1292, Ishikawa, Japan aut NATIONALLICENCE 773 0- Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/4(2011-12-01), 519-545 0924-6703 21:4<519 2011 21 10626 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer