Tube-Certified Trajectory Tracking for Nonlinear Systems With Robust Control Contraction Metrics | IEEE Journals & Magazine | IEEE Xplore