中文版 | English
CSpace  > 自动推理与认知研究中心
Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
Ji, Zhenyi1,2; Wu, Wenyuan2; Feng, Yong2; Zhang, Guofeng3
2013
摘要We propose an approach for constructing Lyapunov function in quadratic form of a differential system. First, positive polynomial system is obtained via the local property of the Lyapunov function as well as its derivative. Then, the positive polynomial system is converted into an equation system by adding some variables. Finally, numerical technique is applied to solve the equation system. Some experiments show the efficiency of our new algorithm.
DOI10.1155/2013/859578
发表期刊JOURNAL OF APPLIED MATHEMATICS
ISSN1110-757X
页码5
通讯作者Ji, ZY (reprint author), Univ Elect Sci & Technol China, Lab Comp Reasoning & Trustworthy Computat, Sch Comp Sci & Engn, Chengdu 611731, Peoples R China.
收录类别SCI
WOS记录号WOS:000328975000001
语种英语