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.

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

Piecewise output feedback control for affine systems with disturbances based on linear temporal logic specifications

Enhancing Closed-Loop Performance in Learning-Based Vehicle Motion Planning by Integrating Rule-Based Insights

Reactive Planner Synthesis Under Temporal Logic Specifications

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

Extended LTLvis Motion Planning interface (Extended Technical Report)

Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications

Physics-based Motion Planning with Temporal Logic Specifications

Fast and Accurate Motion Tracking of a Linear Motor System under Kinematic and Dynamic Constraints: an Integrated Planning and Control Approach

Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications

Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction

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

Optimal Control-Based Online Motion Planning For Cooperative Lane Changes Of Connected And Automated Vehicles

An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis

Online Optimization-Based Time-Optimal Adaptive Robust Control of Linear Motors with Input and State Constraints

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

Safe Feedback Motion Planning: A Contraction Theory and $\mathcal{L}_1$-Adaptive Control Based Approach

Spline Trajectory Tracking and Obstacle Avoidance for Mobile Agents via Convex Optimization

Automatic Trajectory Synthesis for Real-Time Temporal Logic