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...
Main Authors: | , , , |
---|---|
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 |