English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  A Semi-Algebraic Approach for the Computation of Lyapunov Functions

She, Z., Xia, B., & Xiao, R. (2006). A Semi-Algebraic Approach for the Computation of Lyapunov Functions. In 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE. Canada: ACTA Press.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2223-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2224-A
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
She, Zhikun1, Author           
Xia, Bican1, Author           
Xiao, Rong, Author
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: In this paper we deal with the problem of computing Lya punov functions for stability verification of differential sys tems. We concern on symbolic methods and start the dis cussion with a classical quantifier elimination model for computing Lyapunov functions in a given polynomial form, especially in quadratic forms. Then we propose a new semi-algebraic method by making advantage of the local property of the Lyapunov function as well as its deriva tive. This is done by first using real solution classifica tion to construct a semi-algebraic system and then solving this semi-algebraic system. Our semi-algebraic approach is more efficient in practice, especially for low-order systems. This efficiency will be evaluated empirically.

Details

show
hide
Language(s): eng - English
 Dates: 2007-02-172006
 Publication Status: Issued
 Pages: -
 Publishing info: Canada : ACTA Press
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 314581
Other: Local-ID: C1256104005ECAFC-D55C35F37B3A1366C125722E003F7B1B-She2006b
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: San Francisco, CA, USA
Start-/End Date: 2006-11-20

Legal Case

show

Project information

show

Source 1

show
hide
Title: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Canada : ACTA Press
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: ISBN: 0-88986-602-3