久久ER99热精品一区二区-久久精品99国产精品日本-久久精品免费一区二区三区-久久综合九色综合欧美狠狠

博客專欄

EEPW首頁 > 博客 > 機器人運動規劃方法綜述(2)

機器人運動規劃方法綜述(2)

發布人:計算機視覺工坊 時間:2023-05-20 來源:工程師 發布文章
針對僅有一個起始-目標構型對的單疑問(Single-Query)運動規劃問題,僅需覆蓋與構型對相關的部分圖片即可,預計算不能帶來任何好處。大多數基于采樣的單疑問規劃算法都選擇以逐步構建稠密搜索樹的方式來探索C-space,而不用提前設定采樣點數量。只要算法構建的路徑集足夠豐富,那么將找到一個解,該特點使其適合于在線執行。基于采樣的單疑問運動規劃算法可被統一至遞增采樣與搜索(Incremental Sampling and Searching)的框架下:

步驟1初始化,無向拓撲圖圖片的節點集圖片初始時一般包含起始構型圖片和 目標構型圖片步驟2節點選擇方法(Node Selection Method,NSM),選擇一個節點圖片進行擴展。步驟3局部規劃方法(Local Planning Method,LPM),選擇新的構型點圖片,試圖構造路徑圖片,使得圖片圖片圖片。用碰撞檢測算法確保圖片,否則返回步驟2。步驟4在圖中插入一條邊,將圖片作為連接圖片圖片的邊插入圖片中。若圖片 不在圖片中,也將其插入。步驟5對解進行檢驗,確定圖片是否已經編碼了一條解路徑。步驟6返回步驟2。步驟2中的NSM類似于圖搜索算法中的優先隊列(Priority Queue),而步驟3中的 LPM之所以稱為局部的,是因為其并不嘗試解決整個規劃問題,而是每次僅產生較短且簡單的無碰路徑段。對于非完整系統,LPM也可稱為Steering方法。現有算法大多都是步驟2和步驟3有所不同,其中最著名的應是擴張空間樹(Expansive Spaces Tree,EST)和快速擴展隨機樹(Rap?idly Exploring Random Tree,RRT)。前者將待擴展節點被選擇的概率設置為關于樹上節點分布密度的反比例函數,并在該節點周圍一定范圍內隨機選擇新的構型點進行擴展,從而保障了采樣樹的稠密生長。后者則通過定義一個無窮、稠密采樣序列,并利用 NEAREST函數為每個采樣點選擇其在圖片中的最近點來迭代生長(參見圖4)。圖片圖4 RRT算法流程正是因為每個節點被選擇的概率與其對應Voronoi區域的測度成正比,才保證了算法的快速擴展特性。兩種方法的概率完備性也已在原文中得到證明。值得一提的是,PRM算法的變體也可用于單疑問運動規劃問題:其先在忽略障礙物的情況下構建概率路圖,待找到可行路徑時僅對該路徑進行碰撞檢測。若某條邊或節點發生碰撞,則將其移除并重新增強路圖進行路徑搜索和碰撞檢測。Lazy PRM的思想來源是碰撞檢測耗費了算法90%以上的時間,且對單疑問運動規劃問題來說大部分邊的碰撞檢測是無用的。在大多數應用中,解路徑的品質亦十分重要,一般除可行性外還存在最優性要求,如最短長度路徑、最短時間路徑等。但可以證明,標準的PRM算法和RRT算法均不具 備漸進最優性。經典方法是利用啟發式圖搜索算法提供最優性保證,不過這種最優性受限于網格分辨率,且最壞情況下的運行時間隨空間維數呈指數增長。Karaman和Frazzoli通過修改鄰近點選取方法和局部節點連接方式(在文章中分別對應Near Vertices和Rewire),提出了概率完備的漸進最優算法—PRM*、快速擴展隨機圖(Rapidlyexploring Random Graph,RRG)和RRT*(算法流程參見圖5和圖6),且后兩種算法具有Anytime特性。其雖不能完全克服經典方法的缺點,但的確在當時提供了一個保證算法漸進最優性的新視角。以RRT*為例,算法在Near verti?ces步驟中用變化球半徑的方式選擇圖片的鄰近采樣點,其中半徑為圖片圖片圖5 PRM*算法流程式(3)是采樣離散度的函數,并隨采樣點數量圖片的增加而減小,圖片為構型空間維數,圖片是與環境相關的參數。在Rewire步驟中,首先將qnew連接至能為其提供更低代價的鄰近節點上,其次若圖片能為剩余某些鄰近節點提供更低的代價,則將該鄰近節點的父節點設置為圖片。一些關于PRM*和RRT*理論分析的改進近來也已被提出。上面的論述詳細探究了SBMP的思想內涵,列舉了幾種經典的SBMP 算法以及它們的優缺點和適用場景。至于該算法框架中最近點函數、距離度量、局部規劃器、碰撞檢測模塊的選擇,在此不過多贅述。另外在經典SBMP算法的基礎上,目前也已產生了許多算法加速策略,本節余下部分將圍繞這一主題展開。圖片圖6 RRT*算法流程
1.2.1 利用確定性采樣方式提升算法性能
SBMP算法最初都使用了隨機采樣方式,那么一個問題是:如果以確定性方式進行采樣,相關的理論保證和實際性能還會成立嗎?答案是肯定的,確定性規劃器可以簡化證明過程,可以將一部分在線計算量變為離線計算(這對考慮微分約束的規 劃和高維空間中的規劃尤其有意義)。另外對于柵格序列,亦可簡化操作量(如定位相鄰點)。以PRM為例,實質上“概率性”對其是不重要的,反而會導致采樣點的不規則分布,使連通性信息的捕捉變得更加復雜。Lavalle等將局部規劃器引入經典網格搜索,發展了子采樣網格搜索(Subsampled Grid Search,SGS)算法,并將確定性的低差異度采樣技術引入PRM,發展了 擬隨機路圖算法(Quasi-Random Roadmap)和柵格路圖(Lattice Roadmap)算法,進行對比實驗后發現:相較于分辨率完備的確定性采樣方法(包括網格搜索),原始的PRM算法并沒有體現出優勢。故文章對“隨機性是打破高維空間維數詛咒的必要分量”這一說法進行了駁斥,事實上為了維持固定的離散度,任何采樣 方案都需要與維數成指數關系的采樣點數量。但Lavalle等的工作僅限于討論可行路徑,就收斂到最優路徑而言,獨立同分布采樣是否還有優勢?Jason等針對 PRM算法進行了討論(設圖片為從自然數集到實數集的映射,約定圖片表示存在某個自然數圖片和正實數圖片,使得對于所有圖片圖片圖片表示存在某個自然數圖片和正實數圖片,使得對于所有圖片圖片圖片表示圖片:1)確定性漸進最優性,在圖片維空間中,使用圖片離散度的上界為圖片,連接半徑圖片的確定性采樣序列的PRM算法是確定性漸進最優的。而使用獨立同分布隨機采樣序列的PRM*算法是概率性漸進最優的,且需要更大的連接半徑圖片2)收斂率,在沒有障礙物的情況下,采用確定性采樣序列的PRM的次優因子上界為圖片,其中圖片是采樣序列的圖片離散度(存在障礙物時的結果更復雜一點)。而采用獨立同分布采樣的類似結果僅是概率成立,且更加繁瑣和難以理解。3)計算復雜度和空間復雜度,在低離散度柵格上運行PRM的計算復雜度和空間 復雜度為圖片。由于可以用圖片來獲得漸近最優性,故PRM存在一個計算復雜度和空間復雜度為圖片的漸近最優版本。而使用獨立同分布采樣的復雜度結果為圖片量級。可以看出確定性方法在需要更小的連接半徑的同時,具有更好的計算復雜度和時間復雜度。本質原因在于確定性低離散度序列和獨立同分布序列間離散度的差異,二者分別為圖片圖片。另外,從使用低離散度柵格的PRM中得到的結果在其他一些情況下也精確或近似地成立,如k-nearest-neighbor算法、批處理算法、非柵格的低離散度采樣序列(如Halton序列)、非均勻采樣和含微分約束的規劃等。多類實驗結果表明:對于給定數量的采樣點,確定性低離散度采樣不會差于獨立同分布采樣。因而結合Lavalle的結論,Jason等建議基于SBMP算法都應使用非獨立同分布的低離散度采樣序列。1.2.2 利用收集到的圖片形狀信息改善采樣分布事實上圖片中的可視特性并非均勻分布,且描述整個圖片可視特性的圖片取決于其中最差的構型和lookouts。當含有狹窄通道時,以上3個參數就會減小。而為了保證算法的失敗概率不超過圖片,由式(2)可知所需的均勻采樣點數量隨即大幅增加。如果規劃器能根據已有的或運行過程中收集到的信息對圖片的形狀做出概率上的推測,則可以此推測來偏置采樣點分布,使其能更好地捕捉C-space的連通特性,從而減少所需的采樣點數量,提高算法效率。但顯式維持該概率模型的代價很高,因此早期研究僅是用啟發式來近似最優采樣策略,其本質上是一種離線方法。包括基于工作空間的策略、基于障礙物的策略、基于可視性的策略、Bridgetest采樣策略等。但由于基于可視性的策略采用的是拒絕采樣方式,故實際使用中的效果不太理想。自適應采樣則在線調整采樣點的分布。Hsu等將以上離線偏置采樣方法線性加權,并在每次采樣后調整權重,稱為混合PRM采樣策略。由于“邊界點”一般有更大的Voronoi偏置卻不能被成功擴展,Yershova等針對含有復雜幾何的運動規劃問題,提出了將“邊界點”采樣域限制在以預設值為半徑的球內的Dynamic Domain RRT(DD-RRT)方法。Jaillet等則根據“邊界點”成功擴展的概率來調整邊界域半徑,實驗結果表明Adaptive Dynamic-Domain RRT(ADD-RRT)在大多數實驗場景下都比原始RRT的性能高出數個量級。對于多疑問運動規劃問題,Burns和Brock建立了表示圖片形狀的混合高斯模型和k-nearest-neighbor模型],并用采樣信息更新該模型。前者最大程度地減小模型方差,后者則用期望效用來引導采樣。相應結果同樣被擴展至單疑問運動規劃問題,在提升計算效率的同時也增強了規劃器的魯棒性。1.2.3 利用解路徑代價和尚需代價的估值導引采樣分布隨著采樣點數量趨于無窮,雖然RRT*可以保證漸進收斂到最優解,但這種按照隨機次序進行搜索的方式在無用狀態上浪費了大量計算時間,降低了算法效率,使其難以應用到一些實際問題中,如****空間(即室外環境中的規劃)和高維空間(即機械臂的規劃)。因而啟發式被用來或縮小搜索區域,或安排搜索次序。heuristically-guided RRT(hRRT)算法以與啟發代價成反比的概率選擇采樣點,使采樣樹朝著低代價區域生長,從而得到質量更好的次優路徑。Anytime RRT迭代地用前次的解來界定本次的搜索范圍,用與hRRT類似的思路選擇待擴展節點,使解路徑的代價隨運行次數不斷下降,但并未提供最優性保證,且前次采樣點被不斷丟棄 ,信息復用率不高。Transition-based RRT將構型空間代價地圖與規劃問題作為輸入,用隨機優化方法決定是否保留新的采樣點,以使RRT朝著構型空間代價地圖的谷地和鞍點進行擴展。Karaman等通過“圖修剪”技術,周期性地移除那些當前代價與啟發式代價之和大于已有最路徑代價的頂點,發展了RRT*的Anytime版本。Hauser則在“圖修剪”技術的基礎上結合Lazy檢測,提出了Lazy-PRM*算法和Lazy-RRG*算法。Akgun和Stilman、Islam等均采用了路徑偏置方法,即通過增加當前解路徑節點鄰域的采樣頻率來加速RRT*的收斂,但該方法基于不切實際的同倫假設且需持續全局采樣以規避局部極小值。除此之外,前者還用到了雙向搜索和采樣點拒絕(Sample-Rejection)技術,雖然一次采樣迭代消耗的時間極短,但隨著關注區域與圖片間體積比率的減小,找到一個可接受的采樣點所需的迭代次數也會增加,此時的計算量便再不容忽視。RRT#利用啟發式在由RRG遞增建立的圖上尋找并更新樹,并通過LPA*將變化傳播到整個圖中,從而有效維持了到每個頂點的最優連接。雖然用啟發式縮小搜索區域的方法帶來了一定的性能提升,但其仍采用了與RRT*類似的擴展次序,使得重要的、難以采樣的狀態由于目前不能連接到樹而被簡單丟棄,同時還可能浪費計算 時間。Informed RRT*首先運行原始的RRT*算法,待找到解后再直接在不斷縮小的橢球形信息集內進行采樣(參見圖7)。相比于RRT#,Informed RRT*在橢球體積減少時,仍能有效提高收斂率和解路徑質量。圖片圖7 Informed RRT*算法流程至此所述方法雖然均在最優解的收斂速度上有所改進,但本質上其生長樹的方式都是無序的。Jason等用一種Marching方法,按Costto-Come遞增的次序(類似于 Dijkstra算法)搜索一批采樣點。其中空間近似和搜索的分離使得搜索次序獨立于采樣次序,但卻犧牲了Any?time特性。在搜索完成之前,FMT*不會返回解路徑。另外也與其它先驗離散方法一樣,如果解不存在,則搜索必須重新開始。Gammell等試圖將有信息的圖搜索算法和具有Anytime特性的RRT*算法統一至同一框架下,從而發展了一種可以有效解決連續空間路徑規劃問題的有信息、有 Anytime特性、有漸進最優保證且避免大量計算無用狀態的基于采樣的運動規劃算法—Batch Informed Trees(BIT*),該方法的主要貢獻在于維持潛在解路徑質量的優先級序列的同時利用分批采樣技術,使空間近似和空間搜索得以交替進行。一些BIT*的改進算法也已被提出:Advanced BIT*(ABIT*)使用類似于ARA*的次優啟發式因子快速找到初始解路徑,再以Anytime形式向最優解路徑收斂。Adaptively Informed Trees (AIT*)通過對稱雙向搜索來同時估計并使用一個精確的、針對特定問題的啟發式,可較好地適用于局部路徑評估較昂貴的情況。Regionally Accelerated BIT*(RABIT*)利用局部優化器來解決不能通過直線連接的狀態之間的連接問題,有助于在難以采樣的同倫類中找到路徑。除上述算法之外,為平衡最優性與計算效率間的矛盾,一些文章也通過放松關于最優性的要求,對漸近近優(Asymptotically Near Optimal)算法進行了討論。


*博客內容為網友個人發布,僅代表博主個人觀點,如有侵權請聯系工作人員刪除。



關鍵詞: AI

相關推薦

技術專區

關閉