A study of the double pendulum using polynomial optimization

Jeremy P Parker, David Goluskin, Geoffrey M Vasil

In dynamical systems governed by differential equations, a guarantee that trajectories emanating from a given set of initial conditions do not enter another given set can be obtain…