{"id":"arxiv/2606.28627","url":"https://arxiv.org/abs/2606.28627","tags":["eess.SY","cs.RO","math.OC"],"score":0,"title":"Reachability Guarantees for Cart-Pole Swing-Up and Stabilization","domain":"eess.SY","source":"arxiv","authors":["Mohamed Khalid M Jaffar"],"reviews":0,"subject":"eess.SY","summary":"The cart-pole swing-up is a canonical benchmark for nonlinear control of underactuated systems, yet an end-to-end guarantee linking the global swing-up maneuver to the local stabilizer is seldom formalized. We present a reachability analysis of a switched energy-based/LQR controller that certifies convergence to the upright equilibrium from a compact set of initial conditions. The swing-up design exploits the phase-space geometry of the conservative pendulum: the upright equilibrium lies on the homoclinic orbit, and an energy-shaping law drives the energy error to zero, steering the pendulum…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-06-26","reactions":{}}