著者

森 耕平 久保田 雄大

出版者

一般社団法人 システム制御情報学会

雑誌

システム制御情報学会論文誌 (ISSN:13425668)

巻号頁・発行日

vol.30, no.2, pp.66-71, 2017-02-15 (Released:2017-05-15)

参考文献数

12

---

We describe a tractable numerical procedure using polynomial kernel functions to prove the nonexistence of Lyapunov functions. The algorithm terminates in polynomial time of the dimension of the state space, the number of sample states, the degree of the polynomials appear in the system,and the degree of the Lyapunov candidate polynomial functions. The algorithm is also avairable to construct Lyapunov functions with SOS techniques. We demonstrate the appearance by some simple numerical examples.