Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
gh-pages
branch
bl/JuMPdev2023
bl/MM
bl/SSv0.3
bl/bib
bl/bilinear
bl/block_diag
bl/blockdiag2
bl/blockfix
bl/complex_add_bridge
bl/complex_bridge
bl/complex_promotion
bl/complex
bl/dihedral_fix
bl/dihedral
bl/doc_typo
bl/dual
bl/ellipsoid
bl/extract_min
bl/extract_mini
bl/goldstein
bl/image
bl/ineq_soscone
bl/j1.9
bl/koopman
bl/min_univ
bl/moment_series
bl/monovec
bl/motzkin
bl/newt
bl/nz_drop
tag
v0.7.3
v0.7.2
v0.7.1
v0.7.0
v0.6.4
v0.6.3
v0.6.2
v0.6.1
v0.6.0
v0.5.0
v0.4.7
v0.4.6
v0.4.5
v0.4.4
v0.4.3
v0.4.2
v0.4.1
v0.4.0
v0.3.6
v0.3.5
v0.3.4
v0.3.3
v0.3.2
v0.3.1
v0.3.0
v0.2.1
v0.2.0
v0.1.1
v0.1.0
v0.0.1
SumOfSquares.jl
v0.6.2
generated
Systems and Control
Name
..
lyapunov_function_search
stabilization_of_nonlinear_systems
lyapunov_function_search.ipynb
stabilization_of_nonlinear_systems.ipynb
lyapunov_function_search.jl
stabilization_of_nonlinear_systems.jl