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

休士頓大學工程師 Marzia Cescon 研發出一套「安全督導員」軟體模組，透過控制障壁函數（Control Barrier Function）即時監控四旋翼無人機的傾斜角度與位置，在數學層面驗證無人機不會超出安全飛行邊界。這項成果發表於 ASME 動態系統、測量與控制期刊，為未來超視距自主飛行的法規認證奠定數學基礎。