Path Planning For A Tethered Robot Using Multi-Heuristic .

3y ago
26 Views
2 Downloads
927.37 KB
8 Pages
Last View : 20d ago
Last Download : 3m ago
Upload by : Konnor Frawley
Transcription

Path Planning for a Tethered Robot using Multi-Heuristic A* withTopology-based HeuristicsSoonkyum Kim1 and Maxim Likhachev2Abstract— In this paper, we solve the path planning problemfor a tethered mobile robot, which is connected to a fixedbase by a cable of length L. The reachable space of therobot is restricted by the length of the cable and obstacles.The reachable space of the tethered robot can be computedby considering the topology class of the cable. However, it iscomputationally too expensive to compute this space a-priori.Instead, in this paper, we show how we can plan using arecently-developed variant of A* search, called Multi-HeuristicA*. Normally, the Multi-Heuristic A* algorithm takes in afixed set of heuristic functions. In our problem, however, theheuristics represent length of paths to the goal along differenttopology classes, and there can be too many of them and notall the topology classes are useful. To deal with this, we adaptMulti-Heuristic A* to work with a dynamically generated setof heuristic functions. It starts out as a normal weighted A*.Whenever the search gets trapped in a local minimum, we findthe proper topology class of the path to escape from it and addthe corresponding new heuristic function into the set of heuristicfunctions considered by the search. We present experimentalanalysis comparing our approach with weighted A* on planningfor a tethered robot in simulation.I. INTRODUCTIONIn extreme environments such as disaster areas, wirelesssignal may not be strong enough for an operator to communicate to a robot [16], [19]. For example, this was the casewhen robots were deployed in the reactor building after thedisaster of Fukushima due to the radioactive environment [8].In such cases, using power and communication cables totether the robot can effectively solve such problems [5].Tethering also helps in deploying robot in environments withlimited accessibility. For example, Nassiraei et al. designeda tethered sewer pipe inspection robot to work instead ofa human operator to decrease the cost and to speed-up theinspection [17]. Also, tethered mobile robot can be used tomaintain and construct highways [12].Tethering also used whenever size limits or actuationpower make it impossible for a robot to carry its own powersupply. For example, a number of prototypes of micro robotsuse external power source to actuate the motors or sensorsas shown in Figure 1(a) [6] and Figure 1(b). These robotsare tethered.While tethering solves communication and power problemfor mobile robots, it also causes challenges in control andplanning. In general, the cable is stiff and has finite length,1 Soonkyum Kim is a Postdoctorial Fellow of Robotics Institute, CarnegieMellon University, 5000 Forbes Avenue, Pittsburgh, Pennsylvania, 15213,USA kim.soonkyum@gmail.com2 Maxim Likhachev is a Research Assistant Professor of Robotics Institute, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, Pennsylvania, 15213, USA maxim@cs.cmu.edu(a) A picture of a flappingwing microrobot prototypetaken from (Chirarattananon,Ma, and Wood 2013).Fig. /www.wired.com/2011/12/robottunnels/all/Examples of tethered robotswhich restricts the workspace of the mobile robot around thefixed base point. Also, due to obstacles, certain robot posesbecome reachable only under specific cable configurations(the topology class of the cable).In this work, we consider the path planning problem for atethered mobile robot. The work space of the tethered robot isrestricted by the cable of maximum length L which connectsthe robot to a fixed base. This workspace can be calculatedby considering the homotopy class of the cable [14], which iscomputationally too expensive for online planning. Instead ofrelying on this preprocessing, we consider the topology classof the path and cable to guide a heuristic search in the formof heuristics. Recently-developed Multi-Heuristic A* allowsto deal with numerous inadmissible heuristic functions whileguaranteeing the suboptimality bound [2]. As there couldbe too many possible topology classes and correspondingheuristic functions and not all of them are useful during thesearch, we propose a Topology-based Multi-Heuristic A*,which starts as a normal weighted A* [18] but shifts to MultiHeuristic A* by adding new heuristic functions to escapefrom local minima.II. R ELATED W ORKThere has been active research on path planning fortethered mobile robots. Some early work has considered atangle-free path planning of a group of tethered mobilesrobots in obstacle-free environments [11]. In contrast, ourapproach can handle arbitrary obstacles.Finding the shortest path for a tethered mobile robotwas studied in [23], [24]. The authors triangulated theenvironment by using all the edges of polygonal obstacles as

edges of triangles. Then the authors built the visibility graphto find the shortest path. However, the suggested algorithmsuffers from the computational complexity associated withthe number of vertex of obstacles. In addition, our approachis not constrained to polygonal obstacles.Homotopy class of the cable was considered in [13] tosolve a similar problem. However, the authors did not usethe homotopy invariant but considered the path length to thenode to distinguish paths in different homotopy classes. Thisrepresentation of homotopy class is based on the metric information of the path and can lose some important informationabout the paths. This loss of information can result in failureto distinguish paths in different homotopy classes and maylead to finding solutions that are infeasible. For example,they will not be able to differentiate between two paths ofthe same length even if one passes an obstacle on the rightand the other one on the left. In our work, we do considerthe homotopy invariant and build an augmented graph tohandle the topology information of path and cable. As aresult, the solutions found by our approach are guaranteedto be feasible.Motion planning for a tethered axel rover on steep terrainwas studied in [1]. They also consider the homotopy classof the path of round trip path to the goal to minimize thepossibility of entanglement of the cable. This work was laterextended to an online motion planning algorithm to deal withpartially known environment [21]. Also, finding the coveragearea is another form of planning problem. In [20], the authorssolved the planning problem for a tethered mobile robot toexplore and cover the partially known environment and returnto the base point, which also works as the starting point. Inour work, we consider arbitrary starting position and cableconfigurations.The shortest path of a tethered mobile robot can be generated by relying on pre-computation of the reachable space,which is computationally expensive [14]. We avoid this precomputation and propose a novel algorithm to consider thetopology class of the cable and robot path to focus thesearch. This method results in fast computation of boundedsuboptimal paths.III. T HE P RELIMINARIESIn this section, we discuss the topology of curves, whichcould be paths or cables. Since the notion of topology wasalready introduced in various literature [7], [9], [10], [22],[3], we will briefly discuss the topology required in ourpaper. Throughout this paper, we follow the same notationsas [14].We consider the workspace or search space, W 2 as asimply connected and bounded region on plane. We have marbitrary-shaped obstacles of O {O1 , O2 , . . . , Om }. Weconsider a path or cable in the workspace as a curve on theplane. Two curves, connecting the same start and end points,are homotopic if and only if one can continuously deform tothe other without intersecting any obstacles. We call the setof curves that are homotopic homotopy class. For example,the two curves, τ1 and τ2 in Figure 2(a) are homotopic andin the same homotopy class. However, τ3 is not homotopicto these two curves as it cannot deform to τ1 or τ2 becauseof the obstacle, O1 .Homotopy invariant is a function of curves that will returnthe same value for all the curves in the same homotopy classand the different values for pairs of curves that lie in differenthomotopy classes. In general, it is not easy to find or designsuch a function. In a 2-dimensional plane, however, one canfind a relatively simple and easy homotopy invariant. To dothis, we choose reference points inside of each obstacle, ζi (xr,i , yr,i ) Oi . Then we set the reference ray, ri , for eachobstacle to start from the corresponding reference point in thedirection of [0, 1]T . These reference rays serve to computethe homotopy invariant, word, of the given curve. We canthen represent the homotopy class of the given curve, h(·),by building a word to trace the curve while consecutivelyappending a letter corresponding to the reference ray that thecurve crosses. For example, if the curve crosses the referenceray ri from left to right, we add “ri .” When the curvecrosses the reference ray from right to left, we add “ri 1 .”Figure 2(b) shows an example (borrowed from [14]), thehomotopy invariant of the curve γ is h(γ) “r2 r3 r5 r6 1 .”Note that “r4 r4 1 ” gets evaluated to an empty word, “”.Homology is a similar concept to homotopy but slightlydifferent. Two curves, connecting the same start and endpoints, are homologous if and only if they form a boundary ofa 2-dimensional region that does not contain or intersect anyobstacles. If two curves are homotopic, they are homologous.However, the inverse is not necessarily true. Figure 2(c)shows an example that the two curves, τ1 and τ2 , are homologous but not homotopic. The homology invariant of thecurves was defined as H-signature of the curve [3]. The Hsignature is not unique and can be designed in several waysincluding Cauchy-Integration [3], [4]. In this work, we usethe H-signature introduced in [15] because this H-signatureis designed to count the number of crossing with referencerays, 1 for left-to-right and 1 for right-to-left. This function can be calculated from the homotopy invariant, word,defined above by counting the number of the correspondingletters appearing in the word. For example, the H-signatureof the curve γ in Figure 2(b) is H(γ) [0, 1, 1, 0, 1, 1]T ,where ith components correspond to obstacle Oi .IV. P ROBLEM F ORMULATIONIn this paper, we solve the problem of planning a pathfor a tethered mobile robot from the given initial positionand cable configuration to the goal while satisfying thecable length constraint. We set the maximum cable lengthas L. We represent the problem as searching for a pathin a homotopy invariant augmented graph. The vertex ofthe augmented graph, (q, w), includes the position of therobot and homotopy class of the cable, respectively. Also,to decrease the computation load, we add a variable, calledcable length l, which is initialized as the length of initialcable configuration at the start vertex and is updated atevery generated state based on its predecessor’s l and thetransition. Each vertex is feasible if the position of the robot

r1xgO3r2r3 r4r5 r6qgζ3τ2τ1qsO1τ3γζ1O1 O2ζ4ζ2xsτ1ζ6– ζ5xgO3–xsO2τ2(a) Example where τ1 and τ2 are homotopic. τ1 (b) ζi are representative points inside the obsta- (c) Example where two curves (τ1 and τ2 ) areand τ3 are not homotopic because of obstacle cles, O1 , O2 , · · · , Om (in that order), and ri are homologous but not homotopic.rays emanating from the respective points. TheO1 .homotopy invariant of this curve γ is h(γ) “r2 r3 r5 r6 1 ”.Fig. 2.We consider two topology classes of curves, homotopy class and homology class.is obstacle free and if this configuration is reachable [14].In other words, the given position is reachable if there is atleast one feasible cable configuration, satisfying cable lengthconstraint and is obstacle free, under the given homotopyclass, w. It is a sufficient condition of the reachability that thedependent variable l is less than the maximum cable length,l L. So, whenever l is longer than the cable length, we runthe l curveShorten(s, O), described below, which returnsthe length of the shorten path connecting the given state s andthe fixed base from the given state s and a set of obstaclesO. Then we update the value of l. If the updated value of lis smaller than the maximum cable length L, this vertex isfeasible. Even when the updated value of l is greater thanL, there can be a curve that is homotopic to the extractedpath and its length is shorter than L. So this method is aconservative way to find or build a feasible and reachablespace of the tethered mobile robot. The following is the briefalgorithm for the CurveShorten function that was also usedin [14]. (Here, we keep track of which obstacles, Oc , areblocking the visibility to remove unnecessary computationin the later part of the planner.)Algorithm CurveShorten:1) curveShorten(s, O {O1 , O2 , . . . , Om })2) P [v0 qb , v1 , . . . , vn s] extractP athT o(s);3) l 0, Oc ;4) i 0, j 0;5) while j n6)if j n AND qi qj 1 O 7)j j 1;8) else9)l l kqi qj k;10)i j;11)add k into Oc s.t. qi qj 1 Ok 6 12) l l kqi qj k;13) return (l, Oc )In the above algorithm extractP athT o(s) generates thesequence of vertices from the state to the initial configurationby backtracking the path from the given vertex, s, to theinitial configuration of the robot and appending the initialcable configuration as a sequence of connected states. Thenthis sequence lies in the same homotopy class with thecable configuration of the given vertex s. To speed upand improve the performance of the curveShorten(), wetrace all the vertices on this sequence to find a pair ofvertices that have the same x value and the same homotopyinvariants. If the path segment connecting these verticesis not a straight vertical line and if such vertical straightline segment is feasible, we can replace the path segmentwith this vertical straight line because the process does notchange the homotopy class of the path and the replacedsegment is definitely shorter than the original segment. Thegreen vertical line of the Figure 3(a) shows an example ofsuch replacement. However, the red vertical line is obstaclefree but cannot replace the original path as it will changethe topology class of the path. By doing so, we run thecurveShorten() with slightly different and shorter initialpath than the one in [14]. This additional procedure helpsto avoid finding locally optimal solutions. The red curve inFigure 3(b) shows an example of the shortened path achievedby the above curveShorten() from the given initial path ofthe blue curve.V. T OPOLOGY- BASED M ULTI -H EURISTIC A*A. Heuristic functions considering topologyTo search the graph we use a heuristic search. As such,it relies heavily on having a good heuristic function that forany state s estimates the cost of reaching a goal state froms.In this work, we minimize the travelling distance of therobot on a plane. The most common admissible heuristicin 2D search is the Euclidean distance to the goal. In thiswork, we choose the Euclidean distance as the admissibleheuristic of the search. However, the search could be trappedin local minima, which are usually caused by obstacles thatblock the movement of the cable while exploring the search

r1r2r1O1r2O1xbO2sxbO2s(a)ExampleofextractP athT o(s). The bluecurve is the path extracted bybacktracking form s to the base.The vertical green curve can replacethe dashed part of the blue curvebecause this replacement does notchange the topology class of thepath. However, the vertical redcurve is not acceptable as it willchange the topology class of thepath.Fig. 3.(b) Example of curveShorten.The blue curve is the initial sequence of states achieved fromextractP athT o(s). The red curveis the line segments, qi qj , inline 9 and 12 of the AlgorithmCurveShorten. So the length ofthis red curve is the value ofcurveShorten(), which is shorterthan the length of the blue curve.Example of Algorithm curveShorten.space guided by a heuristic function which does not considerthe cable length constraint and obstacles. If there are someadditional heuristic functions to help escaping from theselocal minima, they can decrease the computation. To this end,we consider the topology-based additional heuristic functionsto calculate the length of the shortest path under specifichomology classes. In the following section, we explain howthese heuristic functions are being used.The heuristic function we design calculates the length ofthe shortest path from the given position, qc , to the goalposition, qg , while considering the change of the H-signaturevalue corresponding to the given obstacle, Oi . There arethree different types of heuristic functions: not changing thevalue of H-signature, increasing the value of H-signatureand decreasing the value of H-signature. However, it is nottrivial to compute such functions as they also depend onthe size and shape of the obstacles. We therefore designeda heuristic function which finds the under-estimated lengthof the path by considering the corresponding obstacle as avertical line segment and ignoring other obstacles. For eachobstacle, we define ymin,i min(x,y) Oi y s.t. x xr,iand ymax,i max(x,y) Oi y s.t. x xr,i . We then considerOi and a vertical line segment connecting (xr,i , ymin,i ) and(xr,i , ymax,i ), which is the longest vertical line inside of Oicontaining ζi . Then we can calculate the length of the pathfrom given position to the goal to change or maintain thehomology class corresponding to obstacle. The followingalgorithm shows how to calculate such distance by usingsymmetry of the problem.Algorithm heuristic functionconsidering homology class:1) procedure distNotToChange(qc (xc , yc ),qg (xg , yg ), Oi )2) if xc xg3)return distNotToChange(qg , qc , Oi )4) if xc xi and xi xg5)if (yg yc )(xi xc ) (ymin,i yc )(xg xc )6)return dist(xc , yc , xi , ymin,i ) dist(xi , ymin,i , xg , yg )7) return dist(xc , yc , xg , yg )8) procedure distIncrease(qc (xc , yc ),qg (xg , yg ), Oi )9) if xc xg10)return distDecrease(qg , qc , Oi )11) if xi xc12)return dist(xc , yc , xi , ymin,i ) (ymax,i ymin,i ) dist(xi , ymax,i , xg , yg )13) if xi xg14) if (yg yc )(xi xc ) (ymax,i yc )(xg xc )15)return dist(xc , yc , xg , yg )16) else17)return dist(xc , yc , xi , ymax,i ) dist(xi , ymax,i , xg , yg )18) return dist(xc , yc , xi , ymax,i ) (ymax,i ymin,i ) dist(xi , ymin,i , xg , yg )19) procedure distDecrease(qc (xc , yc ),qg (xg , yg ), Oi )20) if xc xg21)return distIncrease(qg , qc , Oi )22) if xi xc23)return dist(xc , yc , xi , ymax,i ) (ymax,i ymin,i ) dist(xi , ymin,i , xg , yg )24) if xi xg25)return dist(xc , yc , xi , ymin,i ) 2(ymax,i ymin,i ) dist(xi , ymax,i , xg , yg )26) return dist(xc , yc , xi , ymin,i ) (ymax,i ymin,i ) dist(xi , ymax,i , xg , yg )27) proceduredist(x1 , y1 , x2 , y2 )p28) return (x1 x2 )2 (y1 y2 )2In our algorithm, we will be adding new heuristic functionswhenever the search is trapped in the local minimum. Aspart of this process, we will be figuring out which heuristicfunction helps to escape from this local minimum. We startwith the empty set of additional heuristic functions, Hadd . Whenever we expand vertices in a local minimum, wefind a critical obstacle by assuming that this local minimumis caused by the cable length constraint. The followingdescription of the algorithm shown in incHeuristics(s) showshow it works for a vertex s. First, we find the obstaclesthat block the visibility, which causes the cable to detour.Then, we find the most dominant obstacle by running andcomparing the result of curveShorten() with different setsof obstacles. Then we add the desired homology class of thepath to pass the chosen obstacle in opposite direction.

Algorithm add new heuristic function:1) procedure incHeuristic(s)2) (lc , Oc ) curveShorten(s, O);3) find Ok minimizes lk curve

heuristic functions and not all of them are useful during the search, we propose a Topology-based Multi-Heuristic A*, which starts as a normal weighted A* [18] but shifts to Multi-Heuristic A* by adding new heuristic functions to escape from local minima. II. R ELATED W ORK There has been active research on path planning for tethered mobile robots.

Related Documents:

Bruksanvisning för bilstereo . Bruksanvisning for bilstereo . Instrukcja obsługi samochodowego odtwarzacza stereo . Operating Instructions for Car Stereo . 610-104 . SV . Bruksanvisning i original

10 tips och tricks för att lyckas med ert sap-projekt 20 SAPSANYTT 2/2015 De flesta projektledare känner säkert till Cobb’s paradox. Martin Cobb verkade som CIO för sekretariatet för Treasury Board of Canada 1995 då han ställde frågan

service i Norge och Finland drivs inom ramen för ett enskilt företag (NRK. 1 och Yleisradio), fin ns det i Sverige tre: Ett för tv (Sveriges Television , SVT ), ett för radio (Sveriges Radio , SR ) och ett för utbildnings program (Sveriges Utbildningsradio, UR, vilket till följd av sin begränsade storlek inte återfinns bland de 25 största

Hotell För hotell anges de tre klasserna A/B, C och D. Det betyder att den "normala" standarden C är acceptabel men att motiven för en högre standard är starka. Ljudklass C motsvarar de tidigare normkraven för hotell, ljudklass A/B motsvarar kraven för moderna hotell med hög standard och ljudklass D kan användas vid

LÄS NOGGRANT FÖLJANDE VILLKOR FÖR APPLE DEVELOPER PROGRAM LICENCE . Apple Developer Program License Agreement Syfte Du vill använda Apple-mjukvara (enligt definitionen nedan) för att utveckla en eller flera Applikationer (enligt definitionen nedan) för Apple-märkta produkter. . Applikationer som utvecklas för iOS-produkter, Apple .

WHITE PAPER — HARC-TD*: Tethered Small UAS Developed and Optimized as a Communications Relay Platform 1.0 Executive Summary Persistently hovering up to 75-m (250-ft) above ground level (AGL) in all weathers, winds of 30 mph, and with a service ceiling of 5500-m (18,000-ft), the tethered HARC-TD system provides highly expeditionary, persistent

DAC DAC ADC ADC. X19532-062819. Figur e 2: RF-ADC Tile Structure. mX0_axis Data Path ADC VinX0 mX1_axis Data Path ADC VinX1 mX2_axisData Path ADC VinX2 mX3_axis Data Path ADCVinX3 mX3_axis mX1_axis ADC mX0_axis Data Path ADC Data Path ADC VinX_23 VinX_01 Data Path Data Path Dual RF-ADC Tile Quad RF-ADC Tile. X23275-100919. Chapter 2: Overview

The “Agile Software Development Manifesto” was developed in February 2001, by representatives from many of the fledgling “agile” processes such as Scrum, DSDM, and XP. The manifesto is a set of 4 values and 12 principles that describe “What is meant by Agile". THE AGILE VALUES 1. Individuals and interactions over processes and tools 2. Working software over comprehensive .