On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum

Abstract

By the use of interval methods it is proven that there exists an unstable periodic solution to the damped and periodically forced pendulum around the upper equilibrium. It is also proved that this solution can be stabilized by a control which does not need the knowledge of values of the state variables but of the unstable periodic solution.