Abstract
This paper considers the local stability analysis of feedback systemswith input saturation. First, we derive a local stability condition with the aid of S-Procedure of polynomial with higher degrees of freedom. Then, we obtain a Lyapunov function using Sum of Squares decomposition. Finally we demonstrate its effectiveness through numerical examples.