Yipu Chen
Papers
2
Total Citations
20
H-Index
2
About
Yipu Chen is pioneering the intersection of formal logic and legged robotics, with a core focus on bipedal locomotion, model predictive control (MPC), and signal temporal logic (STL). Their groundbreaking work introduces the first-ever application of STL-guided trajectory optimization for bipedal robots, fundamentally rethinking how machines maintain stability under external disturbances. In their highly cited 2024 paper, “Walking-by-Logic,” Chen developed a novel planning framework that embeds STL specifications directly into an MPC formulation, providing both task completion guarantees and real-time robustness quantification. This approach was further refined in their 2025 follow-up, “Robust-Locomotion-By-Logic,” which specifically targets perturbation-resilient walking. With over 20 combined citations in just two years, Chen’s contributions are rapidly shaping the field of resilient locomotion. Their work is particularly notable for bridging the gap between formal verification methods and practical control systems, offering a principled way to ensure that bipedal robots can reliably navigate unpredictable environments. For students and researchers, Chen’s research represents a compelling fusion of theoretical rigor and applied robotics, opening new pathways for safer, more dependable humanoid and assistive robots.
Research Focus
Key Achievements
Top Papers
- 1
- 2