Abstract: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 systems have great potential for reasoning about high-level locomotion decisions and achieving complex maneuvering behaviors with correctness guarantees. This study takes a first step toward formally devising an architecture composed of task planning and control of whole-body dynamic locomotion behaviors in constrained and dynamically changing environments. At the high level, we formulate a two-player temporal logic game between the multi-limb locomotion planner and its dynamic environment to synthesize a winning strategy that delivers symbolic locomotion actions. These locomotion actions satisfy the desired high-level task specifications expressed in a fragment of temporal logic. Those actions are sent to a robust finite transition system that synthesizes a locomotion controller that fulfills state reachability constraints. This controller is further executed via a low-level motion planner that generates feasible locomotion trajectories. We construct a set of dynamic locomotion models for legged robots to serve as a template library for handling diverse environmental events. We devise a replanning strategy that takes into consideration sudden environmental changes or large state disturbances to increase the robustness of the resulting locomotion behaviors. We formally prove the correctness of the layered locomotion framework guaranteeing a robust implementation by the motion planning layer. Simulations of reactive locomotion behaviors in diverse environments indicate that our framework has the potential to serve as a theoretical foundation for intelligent locomotion behaviors.

A Unified Trajectory Optimization Approach for Long-Term and Reactive Motion Planning of Legged Locomotion

Sprinting Motion Planning for Planar Bipedal Robots Based on Driving Coordination between the Knee and Ankle Joints

Time-Variant Gait Planning for Under-Actuated Biped Robot Via Optimization

Efficient Motion Planning Based on Kinodynamic Model for Quadruped Robots Following Persons in Confined Spaces

A Real-Time Planning and Control Framework for Robust and Dynamic Quadrupedal Locomotion

Online Dynamic Trajectory Optimization and Control for a Quadruped Robot

Simultaneous dynamic optimization: A trajectory planning method for nonholonomic car-like robots

Trajectory Optimization for Manipulation Considering Grasp Selection and Adjustment

LSTP: Long Short-Term Motion Planning for Legged and Legged-Wheeled Systems

A non-periodic planning and control framework of dynamic legged locomotion

Robust Optimal Planning and Control of Non-Periodic Bipedal Locomotion with A Centroidal Momentum Model

Optimization-based dynamic motion planning and control for quadruped robots

Momentum-Aware Trajectory Optimization and Control for Agile Quadrupedal Locomotion

Locomotion Planning through a Hybrid Bayesian Trajectory Optimization

Model Predictive Control for Motion Planning of Quadrupedal Locomotion.

Trajectory Optimization Through Contacts and Automatic Gait Discovery for Quadrupeds

Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments

Time-optimal Trajectory Planning Method for Six-Legged Robots under Actuator Constraints

Efficient Trajectory Optimization for Robot Motion Planning

Motion Planning for a Legged Robot with Dynamic Characteristics

Online Trajectory Optimization for Dynamic Aerial Motions of a Quadruped Robot