近日，機(jī)器人頂會(huì)RSS （Robotics Science and System）公布了6篇最佳論文和最佳學(xué)生論文提名，其中9位華人學(xué)生/學(xué)者入選，論文一作占三席，他們分別是卡內(nèi)基梅隆大學(xué)博士生Chao Cao、麻省理工學(xué)院博士生Jingnan Shi以及佐治亞理工學(xué)院博士生Tianyu Wang。在機(jī)器人領(lǐng)域幾大頂會(huì)中，ICRA偏向自動(dòng)化應(yīng)用，IROS注重前沿研究，而RSS更偏重于機(jī)器人技術(shù)、算法和系統(tǒng)。官方稱，此次提名的6篇論文均在此做出了創(chuàng)新性貢獻(xiàn)。下面AI科技評(píng)論對(duì)幾位論文華人作者做簡(jiǎn)單介紹。論文1：TARE: A Hierarchical Framework for Efficiently Exploring Complex 3D Environments
卡內(nèi)基梅隆大學(xué)一年級(jí)博士生，在機(jī)器人研究所，跟隨Ji Zhang和Howie Choset.教授開展相關(guān)研究。此前曾參加過DARPA 地下挑戰(zhàn)賽，并擔(dān)任Team Explorer計(jì)劃負(fù)責(zé)人。他對(duì)機(jī)器人導(dǎo)航和運(yùn)動(dòng)規(guī)劃感興趣，最近主要研究機(jī)器人探索和傳感器覆蓋規(guī)劃。此前在香港大學(xué)獲得計(jì)算機(jī)科學(xué)學(xué)士學(xué)位，師從Jia Pan和Wenping Wang ，之后考入CMU RI，并在Matt Travers和Howie Choset 教授的指導(dǎo)下，獲得了機(jī)器人專業(yè)碩士學(xué)位。Hongbiao Zhu ：哈爾濱工業(yè)大學(xué)（HIT）博士研究生，師從Weidong Wang教授。同時(shí)也是卡內(nèi)基梅隆大學(xué)訪問學(xué)者，目前在機(jī)器人研究所與 Ji Zhang開展機(jī)器人自主探索和源定位相關(guān)研究。曾參加DARPA Subterranean 挑戰(zhàn)賽在Exolorer項(xiàng)目中排名第二。
Ji Zhang ：系統(tǒng)科學(xué)家、Kaarta（ CMU 的衍生公司）創(chuàng)始人和前任首席科學(xué)家，主要工作涉及利用范圍、視覺和慣性傳感將 3D 映射技術(shù)商業(yè)化。最近主要研究小型飛行器如何在復(fù)雜環(huán)境中高速飛行，并避開障礙物。研究方向涉及運(yùn)動(dòng)規(guī)劃、多機(jī)器人規(guī)劃與協(xié)調(diào)、感知與3D視覺識(shí)別、多傳感器數(shù)據(jù)融合等。
論文2：Optimal Pose and Shape Estimation for Category-level 3D Object Perception
麻省理工學(xué)院信息與決策系統(tǒng)實(shí)驗(yàn)室（LIDS）二年級(jí)博士生。目前在 SPARKlab 擔(dān)任研究助理，由 Luca Carlone 教授指導(dǎo)。研究領(lǐng)域包括機(jī)器人技術(shù)中的魯棒感知、算法工程和狀態(tài)估計(jì)。Heng Yang：麻省理工學(xué)院信息與決策系統(tǒng)實(shí)驗(yàn)室（LIDS）和機(jī)械工程系（MechE）在讀博士生。目前與Carlone教授 在SPARK（傳感，感知，自主性，機(jī)器人動(dòng)力學(xué)）實(shí)驗(yàn)室開展有關(guān)機(jī)器人感知，計(jì)算機(jī)視覺和優(yōu)化學(xué)習(xí)算法的研究。他希望通過在幾何視覺、魯棒估計(jì)和優(yōu)化方面的應(yīng)用經(jīng)驗(yàn)來(lái)提高機(jī)器學(xué)習(xí)和人工智能的效率、魯棒性、可解釋性。
論文3：Moving sidewinding forward: optimizing contact patterns for limbless robots via geometric mechanics
目前是佐治亞理工學(xué)院在讀博士生，軟機(jī)器人和生物設(shè)計(jì)實(shí)驗(yàn)室成員，在 Guoying Gu教授的指導(dǎo)下，主要研究復(fù)雜環(huán)境下蛇形機(jī)器人運(yùn)動(dòng)的柔順控制。研究興趣涉及動(dòng)態(tài)運(yùn)動(dòng)、運(yùn)動(dòng)規(guī)劃、經(jīng)典控制、實(shí)用最優(yōu)控制和強(qiáng)化學(xué)習(xí)。 在此之前，他碩士就讀于卡內(nèi)基梅隆大學(xué) (CMU)大學(xué)機(jī)械工程專業(yè)，師從Howie Choset教授。本科就讀于密歇根大學(xué)-上海交通大學(xué)聯(lián)合學(xué)院，并獲得了上海交通大學(xué) (SJTU)電氣與計(jì)算機(jī)工程學(xué)士學(xué)位。Shengkai Li：佐治亞理工學(xué)院物理學(xué)院博士生，主要研究興趣包括軟物質(zhì)、活性物質(zhì)、集體運(yùn)動(dòng)、統(tǒng)計(jì)力學(xué)、非平衡熱力學(xué)
Baxi Chong：佐治亞理工學(xué)院物理學(xué)院博士生。
論文4：Toward Certifiable Motion Planning for Medical Steerable Needles
北卡羅來(lái)納大學(xué)教堂山分校計(jì)算機(jī)科學(xué)系在讀博士生。目前在Ron Alterovitz教授領(lǐng)導(dǎo)的計(jì)算機(jī)器人研究組，從事醫(yī)療/手術(shù)機(jī)器人（例如可轉(zhuǎn)向針、同心管機(jī)器人和并行手術(shù)機(jī)器人）的檢查/運(yùn)動(dòng)規(guī)劃。此前，在哈爾濱工業(yè)大學(xué)（HIT）獲得學(xué)士和碩士學(xué)位。以下對(duì)6 篇最佳論文和最佳學(xué)生論文提名做簡(jiǎn)單介紹。1、《TARE: A Hierarchical Framework for Efficiently Exploring Complex 3D Environments》
論文作者：Chao Cao,Hongbiao Zhu (CMU) ,Howie Choset (CMU) ,Ji Zhang (CMU) 
論文地址：http://www.roboticsproceedings.org/rss17/p018.pdfYoutube地址：https://www.youtube.com/watch?v=LVUSpNa2dac
本文提出了一種在三維環(huán)境下進(jìn)行自主探測(cè)的新方法。該方法比目前使用層次結(jié)構(gòu)的探索技術(shù)更快——一個(gè)層次在局部范圍內(nèi)密集地計(jì)算數(shù)據(jù)和規(guī)劃路徑，而另一個(gè)層次在全局范圍內(nèi)粗略地計(jì)算數(shù)據(jù)和規(guī)劃路徑。該框架表明，機(jī)器人附近的細(xì)節(jié)處理最有效，細(xì)節(jié)處理的范圍決定機(jī)器人的計(jì)算速度。而我們的該方法根據(jù)路徑長(zhǎng)度優(yōu)化整個(gè)勘探路徑。局部區(qū)域的路徑在動(dòng)力學(xué)上可跟隨高速行駛的車輛。通過地面和空中機(jī)器人自主探索高度復(fù)雜的室內(nèi)外環(huán)境的實(shí)驗(yàn)，結(jié)果表明，該方法的勘探效率提高了80%，與最先進(jìn)的方法相比，機(jī)器人每秒的平均勘探體積，所消耗的計(jì)算量不到50%。2、《Optimal Pose and Shape Estimation for Category-level 3D Object Perception》
作者：Jingnan Shi (MIT) ,Heng Yang (MIT) ,Luca Carlone (MIT)
論文地址：http://www.roboticsproceedings.org/rss17/p025.pdf
Youtube地址：https://www.youtube.com/watch?v=kiNBS0IF2-g本文主要考察category-level的感知問題。給定3D傳感器數(shù)據(jù)描繪一個(gè)特定類別（例如，汽車）的目標(biāo)——這些目標(biāo)存在可變性（即不同的汽車模型具有不同的形狀），需要重建目標(biāo)的姿態(tài)和形狀。我們考慮設(shè)計(jì)一個(gè) active 形狀的模型，對(duì)于任意一個(gè)目標(biāo)類別提供一個(gè)潛在的CAD模型庫(kù)以描述目標(biāo)，同時(shí)采用一個(gè)標(biāo)準(zhǔn)的公式，將其中的姿勢(shì)和形狀估計(jì)表述為非凸優(yōu)化。本文的首要貢獻(xiàn)是為姿態(tài)和形狀估計(jì)提供可證明的最優(yōu)解算器，特別是，證明了旋轉(zhuǎn)估計(jì)可以從物體平移和形狀的估計(jì)中解耦；最優(yōu)物體旋轉(zhuǎn)可以通過小尺寸半定松弛（semidefinite relaxation）來(lái)計(jì)算；平移和形狀參數(shù)可以在給定旋轉(zhuǎn)的情況下以閉合形式（closed-form ）計(jì)算。第二個(gè)貢獻(xiàn)是在解算器中添加一個(gè)異常拒絕層（ outlier rejection layer ），從而使它對(duì)大量錯(cuò)誤檢測(cè)具有魯棒性。為了實(shí)現(xiàn)這一目標(biāo)，我們將最優(yōu)解封裝在一個(gè)基于漸進(jìn)非凸性的魯棒估計(jì)方案中，同時(shí)，提出了一個(gè)在類別級(jí)感知中剪除離群點(diǎn)的圖論公式，以通過凸包和最大團(tuán)計(jì)算去除離群點(diǎn)，實(shí)驗(yàn)證明，該方法使離群點(diǎn)的魯棒性達(dá)到70%? 90%的異常值.第三個(gè)貢獻(xiàn)是廣泛的實(shí)驗(yàn)評(píng)估。除了在模擬數(shù)據(jù)集和PASCAL3D+數(shù)據(jù)集上進(jìn)行燒蝕研究外，我們還將解算器與深度學(xué)習(xí)的關(guān)鍵點(diǎn)檢測(cè)器相結(jié)合，實(shí)驗(yàn)表明，所得到的方法比ApolloScape駕駛數(shù)據(jù)集中最先進(jìn)的車輛姿態(tài)估計(jì)方法更好。 3、《Moving sidewinding forward: optimizing contact patterns for limbless robots via geometric mechanics》
作者：Baxi Chong (Georgia Tech),Tianyu Wang (Georgia Tech),Bo Lin (Georgia Tech),Shengkai Li (Georgia Tech),Howie Choset (CMU),Grigoriy Blekherman (Georgia Tech),Daniel Goldman (Georgia Tech)
論文地址：http://www.roboticsproceedings.org/rss17/p031.pdf
Youtube地址：https://www.youtube.com/watch?v=UKtzCPoQ68k接觸規(guī)劃（contact planning）對(duì)肢體機(jī)器人的運(yùn)動(dòng)性能至關(guān)重要。一般來(lái)說(shuō)，機(jī)械裝置與其環(huán)境之間的接觸方式和斷開模式?jīng)Q定了機(jī)器人的運(yùn)動(dòng)。這些模式（通常稱為接觸模式）在設(shè)計(jì)常常具有挑戰(zhàn)性。在以往的工作中，接觸模式的設(shè)計(jì)來(lái)自于對(duì)生物系統(tǒng)的觀察，或者根據(jù)黑盒優(yōu)化算法經(jīng)驗(yàn)而定。然而，這種基于啟發(fā)式的接觸模式方法只適用于特定機(jī)制，難以推廣。例如，對(duì)12-link四肢機(jī)器人穩(wěn)定且有效的接觸模式并不是適用于6-link四肢機(jī)器人。在本文中，我們使用幾何運(yùn)動(dòng)規(guī)劃方案，開發(fā)了一個(gè)更通用的接觸模式的框架，以便針對(duì)所需的方向生成有效的運(yùn)動(dòng)。 受到幾何力學(xué)的啟發(fā)，我們將構(gòu)形空間分為形狀空間（內(nèi)關(guān)節(jié)角）、接觸狀態(tài)空間和位置空間；然后對(duì)接觸狀態(tài)空間和形狀空間的耦合函數(shù)進(jìn)行優(yōu)化。該框架提供了接觸模式設(shè)計(jì)的物理思考，并借鑒了經(jīng)驗(yàn)準(zhǔn)則。應(yīng)用該框架不僅可以通過調(diào)節(jié)接觸模式來(lái)控制12-link四肢機(jī)器人的運(yùn)動(dòng)方向，還可以為電機(jī)較少的機(jī)器人（如6-link機(jī)器人）設(shè)計(jì)有效的側(cè)繞步態(tài)。實(shí)驗(yàn)表明，該方法通過機(jī)器人物理實(shí)驗(yàn)測(cè)試獲得了很好的一致性，希望該方案能廣泛地適用于機(jī)器人的接通/斷開接觸。4、《DiSECt: A Differentiable Simulation Engine for Autonomous Robotic Cutting》
作者：Eric Heiden (University of Southern California),Miles Macklin (NVIDIA),Yashraj S Narang (NVIDIA),Dieter Fox (NVIDIA),Animesh Garg (University of Toronto, Vector Institute, NVIDIA),Fabio Ramos (NVIDIA, University of Sydney)
論文地址：http://www.roboticsproceedings.org/rss17/p067.pdf
Youtube地址：https://www.youtube.com/watch?v=xqSB8eoypj8機(jī)器人切割軟材料對(duì)于食品加工、家庭自動(dòng)化和外科手術(shù)操作等應(yīng)用至關(guān)重要。與機(jī)器人學(xué)的其他領(lǐng)域一樣，模擬器可以促進(jìn)控制器驗(yàn)證、策略學(xué)習(xí)和數(shù)據(jù)集生成。此外，可微仿真器可以實(shí)現(xiàn)基于梯度的優(yōu)化，這對(duì)于標(biāo)定仿真參數(shù)和優(yōu)化控制器是非常有價(jià)值的。在這項(xiàng)工作中，作者提出了第一個(gè)針對(duì)切割軟材料的可微模擬器——DiSECt。該模擬器通過基于符號(hào)距離場(chǎng)（SDF）的連續(xù)接觸模型和連續(xù)損傷模型對(duì)有限元法（FEM）進(jìn)行了擴(kuò)充，該模型將彈簧插入切削平面的對(duì)側(cè)，并允許彈簧減弱至零剛度，從而形成裂紋。本文通過各種實(shí)驗(yàn)，對(duì)模擬器的性能進(jìn)行了評(píng)估。作者首先展示了模擬器可以校準(zhǔn)以匹配SOTA的商業(yè)求解器和真實(shí)世界切割數(shù)據(jù)集的合力和變形場(chǎng)，具有切割速度和目標(biāo)實(shí)例的通用性。作者之后證明了利用模擬器的可微性，在無(wú)導(dǎo)數(shù)方法的一小部分時(shí)間內(nèi)估計(jì)數(shù)百個(gè)參數(shù)的后驗(yàn)概率，可以有效地進(jìn)行貝葉斯推理。最后，作者表明模擬控制參數(shù)可以優(yōu)化，以盡量減少切削力通過橫向切片運(yùn)動(dòng)。 5、《Toward Certifiable Motion Planning for Medical Steerable Needles》
作者：Mengyu Fu (University of North Carolina at Chapel Hill),Oren Salzman (Technion),Ron Alterovitz (University of North Carolina at Chapel Hill)
論文地址：https://www.youtube.com/watch?v=GYHr-xndYMk
Youtube地址：http://www.roboticsproceedings.org/rss17/p081.pdf
醫(yī)用引導(dǎo)針可以沿著三維曲線軌跡移動(dòng)來(lái)避免解剖障礙物，以到達(dá)人體內(nèi)具有臨床意義的靶點(diǎn)。自動(dòng)化可操縱引導(dǎo)針程序可使醫(yī)生和患者最大限度地利用引導(dǎo)針的可操縱性，安全、準(zhǔn)確地達(dá)到諸如活檢和癌癥局部治療等醫(yī)療程序的目標(biāo)點(diǎn)，從而充分發(fā)揮引導(dǎo)針的潛力。為了使醫(yī)療程序的自動(dòng)化在臨床上得到接受，從病人護(hù)理、安全和監(jiān)管的角度證明程序自動(dòng)化中涉及的運(yùn)動(dòng)規(guī)劃算法的正確性和有效性是至關(guān)重要的。在本文中，作者采取了一個(gè)重要的步驟，來(lái)創(chuàng)建一個(gè)可證明的運(yùn)動(dòng)規(guī)劃可操縱引導(dǎo)針。 本文提出了第一個(gè)用于可操縱引導(dǎo)針的運(yùn)動(dòng)規(guī)劃器，它能保證在臨床上適當(dāng)?shù)募僭O(shè)下，它將在有限的時(shí)間內(nèi)計(jì)算到指定目標(biāo)的精確的避障運(yùn)動(dòng)計(jì)劃，或者通知用戶不存在這樣的計(jì)劃?；谝环N新的多分辨率規(guī)劃方法，提出了一種高效的、分辨率完備的可操縱針運(yùn)動(dòng)規(guī)劃方法。與 SOTA 可操縱針運(yùn)動(dòng)規(guī)劃器相比，本文證明了新的分辨率完整運(yùn)動(dòng)規(guī)劃器計(jì)算計(jì)劃更快，成功率更高。6、《Learning Riemannian Manifolds for Geodesic Motion Skills》
作者：Hadi Beik-mohammadi (Bosch Center for Artificial Intelligence),Soren Hauberg (TU Denmark),Georgios Arvanitidis (MPI for Intelligent Systems, Tübingen),Gerhard Neumann (Karlsruhe Institute of Technology),Leonel Rozo (Bosch Center for Artificial Intelligence)
論文地址：http://www.roboticsproceedings.org/rss17/p082.pdfYoutube地址：https://www.youtube.com/watch?v=K6DkUjVIG-Y
為了讓機(jī)器人與人類并肩工作，在非結(jié)構(gòu)化的環(huán)境中發(fā)揮作用，它們必須學(xué)習(xí)新的運(yùn)動(dòng)技能，并在飛行中適應(yīng)不可見的環(huán)境。這要求學(xué)習(xí)模型捕捉相關(guān)的運(yùn)動(dòng)模式，同時(shí)提供足夠的靈活性，使編碼的技能適應(yīng)新的要求，如動(dòng)態(tài)避障。本文引入了黎曼流形的觀點(diǎn)來(lái)解決這個(gè)問題，并從人類的示范學(xué)習(xí)黎曼流形，其中測(cè)地線是自然的運(yùn)動(dòng)技能。本文通過在機(jī)器人末端執(zhí)行器的位置和方向空間上的變分自動(dòng)編碼器（VAE）來(lái)實(shí)現(xiàn)這一點(diǎn)。測(cè)地運(yùn)動(dòng)技能可以讓機(jī)器人規(guī)劃數(shù)據(jù)流形上任意點(diǎn)之間的運(yùn)動(dòng)。他們還提供了一個(gè)簡(jiǎn)單的方法，通過重新定義一個(gè)在線方式的環(huán)境指標(biāo)來(lái)避障。此外，測(cè)地學(xué)自然地利用多解決方案設(shè)置所產(chǎn)生的流形來(lái)設(shè)計(jì)以前沒有演示過的運(yùn)動(dòng)。作者使用一個(gè)7自由度的機(jī)械手來(lái)測(cè)試學(xué)習(xí)框架，在這里，機(jī)器人滿意地學(xué)習(xí)和再現(xiàn)具有復(fù)雜運(yùn)動(dòng)模式的真實(shí)技能，來(lái)避免以前看不見的障礙物，并在多個(gè)解決方案設(shè)置中生成新的運(yùn)動(dòng)。參考鏈接：https://roboticsconference.org/program/papers/018/
雷鋒網(wǎng)雷鋒網(wǎng)雷鋒網(wǎng)
雷峰網(wǎng)特約稿件，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。
