Abstract
A program package is developed for stability analysis of hybrid dynamical systems by computing Lyapunov functions based on SOS. Unlike existing tools, our package can treat vector fields that contain trigonometric polynomials. Lyapunov functions are automatically generated so that they satisfy conditions for each mode and each mode-transition.