Randomized Planning for Short Inspection Paths Tim Danner and Lydia E. Kavraki 2000 Presented by David Camarillo CS326a: Motion Planning, Spring 2003-04.

Slides:



Advertisements
Similar presentations
Hard Problems Some problems are hard to solve. No polynomial time algorithm is known Most combinatorial optimization problems are hard Popular NP-hard.
Advertisements

Instructor Neelima Gupta Table of Contents Approximation Algorithms.
Introduction to Graph Theory Instructor: Dr. Chaudhary Department of Computer Science Millersville University Reading Assignment Chapter 1.
22C:19 Discrete Math Graphs Fall 2014 Sukumar Ghosh.
Design and Analysis of Algorithms Approximation algorithms for NP-complete problems Haidong Xue Summer 2012, at GSU.
Approximations of points and polygonal chains
Motion Planning for Point Robots CS 659 Kris Hauser.
 Distance Problems: › Post Office Problem › Nearest Neighbors and Closest Pair › Largest Empty and Smallest Enclosing Circle  Sub graphs of Delaunay.
IKI 10100: Data Structures & Algorithms Ruli Manurung (acknowledgments to Denny & Ade Azurat) 1 Fasilkom UI Ruli Manurung (Fasilkom UI)IKI10100: Lecture10.
1 ©D.Moshkovitz Complexity The Traveling Salesman Problem.
1 The TSP : Approximation and Hardness of Approximation All exact science is dominated by the idea of approximation. -- Bertrand Russell ( )
Motion Planning CS 6160, Spring 2010 By Gene Peterson 5/4/2010.
Visibility Graphs May Shmuel Wimer Bar-Ilan Univ., Eng. Faculty Technion, EE Faculty.
S. J. Shyu Chap. 1 Introduction 1 The Design and Analysis of Algorithms Chapter 1 Introduction S. J. Shyu.
Linear Programming?!?! Sec Linear Programming In management science, it is often required to maximize or minimize a linear function called an objective.
1 Last lecture  Configuration Space Free-Space and C-Space Obstacles Minkowski Sums.
Computability and Complexity 23-1 Computability and Complexity Andrei Bulatov Search and Optimization.
1 Discrete Structures & Algorithms Graphs and Trees: II EECE 320.
Visibility-based Motion Planning Lecture slides for COMP presented by Georgi Tsankov.
Data Structures & Algorithms Graph Search Richard Newman based on book by R. Sedgewick and slides by S. Sahni.
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
1 -1 Chapter 1 Introduction Why Do We Need to Study Algorithms? To learn strategies to design efficient algorithms. To understand the difficulty.
Math443/543 Mathematical Modeling and Optimization
Presented by David Stavens. Autonomous Inspection Compute a path such that every point on the boundary of the workspace can be inspected from some point.
1 Target Finding. 2 Example robot’s visibility region hiding region 1 cleared region robot.
CS 326A: Motion Planning Criticality-Based Motion Planning: Target Finding.
CS 326 A: Motion Planning Exploring and Inspecting Environments.
Randomized Planning for Short Inspection Paths Tim Danner Lydia E. Kavraki Department of Computer Science Rice University.
CS 326A: Motion Planning Basic Motion Planning for a Point Robot.
Randomized Planning for Short Inspection Paths Tim Danner and Lydia E. Kavraki 2000 Presented by Dongkyu, Choi On the day of 28 th May 2003 CS326a: Motion.
Approximation Algorithms Motivation and Definitions TSP Vertex Cover Scheduling.
Probabilistic Roadmaps for Path Planning in High-Dimensional Configuration Spaces Kavraki, Svestka, Latombe, Overmars 1996 Presented by Chris Allocco.
Probabilistic Roadmaps for Path Planning in High-Dimensional Configuration Spaces Lydia E. Kavraki Petr Švetka Jean-Claude Latombe Mark H. Overmars Presented.
The Art Gallery Problem
The Art Gallery Problem
Ant Colony Optimization: an introduction
GRAPH Learning Outcomes Students should be able to:
Visibility Graphs and Cell Decomposition By David Johnson.
Programming & Data Structures
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
The Traveling Salesman Problem Approximation
Network Models (2) Tran Van Hoai Faculty of Computer Science & Engineering HCMC University of Technology Tran Van Hoai.
© Manfred Huber Autonomous Robots Robot Path Planning.
IT 60101: Lecture #201 Foundation of Computing Systems Lecture 20 Classic Optimization Problems.
1 The TSP : NP-Completeness Approximation and Hardness of Approximation All exact science is dominated by the idea of approximation. -- Bertrand Russell.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Traveling Salesman Problems Motivated by Robot Navigation Maria Minkoff MIT With Avrim Blum, Shuchi Chawla, David Karger, Terran Lane, Adam Meyerson.
Path Planning for a Point Robot
Probabilistic Roadmaps for Path Planning in High-Dimensional Configuration Spaces (1996) L. Kavraki, P. Švestka, J.-C. Latombe, M. Overmars.
Princeton University COS 423 Theory of Algorithms Spring 2001 Kevin Wayne Approximation Algorithms These lecture slides are adapted from CLRS.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Hard Problems Some problems are hard to solve.  No polynomial time algorithm is known.  E.g., NP-hard problems such as machine scheduling, bin packing,
Minimum Spanning Trees CS 146 Prof. Sin-Min Lee Regina Wang.
Hard Problems Sanghyun Park Fall 2002 CSE, POSTECH.
A Theoretical Analysis of Multi-Agent Patrolling Strategies Patrolling = moving through a territory « visiting » areas The patrolling problem = given a.
Graphs Definition: a graph is an abstract representation of a set of objects where some pairs of the objects are connected by links. The interconnected.
1 Minimum Spanning Tree: Solving TSP for Metric Graphs using MST Heuristic Soheil Shafiee Shabnam Aboughadareh.
Hard Problems Some problems are hard to solve.  No polynomial time algorithm is known.  E.g., NP-hard problems such as machine scheduling, bin packing,
Trees.
Example robot cleared region robot’s visibility region hiding region 2
Traveling Salesman Problems Motivated by Robot Navigation
CS 326A: Motion Planning Probabilistic Roadmaps for Path Planning in High-Dimensional Configuration Spaces (1996) L. Kavraki, P. Švestka, J.-C. Latombe,
Last lecture Configuration Space Free-Space and C-Space Obstacles
The Art Gallery Problem
The Art Gallery Problem
András Sebő and Anke van Zuylen
Path Planning using Ant Colony Optimisation
traveling salesman problem
Stefan Oßwald, Philipp Karkowski, Maren Bennewitz
Lecture 24 Vertex Cover and Hamiltonian Cycle
Presentation transcript:

Randomized Planning for Short Inspection Paths Tim Danner and Lydia E. Kavraki 2000 Presented by David Camarillo CS326a: Motion Planning, Spring Prof. Jean-Claude Latombe

Inspection Problem Given: –Known workspace W –Observer traveling on path p in W –Omni-directional camera w/ visibility constraints Compute: A short path s.t. the entire boundary (  W ) of the workspace is visible at some point on the path Applications: Inspection of bridges, space station, or any other structures Exploration of virtual worlds W WWWW p

Visibility “Visible” The line of sight from the guard point to the point in question lies entirely in the workspace W Constraints – Max. viewing distance – Max. angle of incidence

Visibility (cont’d) The node can only see the resulting red lines

Visibility (cont’d) Some environments can’t be fully covered If this ‘corner’ angle is less than

Inspection Strategy Step 1: Perform sensing operation at discrete points; Guard Selection –To find a true minimal set of ‘art gallery’ guards is NP-hard –Use Randomized, Incremental algorithm [Gonzalez-Banos, Latombe 1998] Step 2: Remaining portion of path is transportation; Guard Connection –n! ways to visit n points –Approximation to TSP* using Shortest Paths Graph * Traveling Salesman Problem

Step 1: Guard Selection Algorithm Randomized, incremental approach While unguarded border exists, 1: Randomly pick an unguarded point p from 2: Find region which can see p under visibility constraints 3: Pick k samples from the region 4: Find the sample that can guard the most new length of border and pick this as a guard 5: Update the border representation (balanced tree)

Step 1: Guard Selection (cont’d) Randomized, incremental approach

Step 2: Guard Connection Traveling Salesman Problem –Preorder walk of a minimum spanning tree has total length less than or equal to twice the weight of a shortest Traveling Salesman tour Guard distribution Minimum spanning tree Preorder walk – TSP Requirements Workspace connected (complete graph) Triangle inequality:

Step 2: Guard Connection (cont’d) –Workspace-guard roadmap One node for each guard One node for each vertex on border of workspace One edge for each pair of nodes visibility graphShortest path generated using search of visibility graph Shortest Paths Graph

Step 2: Guard Connection (cont’d) Optimized Graph Building –Complete graph of n nodes yields n 2 edges –Desirable to keep the guard connection step sub-quadratic: Each node is only connected to a constant number of nearby nodes Number of computed shortest paths reduced to O(n)

Step 2: Guard Connection (cont’d) Shortest Paths Graph complete – A complete graph since the inspection problem has connected workspace – Composed of shortest paths which satisfy the triangle inequality Can be approximated to TSP and can use minimum spanning tree

Experimental Results guard selectionguard connectiontestnumber of guardsconstraints sec sec sec sec sec sec. 60 deg./1 grid 60 deg./none none Test 2Test 3 Most of the computation time is spent computing visibility polygons Possible future improvement in utilizing maximum constraint and ignoring distant workspace features

Future Works Practical Criteria for path optimality (ex. dynamics, lowest fuel consumption) Flexibility by replacing nodes with small regions Directional cameras

Algorithm for 3D Basic procedure unchanged Challenge: Very hard to compute a visibility polyhedron Solution: Avoid explicit representation

Step 1: Guard Selection Use of the visibility polyhedron –Visible surface determination Arrange faces in front-to-back order using Binary Space Partitioning tree Find the visible surfaces by clipping –Sampling in the visibility polyhedron Represent visibility constraints as the intersection of a sphere and a cone Sample in the intersection and check for visibility

Step 2: Guard Connection No simple algorithm to compute optimal shortest paths Random points in the free space are chosen instead of obtaining workspace-guard roadmap

Preliminary Results 2 unit cubes: computed in 20 sec. 4 cubes and 3 tetrahedra: 143 sec.