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.

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.
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.
Greedy Algorithms Spanning Trees Chapter 16, 23. What makes a greedy algorithm? Feasible –Has to satisfy the problem’s constraints Locally Optimal –The.
Lecture 24 Coping with NPC and Unsolvable problems. When a problem is unsolvable, that's generally very bad news: it means there is no general algorithm.
1 The TSP : Approximation and Hardness of Approximation All exact science is dominated by the idea of approximation. -- Bertrand Russell ( )
NUS CS5247 Motion Planning for Camera Movements in Virtual Environments By Dennis Nieuwenhuisen and Mark H. Overmars In Proc. IEEE Int. Conf. on Robotics.
By Lydia E. Kavraki, Petr Svestka, Jean-Claude Latombe, Mark H. Overmars Emre Dirican
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.
1st Meeting Industrial Geometry Computational Geometry ---- Some Basic Structures 1st IG-Meeting.
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.
Automated Construction of Environment Models by a Mobile Robot Thesis Proposal Paul Blaer January 5, 2005.
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
Randomized Planning for Short Inspection Paths Tim Danner and Lydia E. Kavraki 2000 Presented by David Camarillo CS326a: Motion Planning, Spring
Math443/543 Mathematical Modeling and Optimization
Planning Paths for Elastic Objects Under Manipulation Constraints Florent Lamiraux Lydia E. Kavraki Rice University Presented by: Michael Adams.
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.
Probabilistic Roadmaps for Path Planning in High-Dimensional Configuration Spaces Kavraki, Svestka, Latombe, Overmars 1996 Presented by Dongkyu, Choi.
1 Vertex Cover Problem Given a graph G=(V, E), find V' ⊆ V such that for each edge (u, v) ∈ E at least one of u and v belongs to V’ and |V’| is minimized.
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.
UNC Chapel Hill M. C. Lin Overview of Last Lecture About Final Course Project –presentation, demo, write-up More geometric data structures –Binary Space.
CS 326A: Motion Planning Basic Motion Planning for a Point Robot.
Chapter 5: Path Planning Hadi Moradi. Motivation Need to choose a path for the end effector that avoids collisions and singularities Collisions are easy.
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
Visibility Graphs and Cell Decomposition By David Johnson.
Programming & Data Structures
Algorithms for Network Optimization Problems This handout: Minimum Spanning Tree Problem Approximation Algorithms Traveling Salesman Problem.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
The Traveling Salesman Problem Approximation
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.
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,
Administration Feedback on assignment Late Policy
Lecture 6 NP Class. P = ? NP = ? PSPACE They are central problems in computational complexity.
Minimum Spanning Trees CS 146 Prof. Sin-Min Lee Regina Wang.
Hard Problems Sanghyun Park Fall 2002 CSE, POSTECH.
Lecture 25 NP Class. P = ? NP = ? PSPACE They are central problems in computational complexity.
Example Apply hierarchical clustering with d min to below data where c=3. Nearest neighbor clustering d min d max will form elongated clusters!
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,
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,
Great Theoretical Ideas in Computer Science
Last lecture Configuration Space Free-Space and C-Space Obstacles
The Art Gallery Problem
The Art Gallery Problem
Path Planning using Ant Colony Optimisation
Stefan Oßwald, Philipp Karkowski, Maren Bennewitz
Presentation transcript:

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 Planning, Spring Prof. Jean-Claude Latombe

Inspection Problem Given: –Known workspace W –Robot with vision capabilities –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

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

Algorithm for 2D Step 1: Guard Selection –NP-hard to find a true minimal set of ‘art gallery’ guards –Use Randomized, Incremental algorithm [Gonzalez-Banos, Latombe 1998] Step 2: Guard Connection –n! orders to visit n points –Approximation to TSP* using Shortest Paths Graph * Traveling Salesman Problem

Step 1: Guard Selection 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 store it as a guard 5: Update the border representation (balanced tree)

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

Algorithm for 2D Step 1: Guard Selection –NP-hard to find a true minimal set of ‘art gallery’ guards –Use Randomized, Incremental algorithm [Gonzalez-Banos, Latombe 1998] Step 2: Guard Connection –n! orders to visit n points –Approximation to TSP* using Shortest Paths Graph * Traveling Salesman Problem

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 Computed tour (19.074) Optimal tour (14.715)

– Requirements Complete graph Triangle inequality Step 2: Guard Connection Computed tour (19.074) Optimal tour (14.715)

Step 2: Guard Connection (cont’d) –Characteristics One node for each guard One node for each vertex One edge for each pair of guards visibility graphLength of the shortest collision- free path assigned as weight to each edge (shortest path generated using visibility graph method) Shortest Paths Graph

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

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)

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 works to speed this procedure by using maximum constraint and filtering out workspace features far away

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.

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