On the construction of Lyapunov functions with computer assistance (Q515790)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the construction of Lyapunov functions with computer assistance |
scientific article |
Statements
On the construction of Lyapunov functions with computer assistance (English)
0 references
16 March 2017
0 references
The authors establish systematic procedures for constructing Lyapunov functions around fixed points for both continuous and discrete dynamical systems in given domains with computer assistance. To demonstrate the applicability of the procedures they present several examples of Lyapunov functions constructed with computer assistance. Numerical examples were given for Poincaré maps.
0 references
Lyapunov functions
0 references
computer assisted proof and construction
0 references
Poincaré maps
0 references
and stability
0 references
0 references
0 references
