An Encompassing Formalization of Robust Computed Torque Schemes of Robot Systems | IEEE Conference Publication | IEEE Xplore