1-1hit |
Izumi MASUBUCHI Seiji YABUKI Tokihisa TSUJI
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.