Robust Control Synthesis and Verification for Wire-Borne Underactuated Brachiating Robots Using Sum-of-Squares Optimization. - Siavash Farzan; Ai-Ping Hu; Michael Bick; Jonathan D. Rogers (IROS, 2020)