Offline-Certified Robust Block Backstepping for Perturbed Underactuated Mechanical Systems
This paper develops certifiable enhancements to a block-backstepping controller for n-DOF underactuated mechanical systems in the Spong normal form. Two offline-computable tests, each reducible to a finite algebraic computation over a prescribed compact domain, are established: a minimum singular-value margin certifyin...