Drake
MIT 機器人工具箱，用於模型式動力學、最佳化與控制系統設計
授權條款
BSD-3-Clause
概述
Drake 是 MIT 的 Robot Locomotion Group 推出的 C++ 與 Python 工具箱，用於機器人的模型式設計與驗證。它提供含接觸建模的多體動力學、數學最佳化，以及用於控制設計的系統框架。它特別適合抓取與組裝等大量接觸的操作任務。
Drake 是一個用於分析機器人動力學與建構控制系統的 C++/Python 工具箱，由 MIT 的 Robot Locomotion Group 開發。它在接觸密集的操作任務上特別強大。
主要功能包括： - 含接觸建模的多體動力學 - 數學規劃（最佳化） - 用於控制設計的系統框架 - 感知流程整合 - 視覺化工具（Meshcat、Meldis） - Python 與 C++ 介面 - 與 LCM 整合以進行通訊 - 大量的操作範例
Drake 被頂尖機器人實驗室用於操作、行走運動與控制的研究。它在抓取與組裝等需要精確接觸動力學的任務上表現出色。
為何重要
Drake 是 MIT 對嚴謹機器人設計的回應：它提供的數學工具不僅能模擬機器人，還能形式化驗證控制演算法是否正確運作。Toyota Research Institute 與 Boston Dynamics 都在使用它，它在學術控制理論與真實機器人部署之間架起了橋梁。
解決的問題
打造可靠的機器人控制器需要的不只是模擬，還需要用來設計、最佳化與驗證控制演算法的數學工具。Drake 在一個統一的框架中提供這些工具，並為領先的機器人組織所採用。
重點
- 用於嚴謹機器人工程的模型式設計工具箱
- 具備自動微分的進階多體動力學
- 用於軌跡規劃與控制的數學最佳化工具
- 用於控制系統設計的形式化驗證能力
- Toyota Research Institute 與主要機器人實驗室都在使用
適用對象
- 控制系統研究人員與工程師
- 設計操作與行走運動控制器的團隊
- 需要嚴謹演算法驗證的機器人公司
- 研究現代機器人控制理論的研究生
限制
- 學習曲線陡峭，需要扎實的數學背景
- C++ API 功能強大，但用於簡單任務時顯得複雜
- 社群比以 ROS 為基礎的工具小
- 文件預設讀者熟悉最佳化與控制理論