Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems

Details Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems

2011-03-17

arxiv.org/abs/1103.3372v1

Mathematics

Dynamical Systems

6 pages, one algorithm

Scientific paper

The notion of Lyapunov function plays a key role in design and verification of dynamical systems, as well as hybrid and cyber-physical systems. In this paper, to analyze the asymptotic stability of a dynamical system, we generalize standard Lyapunov functions to relaxed Lyapunov functions (RLFs), by considering higher order Lie derivatives of certain functions along the system's vector field. Furthermore, we present a complete method to automatically discovering polynomial RLFs for polynomial dynamical systems (PDSs). Our method is complete in the sense that it is able to discover all polynomial RLFs by enumerating all polynomial templates for any PDS.

Affiliated with

Also associated with

No associations

Rating

Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-247824