Pages that link to "Item:Q3449033"

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

Displaying 3 items.

• Computing continuous and piecewise affine Lyapunov functions for nonlinear systems (Q317182) (← links)
• On the construction of Lyapunov functions with computer assistance (Q515790) (← links)
• Contraction metric computation using numerical integration and quadrature (Q6489386) (← links)