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.

Motion Planning for Ricochetal Brachiation Locomotion of Bio-primitive Robot

A Deep Reinforcement Learning Control Method for a Four-Link Brachiation Robot

Visualized Trajectory Planning of Flexible Redundant Robotic Arm Using A Novel Hybrid Algorithm

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

Multi-Locomotion Design and Implementation of Transverse Ledge Brachiation Robot Inspired by Sport Climbing

Design of Transverse Brachiation Robot and Motion Control System for Locomotion between Ledges at Different Elevations

Moving Personal Robots in Real-Time Using Primitive Motions

Motion Planning for a Climbing Robot with Stochastic Grasps

Trajectory Generation and Tracking based on Energy Minimization for a Four-Link Brachiation Robot

Motion Planning for Industrial Robots Based on Task Process Decomposition

Coordinate Invariant User-Guided Constrained Path Planning with Reactive Rapidly Expanding Plane-Oriented Escaping Trees

Surge Arrester Protection and Very Fast Surges

Transition Motion Planning for Multi-Limbed Vertical Climbing Robots Using Complementarity Constraints

Optimization Based Motion Planning for Multi-Limbed Vertical Climbing Robots

Motion Planning of Redundant Robotic Arm Based on Human Arm Motion Principles

Design and Implementation of a Three-Link Brachiation Robot with Optimal Control Based Trajectory Tracking Controller

Adaptive Hybrid Optimization Learning-Based Accurate Motion Planning of Multi-Joint Arm

Multi-Tree Guided Efficient Robot Motion Planning

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

Real-Time Kinodynamic Motion Planning for Omnidirectional Mobile Robot Soccer using Rapidly-Exploring Random Tree in Dynamic Environment with Moving Obstacles

Safe and Robust Motion Planning for Autonomous Navigation of Quadruped Robots in Cluttered Environments