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

Saved in:
Bibliographic Details
Main Authors: Zhenyi Ji, Wenyuan Wu, Yong Feng, Guofeng Zhang
Format: Article
Language:English
Published: Wiley 2013-01-01
Series:Journal of Applied Mathematics
Online Access:http://dx.doi.org/10.1155/2013/859578
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1849413833230123008
author Zhenyi Ji
Wenyuan Wu
Yong Feng
Guofeng Zhang
author_facet Zhenyi Ji
Wenyuan Wu
Yong Feng
Guofeng Zhang
author_sort Zhenyi Ji
collection DOAJ
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.
format Article
id doaj-art-7024d00d246c495182fe5d7cbe64b3e7
institution Kabale University
issn 1110-757X
1687-0042
language English
publishDate 2013-01-01
publisher Wiley
record_format Article
series Journal of Applied Mathematics
spelling doaj-art-7024d00d246c495182fe5d7cbe64b3e72025-08-20T03:34:01ZengWileyJournal 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
spellingShingle Zhenyi Ji
Wenyuan Wu
Yong Feng
Guofeng Zhang
Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
Journal of Applied Mathematics
title 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_short Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
title_sort constructing the lyapunov function through solving positive dimensional polynomial system
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