55 research outputs found
Multicontact Motion Retargeting Using Whole-Body Optimization of Full Kinematics and Sequential Force Equilibrium
This article presents a multicontact motion adaptation framework that enables teleoperation of high degree-of-freedom robots, such as quadrupeds and humanoids, for loco-manipulation tasks in multicontact settings. Our proposed algorithms optimize whole-body configurations and formulate the retargeting of multicontact motions as sequential quadratic programming, which is robust and stable near the edges of feasibility constraints. Our framework allows real-time operation of the robot and reduces cognitive load for the operator because infeasible commands are automatically adapted into physically stable and viable motions on the robot. The results in simulations with full dynamics demonstrated the effectiveness of teleoperating different legged robots interactively and generating rich multicontact movements. We evaluated the computational efficiency of the proposed algorithms, and further validated and analyzed multicontact loco-manipulation tasks on humanoid and quadruped robots by reaching, active pushing, and various traversal on uneven terrains
Solving Footstep Planning as a Feasibility Problem Using L1-Norm Minimization
Extended version of the paper to be published in IEEE Robotics and Automation LettersInternational audienceOne challenge of legged locomotion on uneven terrains is to deal with both the discrete problem of selecting a contact surface for each footstep and the continuous problem of placing each footstep on the selected surface. Consequently, footstep planning can be addressed with a Mixed Integer Program (MIP), an elegant but computationally-demanding method, which can make it unsuitable for online planning. We reformulate the MIP into a cardinality problem, then approximate it as a computationally efficient l1-norm minimisation, called SL1M. Moreover, we improve the performance and convergence of SL1M by combining it with a sampling-based root trajectory planner to prune irrelevant surface candidates. Our tests on the humanoid Talos in four representative scenarios show that SL1M always converges faster than MIP. For scenarios when the combinatorial complexity is small (< 10 surfaces per step), SL1M converges at least two times faster than MIP with no need for pruning. In more complex cases, SL1M converges up to 100 times faster than MIP with the help of pruning. Moreover, pruning can also improve the MIP computation time. The versatility of the framework is shown with additional tests on the quadruped robot ANYmal
SL1M: Sparse L1-norm Minimization for contact planning on uneven terrain
International audienceOne of the main challenges of planning legged locomotion in complex environments is the combinatorial contact selection problem. Recent contributions propose to use integer variables to represent which contact surface is selected, and then to rely on modern mixed-integer (MI) optimization solvers to handle this combinatorial issue. To reduce the computational cost of MI, we exploit the sparsity properties of L1 norm minimization techniques to relax the contact planning problem into a feasibility linear program. Our approach accounts for kinematic reachability of the center of mass (COM) and of the contact effectors. We ensure the existence of a quasi-static COM trajectory by restricting our plan to quasi-flat contacts. For planning 10 steps with less than 10 potential contact surfaces for each phase, our approach is 50 to 100 times faster that its MI counterpart, which suggests potential applications for online contact re-planning. The method is demonstrated in simulation with the humanoid robots HRP-2 and Talos over various scenarios
C-CROC: Continuous and Convex Resolution of Centroidal Dynamic Trajectories for Legged Robots in Multicontact Scenarios
International audienceSynthesizing legged locomotion requires planning one or several steps ahead (literally): when and where, and with which effector shouldthe next contact(s) be created between the robot and the environment? Validating a contact candidate implies \textit{a minima} the resolution of a slow, non-linear optimizationproblem, to demonstrate that a Center Of Mass (COM) trajectory, compatible with the contact transition constraints, exists. We propose a conservative reformulation of this trajectory generation problem as a convex 3D linear program, CROC. It results from the observation that if the COM trajectory is a polynomial with only one free variable coefficient, the non-linearity of the problem disappears. This has two consequences. On the positive side, in terms of computation times CROC outperforms the state of the art by at least one order of magnitude, and allows to consider interactive applications (with a planning time roughly equal to the motion time). On the negative side, in our experiments our approach finds a majority of the feasible trajectories found by a non-linear solver, but not all of them. Still, we demonstrate that the solution space covered by CROC is large enough to achieve the automated planning of a large variety of locomotion tasks for different robots, demonstrated in simulation and on the real HRP-2 robot, several of which were rarely seen before.Another significant contribution is the introduction of a Bezier curve representation of the problem, which guarantees that the constraints of the COM trajectory are verified continuously, and not only at discrete points as traditionally done. This formulation is lossless, and results in more robust trajectories. It is not restricted to CROC, but could rather be integrated with any method from the state of the art
Optimization-Based Control for Dynamic Legged Robots
In a world designed for legs, quadrupeds, bipeds, and humanoids have the
opportunity to impact emerging robotics applications from logistics, to
agriculture, to home assistance. The goal of this survey is to cover the recent
progress toward these applications that has been driven by model-based
optimization for the real-time generation and control of movement. The majority
of the research community has converged on the idea of generating locomotion
control laws by solving an optimal control problem (OCP) in either a
model-based or data-driven manner. However, solving the most general of these
problems online remains intractable due to complexities from intermittent
unidirectional contacts with the environment, and from the many degrees of
freedom of legged robots. This survey covers methods that have been pursued to
make these OCPs computationally tractable, with specific focus on how
environmental contacts are treated, how the model can be simplified, and how
these choices affect the numerical solution methods employed. The survey
focuses on model-based optimization, covering its recent use in a stand alone
fashion, and suggesting avenues for combination with learning-based
formulations to further accelerate progress in this growing field.Comment: submitted for initial review; comments welcom
ContactNet: Online Multi-Contact Planning for Acyclic Legged Robot Locomotion
Online trajectory optimization techniques generally depend on heuristic-based
contact planners in order to have low computation times and achieve high
replanning frequencies. In this work, we propose ContactNet, a fast acyclic
contact planner based on a multi-output regression neural network. ContactNet
ranks discretized stepping regions, allowing to quickly choose the best
feasible solution, even in complex environments. The low computation time, in
the order of 1 ms, makes possible the execution of the contact planner
concurrently with a trajectory optimizer in a Model Predictive Control (MPC)
fashion. We demonstrate the effectiveness of the approach in simulation in
different complex scenarios with the quadruped robot Solo12
Recent Progress in Legged Robots Locomotion Control
International audiencePurpose of review. In recent years, legged robots locomotion has been transitioning from mostly flat ground in controlled settings to generic indoor and outdoor environments, approaching now real industrial scenarios. This paper aims at documenting some of the key progress made in legged locomotion control that enabled this transition. Recent findings. Legged locomotion control makes extensive use of numerical trajectory optimization and its online implementation, Model Predictive Control. A key progress has been how this optimization is handled, with refined models and refined numerical methods. This led the legged locomotion research community to heavily invest in and contribute to the development of new optimization methods and efficient numerical software
Dynamic Walking: Toward Agile and Efficient Bipedal Robots
Dynamic walking on bipedal robots has evolved from an idea in science fiction to a practical reality. This is due to continued progress in three key areas: a mathematical understanding of locomotion, the computational ability to encode this mathematics through optimization, and the hardware capable of realizing this understanding in practice. In this context, this review article outlines the end-to-end process of methods which have proven effective in the literature for achieving dynamic walking on bipedal robots. We begin by introducing mathematical models of locomotion, from reduced order models that capture essential walking behaviors to hybrid dynamical systems that encode the full order continuous dynamics along with discrete footstrike dynamics. These models form the basis for gait generation via (nonlinear) optimization problems. Finally, models and their generated gaits merge in the context of real-time control, wherein walking behaviors are translated to hardware. The concepts presented are illustrated throughout in simulation, and experimental instantiation on multiple walking platforms are highlighted to demonstrate the ability to realize dynamic walking on bipedal robots that is agile and efficient
Hierarchical Experience-informed Navigation for Multi-modal Quadrupedal Rebar Grid Traversal
This study focuses on a layered, experience-based, multi-modal contact
planning framework for agile quadrupedal locomotion over a constrained rebar
environment. To this end, our hierarchical planner incorporates
locomotion-specific modules into the high-level contact sequence planner and
solves kinodynamically-aware trajectory optimization as the low-level motion
planner. Through quantitative analysis of the experience accumulation process
and experimental validation of the kinodynamic feasibility of the generated
locomotion trajectories, we demonstrate that the experience planning heuristic
offers an effective way of providing candidate footholds for a legged contact
planner. Additionally, we introduce a guiding torso path heuristic at the
global planning level to enhance the navigation success rate in the presence of
environmental obstacles. Our results indicate that the torso-path guided
experience accumulation requires significantly fewer offline trials to
successfully reach the goal compared to regular experience accumulation.
Finally, our planning framework is validated in both dynamics simulations and
real hardware implementations on a quadrupedal robot provided by Skymul Inc
- âŠ