休士頓大學開發「可驗證」無人機安全守護系統

休士頓大學工程師 Marzia Cescon 表示，她已成功建構一套即時監控系統，能在陣風將四旋翼無人機吹離航線時，防止其墜毀。Cescon 將其稱為「安全督導員」（Safety Supervisor）——一個搭載於無人機上、在飛行中持續監測機體傾斜角度與位置的軟體模組。

當數學運算預測飛行器即將進入危險狀態時，系統會自動介入並將其導回安全範圍。相關研究已發表於《ASME 動態系統、測量與控制期刊》，由 Cescon 及其實驗室團隊共同署名。

安全督導員即時監控傾斜角度與位置

「安全督導員」模組與無人機原有的飛控系統並行運作，專職監視潛在危險。主飛控執行飛行任務的同時，督導員模組則對照一組嚴格的安全限制，持續追蹤無人機的傾斜角度與位置，隨時準備介入。

Cescon 將其比喻為一道隱形圍欄。不同之處在於，這道圍欄並非畫在地圖上，而是圍繞在無人機自身的運動狀態周圍——即飛行器仍能保持穩定且可恢復控制的角度與位置範圍。

當督導員預測無人機即將觸及邊界、有傾覆墜毀風險時，便會將飛行器推回安全區域內。研究團隊在休士頓大學先進學習、人工智慧與控制實驗室（UH Advanced Learning, Artificial Intelligence and Control Laboratory）完成了該模組的建構與測試。

控制障壁函數是核心技術

「安全督導員」的底層運算採用控制障壁函數（Control Barrier Function），這是一種控制理論中的數學工具，能夠劃定一組安全飛行狀態，並將無人機約束其中。該函數會判斷無人機的下一步動作是否即將越界，若是，則在最小幅度修正指令的前提下維持飛行安全。

據 Eurekalert 報導，此技術建立在「執行時期保證」（Run-Time Assurance）概念之上。這套機制不是盲目信任主飛控的表現，而是另外運行一個獨立的監視程序，只在安全限制真正即將被突破時才介入，平時完全不干擾正常飛行。

為了驗證系統效能，研究團隊刻意讓無人機沿著超出安全區域的參考路徑飛行，而控制障壁函數每次都及時攔截並修正指令。這才是研究的核心突破：許多無人機本來就能從風擾中恢復，但一架有數學證明支撐、能保證每次超出邊界都被攔截的無人機，才是真正的新突破。

你的 DJI 早就能抵抗陣風了

這裡有個新聞稿略過的背景脈絡。如果你飛的是現代 DJI 或 Skydio，你的無人機早就能靠 GPS 和快速慣性穩定迴路自行抵抗陣風、保持定點懸停。從風擾中恢復本身並不是突破點。

真正的突破在於保證。商業自動駕駛儀經過調校與測試，能可靠地正常運作，但它沒有附上任何數學證明，確保它永遠不會超出安全邊界。這項研究提供了這樣的證明，並展示了它在真實硬體上的即時運行。

當然，目前仍處於早期階段。測試是在實驗室測試台上進行，運動自由度僅限於幾個軸向，而非完整無人機在開放空間中飛行。這是一塊建構模組，並不是下個月就要推送到你 Mini 上的韌體更新。

「可驗證的安全性」是自主飛行的入場券

這項研究之所以重要，關鍵就在「可驗證」三個字。隨著無人機逐漸邁向超越飛行員視線範圍（BVLOS）的自主飛行，監管機關和保險業者要的不只是良好的飛行紀錄，而是飛行器絕對不會超出安全包絡的保證。

「執行時期保證」技術就是為了填補這個缺口而生。一架在住宅區上方配送包裹、或自主巡檢橋梁的無人機，不能只靠「我們測試時都沒出問題」來自我辯護，它必須提供一份監管機關能夠核查的安全案例，而這類數學工具正是建構該案例的方法。

Cescon 的團隊是追求這個目標的眾多研究者之一。控制障壁函數如今已出現在四旋翼測試平台，甚至是 F-16 的安全系統上——這說明控制理論界將其視為基礎性技術，而非小眾研究。

DroneXL 評析

休士頓大學的新聞稿確實過度強調了「防墜毀」的角度，但底層的實際研究比那個標題更有意思。你的無人機本來就能撐過一陣風；這個團隊真正展示的，是一種能以數學方式、並在真實硬體上證明飛行器會始終保持在安全邊界內的方法。

這個區別聽起來很學術，但想想無人機的發展方向：超視距配送、自主巡檢、在人群上方飛行——這些應用沒有一個能光憑良好的飛行紀錄通過監管審查，它們需要的是保證。

這是實驗室階段的基礎建設，不是你下季就能開啟的新功能。但它是那種必須存在的、不那麼光鮮的數學工作，有了它，才有人敢讓無人機自主飛越你家上空。請留意「執行時期保證」和「控制障壁函數」這兩個關鍵詞——它們很可能在出現在任何產品頁面之前，就已先出現在認證審查的攻防戰場上。

圖片來源：休士頓大學

---

原文來源： 查看原文