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.

Reflexive behavior of personal robots using primitive motions

Moving Personal Robots in Real-Time Using Primitive Motions

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

Research on multi-robot cooperative motion planning

Dynamic Movement Primitive Based Motion Retargeting for Dual-Arm Sign Language Motions

Using Implicit Behavior Cloning and Dynamic Movement Primitive to Facilitate Reinforcement Learning for Robot Motion Planning

Human Intention-Aware Motion Planning and Adaptive Fuzzy Control for a Collaborative Robot With Flexible Joints

Dynamic Motion Primitives-Based Trajectory Learning for Physical Human–Robot Interaction Force Control

Uncovering the Secrets of Human-Like Movement: A Fresh Perspective on Motion Planning

Collaborative motion planning for multi-manipulator systems through Reinforcement Learning and Dynamic Movement Primitives

The Arm Planning with Dynamic Movement Primitive for Humanoid Service Robot

Interactive Natural Motion Planning for Robot Systems Based on Representation Space.

Bio-Reflex-Based Robot Adaptive Motion Controlling Theory

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

Motion Planning: A Journey of Robots, Molecules, Digital Actors, and Other Artifacts

Reflexive Input-Output Causality Mechanisms

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

Homeostatic motion planning with innate physics knowledge

Motion Planning Combines Psychological Safety and Motion Prediction for a Sense Motive Robot

Motion Planning and Control with Environmental Uncertainties for Humanoid Robot