Semi-global output feedback stabilization for the nonlinear benchmark example

In this paper we prove that the nonlinear benchmark RTAC example is semi-globally stabilizable using output feedback when the angle of the proof mass and/or the translational position of the cart are considered as the output. The proposed result complements previous work which requires exact knowledge of the translational and/or angular velocities but achieves global stabilization.