Local Stability Analysis of Saturating Systems via Polynomial Programming. - Toshiharu Sugie; Katsuki Ueda (CDC/ECC, 2005)