Stability Analysis of Hybrid Automata with Set-Valued Vector Fields Using Sums of Squares. - Izumi Masubuchi; Tokihisa Tsuji (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)