A study of the double pendulum using polynomial optimization
From MaRDI portal
Publication:6557701
Cites work
- scientific article; zbMATH DE number 1489799 (Why is no real title available?)
- scientific article; zbMATH DE number 1489808 (Why is no real title available?)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A numerical analysis of chaos in the double pendulum
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Advances in computational Lyapunov analysis using sum-of-squares programming
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
- Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
- Bounding extrema over global attractors using polynomial optimisation
- Bounding extreme events in nonlinear dynamics using convex optimization
- Bounding stationary averages of polynomial diffusions via semidefinite programming
- Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
- Bounds on mean energy in the Kuramoto–Sivashinsky equation computed using semidefinite programming
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- Convex Computation of the Region of Attraction of Polynomial Control Systems
- Finding extremal periodic orbits with polynomial optimization, with application to a nine-mode model of shear flow
- Global optimization with polynomials and the problem of moments
- Heat transport bounds for a truncated model of Rayleigh-Bénard convection via polynomial optimization
- Polynomial optimization, sums of squares, and applications
- Polynomial sum of squares in fluid dynamics: a review with a look ahead
- Safety verification for distributed parameter systems using barrier functionals
Cited in
(2)
This page was built for publication: A study of the double pendulum using polynomial optimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6557701)