This paper provides a computational method to construct a Lyapunov function to prove a stability of hybrid automata that can have nonlinear vector fields. Algebraic inequalities and equations are formulated, which are solved via LMI optimization. Numerical examples are presented to illustrate the proposed method.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Izumi MASUBUCHI, Seiji YABUKI, Tokihisa TSUJI, "Computation of Lyapunov Functions for Hybrid Automata via LMIs" in IEICE TRANSACTIONS on Fundamentals,
vol. E87-A, no. 11, pp. 2937-2943, November 2004, doi: .
Abstract: This paper provides a computational method to construct a Lyapunov function to prove a stability of hybrid automata that can have nonlinear vector fields. Algebraic inequalities and equations are formulated, which are solved via LMI optimization. Numerical examples are presented to illustrate the proposed method.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e87-a_11_2937/_p
Copy
@ARTICLE{e87-a_11_2937,
author={Izumi MASUBUCHI, Seiji YABUKI, Tokihisa TSUJI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Computation of Lyapunov Functions for Hybrid Automata via LMIs},
year={2004},
volume={E87-A},
number={11},
pages={2937-2943},
abstract={This paper provides a computational method to construct a Lyapunov function to prove a stability of hybrid automata that can have nonlinear vector fields. Algebraic inequalities and equations are formulated, which are solved via LMI optimization. Numerical examples are presented to illustrate the proposed method.},
keywords={},
doi={},
ISSN={},
month={November},}
Copy
TY - JOUR
TI - Computation of Lyapunov Functions for Hybrid Automata via LMIs
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2937
EP - 2943
AU - Izumi MASUBUCHI
AU - Seiji YABUKI
AU - Tokihisa TSUJI
PY - 2004
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E87-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2004
AB - This paper provides a computational method to construct a Lyapunov function to prove a stability of hybrid automata that can have nonlinear vector fields. Algebraic inequalities and equations are formulated, which are solved via LMI optimization. Numerical examples are presented to illustrate the proposed method.
ER -