Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System

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...

Full description

Bibliographic Details
Main Authors: Zhenyi Ji, Wenyuan Wu, Yong Feng, Guofeng Zhang
Format: Article
Language:English
Published: Hindawi Limited 2013-01-01
Series:Journal of Applied Mathematics
Online Access:http://dx.doi.org/10.1155/2013/859578
id doaj-7024d00d246c495182fe5d7cbe64b3e7
record_format Article
spelling doaj-7024d00d246c495182fe5d7cbe64b3e72020-11-24T23:19:36ZengHindawi LimitedJournal of Applied Mathematics1110-757X1687-00422013-01-01201310.1155/2013/859578859578Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial SystemZhenyi Ji0Wenyuan Wu1Yong Feng2Guofeng Zhang3Laboratory of Computer Reasoning and Trustworthy Computation, School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, ChinaLaboratory of Automated Reasoning and Cognition, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Science, Chongqing 401120, ChinaLaboratory of Automated Reasoning and Cognition, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Science, Chongqing 401120, ChinaL.A.S Department of ChengDu College, University of Electronic Science and Technology of China, Chengdu 611731, ChinaWe 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.http://dx.doi.org/10.1155/2013/859578
collection DOAJ
language English
format Article
sources DOAJ
author Zhenyi Ji
Wenyuan Wu
Yong Feng
Guofeng Zhang
spellingShingle Zhenyi Ji
Wenyuan Wu
Yong Feng
Guofeng Zhang
Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
Journal of Applied Mathematics
author_facet Zhenyi Ji
Wenyuan Wu
Yong Feng
Guofeng Zhang
author_sort Zhenyi Ji
title Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
title_short Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
title_full Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
title_fullStr Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
title_full_unstemmed Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
title_sort constructing the lyapunov function through solving positive dimensional polynomial system
publisher Hindawi Limited
series Journal of Applied Mathematics
issn 1110-757X
1687-0042
publishDate 2013-01-01
description 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.
url http://dx.doi.org/10.1155/2013/859578
work_keys_str_mv AT zhenyiji constructingthelyapunovfunctionthroughsolvingpositivedimensionalpolynomialsystem
AT wenyuanwu constructingthelyapunovfunctionthroughsolvingpositivedimensionalpolynomialsystem
AT yongfeng constructingthelyapunovfunctionthroughsolvingpositivedimensionalpolynomialsystem
AT guofengzhang constructingthelyapunovfunctionthroughsolvingpositivedimensionalpolynomialsystem
_version_ 1725578057030303744