Fetching the paper…
Reading the bibliography…
This study introduces a robust planning framework that utilizes a model predictive control (MPC) approach, enhanced by incorporating signal temporal logic (STL) specifications.
Z. Gu, N. Boyd, and Y. Zhao, “Reactive locomotion decision-making and robust motion planning for real-time perturbation recovery,” in International Conference on Robotics and Automation , 2022, pp. 1896–1902
1902
Earlier work this paper cites.
W. M. Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry , 2nd ed. Academic Press, 1986, vol. 120, eBook ISBN: 9780080874395
1986
Earlier work this paper cites.
E. V. Lewis, Principles of Naval Architecture (version 2nd revision.) . Society of Naval Architects and Marine Engineers, Nov. 1989, vol. 3
1989
Earlier work this paper cites.
S. Kajita and K. Tani, “Study of dynamic biped locomotion on rugged terrain-derivation and application of the linear inverted pendulum mode,” in Proceedings. 1991 IEEE International Conference on Robotics and Automation , 1991, pp. 1405–1411 vol.2
1991
Earlier work this paper cites.
M.-Y. Cheng and C.-S. Lin, “Measurement of robustness for biped locomotion using linearized poincare’ map,” in IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century , vol. 2, 1995, pp. 1321–1326 vol.2
1995
Earlier work this paper cites.
J. E. Pratt, “Exploiting inherent robustness and natural dynamics in the control of bipedal walking robots,” Ph.D. dissertation, MIT, 2000
2000
Earlier work this paper cites.
S. Kajita, F. Kanehiro, K. Kaneko, K. Yokoi, and H. Hirukawa, “The 3d linear inverted pendulum mode: a simple modeling for a biped walking pattern generation,” in Proceedings IEEE/RSJ International Conference on Intelligent Robots and Systems. , vol. 1, 2001, pp. 239–246 vol.1
2001
Earlier work this paper cites.
S. Kajita, F. Kanehiro, K. Kaneko, K. Fujiwara, K. Harada, K. Yokoi, and H. Hirukawa, “Biped walking pattern generation by using preview control of zero-moment point,” in IEEE International Conference on Robotics and Automation , vol. 2, 2003, pp. 1620–1626
2003
Earlier work this paper cites.
O. Maler and D. Nickovic, “Monitoring temporal properties of continuous signals,” in Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems , Y. Lakhnech and S. Yovine, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004, pp. 152–166
2004
Earlier work this paper cites.
P. E. Gill, W. Murray, and M. A. Saunders, “Snopt: An sqp algorithm for large-scale constrained optimization,” SIAM Rev. , vol. 47, no. 1, p. 99–131, 2005
2005
Earlier work this paper cites.
P.-b. Wieber, “Trajectory free linear model predictive control for stable walking in the presence of strong perturbations,” in IEEE-RAS International Conference on Humanoid Robots , 2006, pp. 137–142
2006
Earlier work this paper cites.
J. Pratt, J. Carff, S. Drakunov, and A. Goswami, “Capture point: A step toward humanoid push recovery,” in IEEE-RAS international conference on humanoid robots , 2006, pp. 200–207
2006
Earlier work this paper cites.
P.-B. Wieber, “Viability and predictive control for safe locomotion,” in 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems , 2008, pp. 1103–1108
2008
Earlier work this paper cites.
G. E. Fainekos and G. J. Pappas, “Robustness of temporal logic specifications for continuous-time signals,” Theoretical Computer Science , vol. 410, no. 42, pp. 4262–4291, 2009
2009
Earlier work this paper cites.
A. Donzé and O. Maler, “Robust satisfaction of temporal logic over real-valued signals,” in Formal Modeling and Analysis of Timed Systems , K. Chatterjee and T. A. Henzinger, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 92–106
2010
Earlier work this paper cites.
A. L. Hof, S. M. Vermerris, and W. A. Gjaltema, “Balance responses to lateral perturbations in human treadmill walking,” Journal of Experimental Biology , vol. 213, no. 15, pp. 2655–2664, 08 2010
2010
Earlier work this paper cites.
B. J. Stephens, “Push recovery control for force-controlled humanoid robots,” Ph.D. dissertation, Carnegie Mellon University, 2011
2011
Earlier work this paper cites.
H. Kress-Gazit, T. Wongpiromsarn, and U. Topcu, “Correct, reactive, high-level robot control,” IEEE Robotics and Automation Magazine , vol. 18, no. 3, pp. 65–74, 2011
2011
Earlier work this paper cites.
T. Koolen, T. de Boer, J. Rebula, A. Goswami, and J. Pratt, “Capturability-based analysis and control of legged locomotion, part 1: Theory and application to three simple gait models,” The International Journal of Robotics Research , vol. 31, no. 9, pp. 1094–1113, 2012
2012
Earlier work this paper cites.
J. Englsberger and C. Ott, “Integration of vertical com motion and angular momentum in an extended capture point tracking controller for bipedal walking,” in IEEE-RAS International Conference on Humanoid Robots , 2012, pp. 183–189
2012
Earlier work this paper cites.
Y. Zhao and L. Sentis, “A three dimensional foot placement planner for locomotion in very rough terrains,” in IEEE-RAS International Conference on Humanoid Robots . IEEE, 2012, pp. 726–733
2012
Earlier work this paper cites.
B. Isaacson, T. Swanson, and P. Pasquina, “The use of a computer-assisted research environment (caren) for enhancing wounded warrior rehabilitation regimens,” The journal of spinal cord medicine , vol. 36, pp. 296–299, 07 2013
2013
Earlier work this paper cites.
H. Dai and R. Tedrake, “L2-gain optimization for robust bipedal walking on unknown terrain,” in 2013 IEEE International Conference on Robotics and Automation , 2013, pp. 3116–3123
2013
Earlier work this paper cites.
J. Liu, N. Ozay, U. Topcu, and R. M. Murray, “Synthesis of reactive switching protocols from temporal logic specifications,” IEEE Transactions on Automatic Control , vol. 58, no. 7, pp. 1771–1785, 2013
2013
Earlier work this paper cites.
A. Ibanez, P. Bidaud, and V. Padois, “Emergence of humanoid walking behaviors from mixed-integer model predictive control,” in IEEE/RSJ International Conference on Intelligent Robots and Systems , 2014, pp. 4014–4021
2014
Earlier work this paper cites.
E. M. Wolff, U. Topcu, and R. M. Murray, “Optimization-based trajectory generation with linear temporal logic specifications,” in International Conference on Robotics and Automation , 2014, pp. 5319–5325
2014
Earlier work this paper cites.
K. W. Wong, R. Ehlers, and H. Kress-Gazit, “Correct high-level robot behavior in environments with unexpected events,” in Robotics: Science and Systems , 2014
2014
Earlier work this paper cites.
V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia, “Model predictive control with signal temporal logic specifications,” in IEEE Conference on Decision and Control , 2014, pp. 81–87
2014
Earlier work this paper cites.
R. Deits and R. Tedrake, “Footstep planning on uneven terrain with mixed-integer convex optimization,” in IEEE-RAS International Conference on Humanoid Robots , 2014, pp. 279–286
2014
Earlier work this paper cites.
S. Feng, E. Whitman, X. Xinjilefu, and C. G. Atkeson, “Optimization-based full body control for the darpa robotics challenge,” Journal of Field Robotics , vol. 32, no. 2, pp. 293–312, 2015
2015
Earlier work this paper cites.
S. Sadraddini and C. Belta, “Robust temporal logic model predictive control,” in Annual Allerton Conference on Communication, Control, and Computing , 2015, pp. 772–779
2015
Earlier work this paper cites.
S. Feng, X. Xinjilefu, C. G. Atkeson, and J. Kim, “Robust dynamic walking using online foot step optimization,” in IEEE/RSJ International Conference on Intelligent Robots and Systems , 2016, pp. 5373–5378
2016
Earlier work this paper cites.
M. R. O. A. Maximo, C. H. C. Ribeiro, and R. J. M. Afonso, “Mixed-integer programming for automatic walking step duration,” in IEEE/RSJ International Conference on Intelligent Robots and Systems , 2016, pp. 5399–5404
2016
Cited alongside, same era.
E. Plaku and S. Karaman, “Motion planning with temporal-logic specifications: Progress and challenges,” AI Communications , vol. 29, pp. 151–162, 2016
2016
Cited alongside, same era.
Y. Zhao, B. R. Fernandez, and L. Sentis, “Robust phase-space planning for agile legged locomotion over various terrain topologies.” in Robotics: Science and Systems , vol. 12, 2016
2016
Cited alongside, same era.
J. Carpentier, S. Tonneau, M. Naveau, O. Stasse, and N. Mansard, “A versatile and efficient pattern generator for generalized legged locomotion,” in IEEE International Conference on Robotics and Automation , 2016, pp. 3555–3561
2016
Cited alongside, same era.
F. M. Smaldone, N. Scianca, L. Lanari, and G. Oriolo, “Feasibility-driven step timing adaptation for robust mpc-based gait generation in humanoids,” IEEE Robotics and Automation Letters , vol. 6, no. 2, pp. 1582–1589, 2021
2021
Later among the works it cites.
B. Ponton, M. Khadiv, A. Meduri, and L. Righetti, “Efficient multicontact pattern generation with sequential convex approximations of the centroidal dynamics,” IEEE Transactions on Robotics , vol. 37, no. 5, pp. 1661–1679, 2021
2021
Later among the works it cites.
V. Kurtz and H. Lin, “Trajectory optimization for high-dimensional nonlinear systems under stl specifications,” IEEE Control Systems Letters , vol. 5, no. 4, pp. 1429–1434, 2021
2021
Later among the works it cites.
Y. Gilpin, V. Kurtz, and H. Lin, “A smooth robustness measure of signal temporal logic for symbolic control,” IEEE Control Systems Letters , vol. 5, no. 1, pp. 241–246, 2021
2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
T. Kamioka, H. Kaneko, M. Kuroda, C. Tanaka, S. Shirokura, M. Takeda, and T. Yoshiike, “Dynamic gait transition between walking, running and hopping for push recovery,” in IEEE-RAS International Conference on Humanoid Robotics , 2017, pp. 1–8
2017
Cited alongside, same era.
C. O. Saglam and K. Byl, Quantifying and Optimizing Robustness of Bipedal Walking Gaits on Rough Terrain . Springer International Publishing, Jul. 2017, p. 235–251
2017
Cited alongside, same era.
Y. Zhao, B. R. Fernandez, and L. Sentis, “Robust optimal planning and control of non-periodic bipedal locomotion with a centroidal momentum model,” The International Journal of Robotics Research , vol. 36, no. 11, pp. 1211–1242, 2017
2017
Cited alongside, same era.
C. Liu, J. Ning, K. An, and Q. Chen, “Active balance of humanoid movement based on dynamic task-prior system,” International Journal of Advanced Robotic Systems , vol. 14, no. 3, 2017
2017
Cited alongside, same era.
R. J. Griffin, G. Wiedebach, S. Bertrand, A. Leonessa, and J. Pratt, “Walking stabilization using step timing and location adjustment on the humanoid robot, atlas,” in IEEE/RSJ International Conference on Intelligent Robots and Systems , 2017, pp. 667–673
2017
Cited alongside, same era.
N. Bohórquez and P.-B. Wieber, “Adaptive step duration in biped walking: A robust approach to nonlinear constraints,” in IEEE-RAS 17th International Conference on Humanoid Robotics , 2017, pp. 724–729
2017
Cited alongside, same era.
S. Caron and A. Kheddar, “Dynamic walking over rough terrains by nonlinear predictive control of the floating-base inverted pendulum,” in IEEE/RSJ International Conference on Intelligent Robots and Systems , 2017, pp. 5017–5024
2017
Cited alongside, same era.
Y. V. Pant, H. Abbas, and R. Mangharam, “Smooth operator: Control using the smooth robustness of temporal logic,” in IEEE Conference on Control Technology and Applications , 2017, pp. 1235–1240
2017
Cited alongside, same era.
T. M. Inc., “Matlab simulink version: 10.3 (r2021a),” 2021
2021
Later among the works it cites.
R. Takano, H. Oyama, and M. Yamakita, “Continuous optimization-based task and motion planning with signal temporal logic specifications for sequential manipulation,” in IEEE International Conference on Robotics and Automation , 2021, pp. 8409–8415
2021
Later among the works it cites.
J. Siekmann, K. Green, J. Warila, A. Fern, and J. Hurst, “Blind bipedal stair traversal via sim-to-real reinforcement learning,” in Robotics: Science and Systems , 2022
2022
Later among the works it cites.
C. Khazoom and S. Kim, “Humanoid arm motion planning for improved disturbance recovery using model hierarchy predictive control,” in International Conference on Robotics and Automation , 2022, pp. 6607–6613
2022
Later among the works it cites.
C. Khazoom, D. Gonzalez-Diaz, Y. Ding, and S. Kim, “Humanoid self-collision avoidance using whole-body control with control barrier functions,” in IEEE-RAS International Conference on Humanoid Robots , 2022, pp. 558–565
2022
Later among the works it cites.
G. Gibson, O. Dosunmu-Ogunbi, Y. Gong, and J. Grizzle, “Terrain-adaptive, alip-based bipedal locomotion controller via model predictive control and virtual constraints,” in IEEE/RSJ International Conference on Intelligent Robots and Systems , 2022, pp. 6724–6731
2022
Later among the works it cites.
X. Xiong and A. Ames, “3-d underactuated bipedal walking via h-lip based gait synthesis and stepping stabilization,” IEEE Transactions on Robotics , vol. 38, no. 4, pp. 2405–2425, 2022
2022
Later among the works it cites.
Y. Zhao, Y. Li, L. Sentis, U. Topcu, and J. Liu, “Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments,” The International Journal of Robotics Research , vol. 41, no. 8, pp. 812–847, 2022
2022
Later among the works it cites.
2022
Later among the works it cites.
Y. Gong and J. W. Grizzle, “Zero Dynamics, Pendulum Models, and Angular Momentum in Feedback Control of Bipedal Locomotion,” Journal of Dynamic Systems, Measurement, and Control , vol. 144, no. 12, p. 121006, 10 2022
2022
Later among the works it cites.
V. Kurtz and H. Lin, “Mixed-integer programming for signal temporal logic with fewer binary variables,” IEEE Control Systems Letters , vol. 6, pp. 2635–2640, 2022
2022
Later among the works it cites.
S. Macenski, T. Foote, B. Gerkey, C. Lalancette, and W. Woodall, “Robot operating system 2: Design, architecture, and uses in the wild,” Science Robotics , vol. 7, no. 66, p. eabm6074, 2022
2022
Later among the works it cites.
Gurobi Optimization, LLC, “Gurobi Optimizer Reference Manual,” 2022
2022
Later among the works it cites.
D. Crowley, J. Dao, H. Duan, K. Green, J. Hurst, and A. Fern, “Optimizing bipedal locomotion for the 100m dash with comparison to human running,” in IEEE International Conference on Robotics and Automation , 2023, pp. 12 205–12 211
2023
Later among the works it cites.
D. Marew, M. Lvovsky, S. Yu, S. Sessions, and D. Kim, “Riemannian motion policy for robust balance control in dynamic legged locomotion,” 2023
2023
Later among the works it cites.
H. Chen, Z. Hong, S. Yang, P. M. Wensing, and W. Zhang, “Quadruped capturability and push recovery via a switched-systems characterization of dynamic balance,” IEEE Transactions on Robotics , vol. 39, no. 3, pp. 2111–2130, 2023
2023
Later among the works it cites.
R. Griffin, J. Foster, S. Pasano, B. Shrewsbury, and S. Bertrand, “Reachability aware capture regions with time adjustment and cross-over for step recovery,” in IEEE-RAS 22nd International Conference on Humanoid Robots , 2023, pp. 1–8
2023
Later among the works it cites.
A. Iqbal, S. Veer, and Y. Gu, “Asymptotic stabilization of aperiodic trajectories of a hybrid-linear inverted pendulum walking on a vertically moving surface,” in American Control Conference , 2023, pp. 3030–3035
2023
Later among the works it cites.
D. Marew, M. Lvovsky, S. Yu, S. Sessions, and D. Kim, “Integration of riemannian motion policy with whole-body control for collision-free legged locomotion,” in IEEE-RAS International Conference on Humanoid Robots , 2023, pp. 1–8
2023
Later among the works it cites.
T. Egle, J. Englsberger, and C. Ott, “Step and timing adaptation during online dcm trajectory generation for robust humanoid walking with double support phases,” in IEEE-RAS International Conference on Humanoid Robots , 2023, pp. 1–8
2023
Later among the works it cites.
J. K. Leestma, P. R. Golyski, C. R. Smith, G. S. Sawicki, and A. J. Young, “Linking whole-body angular momentum and step placement during perturbed walking,” Journal of Experimental Biology , 2023
2023
Later among the works it cites.
J. Li and Q. Nguyen, “Dynamic walking of bipedal robots on uneven stepping stones via adaptive-frequency mpc,” IEEE Control Systems Letters , vol. 7, pp. 1279–1284, 2023
2023
Later among the works it cites.
A. Shamsah, Z. Gu, J. Warnke, S. Hutchinson, and Y. Zhao, “Integrated task and motion planning for safe legged navigation in partially observable environments,” IEEE Transactions on Robotics , vol. 39, no. 6, pp. 4913–4934, 2023
2023
Later among the works it cites.
J. Jiang, S. Coogan, and Y. Zhao, “Abstraction-based planning for uncertainty-aware legged navigation,” IEEE Open Journal of Control Systems , 2023
2023
Later among the works it cites.
K. Leung, N. Aréchiga, and M. Pavone, “Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods,” The International Journal of Robotics Research , vol. 42, no. 6, pp. 356–370, 2023
2023
Later among the works it cites.
Z. Gu, R. Guo, W. Yates, Y. Chen, Y. Zhao, and Y. Zhao, “Walking-by-logic: Signal temporal logic-guided model predictive control for bipedal locomotion resilient to external perturbations,” in International Conference on Robotics and Automation , 2024
2024
Closest in time.
Agility Robotics, “Agility robotics,” 2024
2024
Closest in time.