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.

An LTL-Based Motion and Action Dynamic Planning Method for Autonomous Robot

Synthesis of output feedback control for motion planning based on LTL specifications

Physics-based Motion Planning with Temporal Logic Specifications

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments

Moving Personal Robots in Real-Time Using Primitive Motions

Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments

Model-free reinforcement learning for motion planning of autonomous agents with complex tasks in partially observable environments

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

Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments

Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints

Deep learning-based optimization for motion planning of dual-arm assembly robots

Task and Motion Planning for Execution in the Real

Long-Term Dynamic Window Approach for Kinodynamic Local Planning in Static and Crowd Environments

Autonomous Driving Motion Planning With Constrained Iterative LQR.

Hierarchical Motion Planning Under Probabilistic Temporal Tasks and Safe-Return Constraints

Model-based motion planning in POMDPs with temporal logic specifications

Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

DT*: Temporal Logic Path Planning in a Dynamic Environment

Extended Task and Motion Planning of Long-horizon Robot Manipulation