Sampling-Based Methods for Factored Task and Motion Planning

01/02/2018
by   Caelan Reed Garrett, et al.
0

This paper presents a general-purpose formulation of a large class of discrete-time planning problems, with hybrid state and control-spaces, as factored transition systems. Factoring allows state transitions to be described as the intersection of several constraints each affecting a subset of the state and control variables. Robotic manipulation problems with many movable objects involve constraints that only affect several variables at a time and therefore exhibit large amounts of factoring. We develop a theoretical framework for solving factored transition systems with sampling-based algorithms. The framework characterizes conditions on the submanifold in which solutions lie, leading to a characterization of robust feasibility that incorporates dimensionality-reducing constraints. It then connects those conditions to corresponding conditional samplers that can be composed to produce values on this submanifold. We present two domain-independent, probabilistically complete planning algorithms that take, as input, a set of conditional samplers. We demonstrate the empirical efficiency of these algorithms on a set of challenging task and motion planning problems involving picking, placing, and pushing.

READ FULL TEXT

page 1

page 7

page 11

page 12

page 20

page 23

page 24

page 25

research
02/23/2018

STRIPStream: Integrating Symbolic Planners and Blackbox Samplers

Many planning applications involve complex relationships defined on high...
research
10/02/2020

Integrated Task and Motion Planning

The problem of planning for a robot that operates in environments contai...
research
01/01/2017

STRIPS Planning in Infinite Domains

Many robotic planning applications involve continuous actions with highl...
research
10/22/2022

Learning Feasibility of Factored Nonlinear Programs in Robotic Manipulation Planning

A factored Nonlinear Program (Factored-NLP) explicitly models the depend...
research
10/05/2018

Accelerated Labeling of Discrete Abstractions for Autonomous Driving Subject to LTL Specifications

Linear temporal logic and automaton-based run-time verification provide ...
research
02/06/2020

Scalable and Probabilistically Complete Planning for Robotic Spatial Extrusion

There is increasing demand for automated systems that can fabricate 3D s...
research
11/09/2020

Learning Efficient Constraint Graph Sampling for Robotic Sequential Manipulation

Efficient sampling from constraint manifolds, and thereby generating a d...

Please sign up or login with your details

Forgot password? Click here to reset