On the construction of Lyapunov functions with computer assistance (Q515790)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the construction of Lyapunov functions with computer assistance |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8235852718353271
0 references
0.819817304611206
0 references
0.8169964551925659
0 references
0.814643144607544
0 references
0.8125307559967041
0 references
