Stability Analysis of Hybrid Automata with Set-Valued Vector Fields Using Sums of Squares
Izumi Masubuchi, T. TSUJI · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2006
Stability analysis is one of the most important problems in analysis of hybrid dynamical systems.In this paper, a computational method of Lyapunov functions is proposed for stability analysis of hybrid automata that have set-valued vector fields.For this purpose, a formulation of matrix-valued sums of squares is provided and applied to derive an LMI/LME problem whose solution yields a Lyapunov function.