34 citations · 77 across the 14 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.RO2018★ 3 cited
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments
Ye Zhao, Yinan Li, Luis Sentis +2
Contact-based decision and planning methods are becoming increasingly important to endow higher levels of autonomy for legged robots. Formal synthesis methods derived from symbolic…
math.OC2018★ 17 cited
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems with Reach-and-Stay Specifications
Yinan Li, Jun Liu
This paper proposes a finitely terminating algorithm to solve reach-and-stay control problems for nonlinear systems. The algorithm is guaranteed to return a control strategy if the…