Pages that link to "Item:Q3449033"

The following pages link to Computation and Verification of Lyapunov Functions (Q3449033):

Displaying 16 items.

• Computing continuous and piecewise affine Lyapunov functions for nonlinear systems (Q317182) (← links)
• On the construction of Lyapunov functions with computer assistance (Q515790) (← links)
• Computation and verification of contraction metrics for periodic orbits (Q2041725) (← links)
• System specific triangulations for the construction of CPA Lyapunov functions (Q2056177) (← links)
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
• Approximation of Lyapunov functions from noisy data (Q2192453) (← links)
• Computation and verification of contraction metrics for exponentially stable equilibria (Q2226305) (← links)
• Simplicial complex with approximate rotational symmetry: a general class of simplicial complexes (Q2315942) (← links)
• Numerical approximation of the data-rate limit for state estimation under communication constraints (Q2633355) (← links)
• Low-rank kernel approximation of Lyapunov functions using neural networks (Q2696116) (← links)
• Kernel-Based Discretization for Solving Matrix-Valued PDEs (Q4560172) (← links)
• Conley's Fundamental Theorem for a Class of Hybrid Systems (Q5004524) (← links)
• Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions (Q5109376) (← links)
• A Lie transform approach to the construction of Lyapunov functions in autonomous and non-autonomous systems (Q5193187) (← links)
• Computation of a Contraction Metric for a Periodic Orbit Using Meshfree Collocation (Q5238244) (← links)
• Contraction metric computation using numerical integration and quadrature (Q6489386) (← links)