80_跨专题资源地图
专题 4-R：跨专题资源地图——可视化·直觉·应用资源全指南¶
第四批·刚体动力学 — 专题 4-R 跨专题资源地图 定位：本指南汇总第四批 7 个专题（4-1 空间向量 / 4-2 Lagrange-Hamilton / 4-3 RNEA-ABA-CRBA / 4-4 SE(3) 几何力学 / 4-5 解析微分 / 4-6 约束动力学 / 4-7 辛结构与动量映射）的跨专题资源，按"最深、最宽、最前沿"原则整理。各专题附录中已详列的资源不再重复，本文档聚焦**统一索引、版本更新与实战选型建议**。所有 URL 在 2025–2026 年有效。
刚体动力学正处于从"算法黑盒"到"可微、几何、GPU 并行"的历史拐点：Pinocchio 3 将解析微分端到端暴露、MuJoCo Warp 将 MJX 的大规模场景吞吐提升 100× 以上、Isaac Lab 2.3 与 MuJoCo Playground 让 sim-to-real 成为工业常规操作。如果您只读第四批 7 篇专题却不会用这些工具，就好比读完《九阳真经》却不会打桩。本指南就是您的"百晓生兵器谱"。
建议按需跳读：工程落地看第 4、8、9 节；读博打底看第 1、5 节；教学与直觉建设看第 2、6 节；中文读者优先看第 7 节。
1. 核心教材分层推荐¶
入门层（工程师首选，档位 2–3）¶
Lynch & Park,《Modern Robotics: Mechanics, Planning, and Control》（Cambridge Univ. Press, 2017, ISBN 9781107156302）— 官方免费 PDF：https://hades.mech.northwestern.edu/images/7/7f/MR.pdf ；官网（配套代码/视频/习题解答）：http://modernrobotics.org。中译本《现代机器人学：机构、规划与控制》于岩、赵锐译，机械工业出版社 2019 年，ISBN 978-7-111-63984-5。Goodreads 4.5★（75+ reviews）、豆瓣 9.4。以 PoE（指数积）和旋量为主线，Lie 群入门最友好的机器人教材。必读；覆盖 4-1、4-2、4-4。
Spong-Hutchinson-Vidyasagar,《Robot Modeling and Control》第 2 版（Wiley, 2020, ISBN 9781119523994）。中译本《机器人建模与控制》贾振中、李芳译，机械工业出版社 2016（第1版）。Goodreads 3.9★、Amazon 4.3★。经典 DH 参数 + Euler-Lagrange 动力学，工科课程主流教材。必读；覆盖 4-2、4-3。
Siciliano, Sciavicco, Villani, Oriolo,《Robotics: Modelling, Planning and Control》（Springer, 2009, ISBN 978-1-84628-641-4）— Springer 主页 https://link.springer.com/book/10.1007/978-1-84628-642-1。中译本《机器人学：建模、规划与控制》张国良等译，西安交大出版社 2015。Goodreads 4.2★。工业视角最完整，含柔性关节、力控、视觉伺服。选读；覆盖 4-2、4-3、4-6。
中层（博士生主干，档位 3–4）¶
Featherstone,《Rigid Body Dynamics Algorithms》（Springer, 2008, ISBN 978-0-387-74314-1）— Springer：https://link.springer.com/book/10.1007/978-1-4899-7560-7 ；配套 spatial_v2 MATLAB 代码：http://royfeatherstone.org/spatial/v2/。Goodreads 4.6★（小样本）。本批次的"圣经"：spatial vector 符号系统、RNEA/ABA/CRBA 伪代码的唯一权威来源。必读；覆盖 4-1、4-3、4-6。
Murray, Li, Sastry,《A Mathematical Introduction to Robotic Manipulation》（CRC, 1994, ISBN 0-8493-7981-4）— 全本 PDF（Berkeley 作者授权镜像）：https://www.cds.caltech.edu/~murray/mlswiki/index.php/First_edition 以及 https://www.ce.cit.tum.de/fileadmin/w00cgn/rm/pdf/murray-li-sastry-94-complete.pdf。中译本《机器人操作的数学导论》徐卫良、钱瑞明译，机械工业出版社 1998（早版绝版，可求二手）。豆瓣 9.6、Goodreads 4.4★。李群-旋量-抓取-非完整一气呵成，Brockett 学派结晶。必读；覆盖 4-1、4-2、4-4、4-6。
Khalil & Dombre,《Modeling, Identification and Control of Robots》（Butterworth–Heinemann, 2002, ISBN 978-1-903996-66-9）。暂无广泛中译本。Amazon 4.3★。系统辨识与参数线性化的经典，是 4-5 解析微分章节的前置读物。选读；覆盖 4-3、4-5。
高层（几何力学 / 辛 / 约化，档位 4）¶
Arnold,《Mathematical Methods of Classical Mechanics》第 2 版（Springer GTM 60, 1989, ISBN 978-0-387-96890-2）。中译本《经典力学的数学方法》齐民友译，高等教育出版社 2006。豆瓣 9.6、Goodreads 4.4★（700+）。几何力学史诗——symplectic 结构、Liouville 定理、KAM、刚体 Euler-Poinsot 的现代几何视角。必读；覆盖 4-2、4-4、4-7。
Marsden & Ratiu,《Introduction to Mechanics and Symmetry》第 2 版（Springer TAM 17, 1999, ISBN 978-0-387-98643-2）— 作者页 PDF：https://authors.library.caltech.edu/records/mv31q-fz173。豆瓣 9.5。动量映射 Poisson 约化的教科书，直接服务于专题 4-7。必读；覆盖 4-2、4-7。
Hairer, Lubich, Wanner,《Geometric Numerical Integration》第 2 版（Springer SCM 31, 2006, ISBN 978-3-540-30663-4）— Springer：https://link.springer.com/book/10.1007/3-540-30666-8。Goodreads 4.5★。辛积分器的定义性著作；Störmer-Verlet、RKMK、variational integrators 的原理全部在此。必读；覆盖 4-7。
Bloch,《Nonholonomic Mechanics and Control》第 2 版（Springer ICAM 24, 2015, ISBN 978-1-4939-3016-6）。非完整约束、拟坐标、Lagrange-d'Alembert 原理的现代处理。选读；覆盖 4-2、4-6。
Bullo & Lewis,《Geometric Control of Mechanical Systems》（Springer TAM 49, 2005, ISBN 978-0-387-22195-3）— 作者官方免费预印本：https://motion.me.ucsb.edu/book-gcms/。Goodreads 4.7★（小样本）。仿射联络、简单机械系统几何控制**的唯一系统化教材。**必读；覆盖 4-2、4-4。
参考层（字典 / 圣经）¶
Abraham & Marsden,《Foundations of Mechanics》第 2 版（AMS Chelsea, 1978/2008 重印, ISBN 978-0-8218-4438-0）。"力学的 Bourbaki"——symplectic 流形、Hamilton 系统、约化理论的基础参考。覆盖 4-7。
Cannas da Silva,《Lectures on Symplectic Geometry》（Springer LNM 1764, 2001）— 作者官方免费 PDF：https://people.math.ethz.ch/~acannas/Papers/lsg.pdf。豆瓣 9.3。Symplectic 几何最紧凑的导论，硕士一学期读物。覆盖 4-7。
Brogliato,《Nonsmooth Mechanics》第 3 版（Springer CCE, 2016, ISBN 978-3-319-28662-4）。LCP、measure differential inclusion、冲击动力学的百科全书。覆盖 4-6。
Stewart,《Dynamics with Inequalities》（SIAM, 2011, ISBN 978-1-611970-70-8）。互补问题时间步进法的权威源头。覆盖 4-6。
2. 视频与在线课程全景¶
英文 MOOC / YouTube¶
MIT 6.832 Underactuated Robotics（Russ Tedrake）— 主站与配套 online book：https://underactuated.mit.edu/ ；YouTube 完整 lectures：https://www.youtube.com/@underactuated。免费。覆盖 4-2、4-4、4-6、4-7。Tedrake 本人把 Drake 的全部研究成果蒸馏到讲义里，是目前全球最前沿的动力学-控制课程。
Northwestern Modern Robotics（Lynch & Park）— Coursera 6 门专项：https://www.coursera.org/specializations/modernrobotics ；YouTube 讲解视频 140+ 条：https://www.youtube.com/@northwesternroboticsuniverse。前 3 门免费旁听，证书约 $49/月。覆盖 4-1、4-2、4-3。
Stanford CS223A Introduction to Robotics 与 CS327A Advanced Robotic Manipulation（Oussama Khatib）— Stanford Online：https://online.stanford.edu/courses/cs223a-introduction-robotics ；YouTube：https://www.youtube.com/playlist?list=PLoROMvodv4rMeercb-kvGLUrOq4HR6BZD。免费。强调 operational space formulation。覆盖 4-1、4-2、4-3。
ETH Robotic Systems Lab — Robot Dynamics（Marco Hutter）— 课程页：https://rsl.ethz.ch/education-students/lectures/robotdynamics.html ；YouTube 搜 "ETH Robot Dynamics"。免费，讲义 PDF 公开。四足机器人 ANYmal 一线组的工程视角。覆盖 4-1、4-3、4-6。
CMU 16-715 Advanced Robot Dynamics 与 16-745 Optimal Control（Zachary Manchester）— Robotic Exploration Lab 主页：https://roboticexplorationlab.org/teaching ；YouTube：https://www.youtube.com/@rexlab-cmu。免费，含 Julia notebook。轨迹优化、可微接触、变分积分融合的最前沿课程。覆盖 4-3、4-5、4-6、4-7。
Featherstone spatial vector tutorial（YouTube）— 短讲义视频 6 集：https://royfeatherstone.org/spatial/index.html#tutorial。免费。覆盖 4-1。
Taeyoung Lee / Melvin Leok / N.H. McClamroch — 几何力学与控制专题讲座散见 YouTube（搜 "geometric control Lie group"）、以及教材 Global Formulations of Lagrangian and Hamiltonian Dynamics on Manifolds（Springer 2017）配套视频。覆盖 4-4、4-7。
Caltech CDS 202（Marsden 遗留讲稿，现由 Mathieu Desbrun 接手）— 资料页：http://www.cds.caltech.edu/~marsden/wiki/ 。覆盖 4-2、4-7。
Sergey Levine CS285 Deep RL（UC Berkeley）— https://rail.eecs.berkeley.edu/deeprlcourse/。与 4-5 解析微分 + 可微仿真交叉极深。免费。
Stefano Stramigioli — Port-Hamiltonian Robotics（UTwente 系列讲座）— YouTube 检索 "Stramigioli port-Hamiltonian"。对专题 4-2 的能量视角最直观。
中文视频（B 站 / 深蓝 / 古月居）¶
深蓝学院（https://www.shenlanxueyuan.com/）— 付费（单课 ¥500–¥1500）：机器人学中的数值优化、最优控制与 MPC、四足机器人控制、基于优化的 WBC、MuJoCo 仿真实战等。讲师多为欧洲/北美名校博士（如高逸涵、吴晓茹、汪越等），在中文资源中质量最高。覆盖全部 4-1 至 4-7。
林沛群（国立台湾大学）机器人学（Coursera "机器人学一"/"机器人学二"，中文+英文字幕）：https://www.coursera.org/learn/robotics1。免费旁听。入门层最友好的中文视频。覆盖 4-1、4-2、4-3。
高翔 SLAM 十四讲（B 站：https://space.bilibili.com/38737757 ；GitHub：https://github.com/gaoxiang12/slambook2）— 第 4、5、9 讲深入 SO(3)/SE(3)，对专题 4-1、4-4 的直觉建设有帮助。免费。
B 站"材机战士"MuJoCo 2025 系列— https://space.bilibili.com/413272162。手把手 MJCF 建模、MJX 训练、sim-to-real。覆盖 4-3、4-6。
B 站"飞的岛"Cassie/MuJoCo— https://space.bilibili.com/473435461。双足机器人 MPC/WBC 实战。覆盖 4-3、4-6。
古月居 ROS/机器人学（https://www.guyuehome.com/）— ROS 2、MoveIt、Gazebo 的中文教程生态系，有付费课程。覆盖 4-3。
其他优质 B 站 UP 主："Skydebugger" 讲 Pinocchio/Crocoddyl 源码；"泡泡机器人 SLAM" 公众号同名账号讲李群/流形滤波；"机器人志" 讲 Drake/Tedrake 最新论文解读。
3. 优秀博客与技术文章索引¶
Stéphane Caron（scaron.info）— Inria Willow 研究员，前 ANYbotics 行走组 lead。博客 https://scaron.info/blog.html 按类目组织，其中 Joint torques and Jacobian transpose、Equations of motion of an articulated robot、QP solvers tolerances、3D biped ZMP control 是几乎每位机器人博士生的"入坑必读"。覆盖 4-1、4-3、4-6。
Pinocchio 官方教程— https://stack-of-tasks.github.io/pinocchio/ 与 Jupyter 教程 https://github.com/nmansard/jnrh2023。Nicolas Mansard & Yann de Mont-Marin 维护的交互式 notebook，从 forward kinematics 到 whole-body MPC 一气呵成。覆盖 4-1、4-3、4-5。
Drake 官方 tutorials— https://drake.mit.edu/doxygen_cxx/group__tutorials.html 与 deepnote tutorials https://deepnote.com/workspace/Drake-0b3b2c53-a7ad-441b-80f8-bf8350752305。Hydroelastic 接触、MathematicalProgram、Systems Framework 最权威入门。覆盖 4-2、4-3、4-6。
MuJoCo 官方文档— https://mujoco.readthedocs.io/。Computation 与 Modeling 两章详细解释 soft contact、convex 求解器、MJX 后端。覆盖 4-3、4-6。
Tedrake,《Underactuated Robotics》online book— https://underactuated.mit.edu/。每年更新的活教材，是 4-2 与 4-7 的"动态版圣经"。
Justin Carpentier 主页— https://jcarpent.github.io/。Pinocchio/Aligator/coal 的核心作者，论文页集中了 4-5（解析微分）与 4-6（proximal contact）的全部关键工作。
Roy Featherstone 教学页— http://royfeatherstone.org/ 与 http://royfeatherstone.org/spatial/。MATLAB spatial_v2 源码、示例 PDF、辅导视频。覆盖 4-1、4-3。
中文高质量系列：知乎@RoboTrue（几何控制与李群 SE(3)）、@张巍（辛积分与几何数值方法）、@邓肯不唐肯（Pinocchio/Crocoddyl 源码解读）、@王一鸣（MuJoCo 接触建模）、CSDN 用户 @hitgavin（Featherstone spatial_v2 中文讲解系列）。
4. GitHub 代码仓库完整索引¶
刚体动力学库¶
| 仓库 | ★ Stars | 语言 | 许可 | 覆盖 |
|---|---|---|---|---|
| stack-of-tasks/pinocchio | 3.2k | C++17/Python | BSD-2 | 4-1、4-3、4-5 |
| rbdl/rbdl | 700+ | C++ | zlib | 4-1、4-3 |
| RobotLocomotion/drake | 3.6k | C++/Python | BSD-3 | 4-2、4-3、4-6 |
| google-deepmind/mujoco | 12.8k | C/Python | Apache-2 | 4-3、4-6 |
| robotology/idyntree | 200+ | C++/Matlab | BSD-3 | 4-3、4-5 |
| JuliaRobotics/RigidBodyDynamics.jl | 340+ | Julia | MIT | 4-1、4-3 |
| dartsim/dart | 900+ | C++ | BSD-2 | 4-3、4-6 |
Pinocchio 3.9.0（2026-01）新增 CasADi 绑定的 constraintDynamics 与 Viser 可视化。MuJoCo 3.7.0（2026-04）是目前最活跃的物理引擎。
轨迹优化 / MPC¶
| 仓库 | ★ Stars | 语言 | 许可 | 覆盖 |
|---|---|---|---|---|
| loco-3d/crocoddyl | 1.2k | C++/Python | BSD-3 | 4-3、4-5 |
| leggedrobotics/ocs2 | 900+ | C++ | BSD-3 | 4-3、4-6 |
| Simple-Robotics/aligator | 350+ | C++/Python | BSD-2 | 4-3、4-6 |
| RoboticExplorationLab/Altro.jl | 300+ | Julia | MIT | 4-3、4-6 |
| acados/acados | 1.0k | C/Python/Matlab | BSD-2 | 4-3 |
可微仿真¶
| 仓库 | ★ Stars | 语言 | 许可 | 覆盖 |
|---|---|---|---|---|
| google-deepmind/mujoco (mjx) | 同 mujoco | JAX | Apache-2 | 4-5、4-6 |
| google-deepmind/mujoco_warp | 1.5k+ | Python/Warp | Apache-2 | 4-5、4-6 |
| google/brax | 2.7k | JAX | Apache-2 | 4-6 |
| dojo-sim/Dojo.jl | 340+ | Julia | MIT | 4-5、4-6、4-7 |
| keenon/nimblephysics | 470+ | C++/Python | MIT | 4-5、4-6 |
| taichi-dev/difftaichi | 2.7k | Python | MIT | 4-5、4-6 |
| NVIDIA/warp | 5.4k | Python | Apache-2 | 4-5、4-6 |
MuJoCo Warp（MJWarp）是 DeepMind 与 NVIDIA 2025-03 联合推出的 GPU 版本，宣称复杂接触场景下较 MJX 快 100×。
WBC / TSID¶
| 仓库 | ★ Stars | 语言 | 许可 | 覆盖 |
|---|---|---|---|---|
| stack-of-tasks/tsid | 240+ | C++/Python | BSD-2 | 4-3、4-6 |
| jrl-umi3218/mc_rtc | 180+ | C++ | BSD-2 | 4-3、4-6 |
| stephane-caron/pink | 280+ | Python | Apache-2 | 4-3 |
| qpsolvers/qpsolvers | 720 | Python | LGPL-3 | 4-6 |
辛积分器¶
| 仓库 | ★ Stars | 语言 | 许可 | 覆盖 |
|---|---|---|---|---|
| JuliaGNI/GeometricIntegrators.jl | 60+ | Julia | MIT | 4-7 |
| SciML/DifferentialEquations.jl | 3.0k | Julia | MIT | 4-7 |
| hannorein/rebound | 950+ | C | GPL-3 | 4-7 |
几何控制 / Lie 群¶
| 仓库 | ★ Stars | 语言 | 许可 | 覆盖 |
|---|---|---|---|---|
| fdcl-gwu/uav_simulator | 200+ | Python/ROS | BSD-2 | 4-4 |
| artivis/manif | 1.7k | C++/Python | MIT | 4-4 |
| strasdat/Sophus | 2.4k | C++ | MIT | 4-4 |
教学 / 可视化¶
| 仓库 | ★ Stars | 语言 | 许可 | 覆盖 |
|---|---|---|---|---|
| royfeatherstone/spatial_v2 （官方页） | — | MATLAB | — | 4-1、4-3 |
| petercorke/robotics-toolbox-python | 2.5k | Python | MIT | 4-1、4-3 |
| NxRLab/ModernRobotics | 2.1k | Py/MATLAB | MIT | 4-1、4-2 |
| robot-descriptions/awesome-robot-descriptions | 1.4k | Markdown | CC-BY | 全批次 |
系统辨识¶
| 仓库 | ★ Stars | 语言 | 许可 | 覆盖 |
|---|---|---|---|---|
| cdsousa/SymPyBotics | 270+ | Python | BSD-2 | 4-3、4-5 |
| [pinocchio 的 regressor 模块] | — | C++ | BSD-2 | 4-3、4-5 |
自然梯度 / 信息几何（与 4-2 Fisher-Lagrangian、4-7 流形优化关联）¶
| 仓库 | ★ Stars | 语言 | 许可 | 覆盖 |
|---|---|---|---|---|
| alecwangcq/KFAC-Pytorch | 400+ | Python | MIT | 4-2、4-7 |
| tfjgeorge/nngeometry | 600+ | Python | MIT | 4-7 |
| lixilinx/psgd_torch | 340+ | Python | MIT | 4-7 |
5. 关键论文按专题索引¶
4-1 空间向量代数¶
Featherstone (2010) "A Beginner's Guide to 6-D Vectors"（IEEE RAM 17(3,4) 两部分）— 最佳入门讲义。必读。
Featherstone & Orin (2016)《Handbook of Robotics》第 2 章 Dynamics。必读。
Ball (1900) / Brand (2006, screw theory)— 现代螺旋理论综述：Dai JS, Screw Algebra and Kinematic Approaches for Mechanisms and Robotics（Springer 2020）。选读。
4-2 Lagrange-Hamilton 在机器人中¶
Udwadia & Kalaba (1992) "A New Perspective on Constrained Motion" Proc. R. Soc. A 439。DOI:10.1098/rspa.1992.0158。约束动力学显式方程。必读。
Bloch, Krishnaprasad, Marsden, Murray (1996) "Nonholonomic Mechanical Systems with Symmetry", ARMA 136:21–99。非完整 Lagrangian 约化经典。必读。
Park, Bobrow, Ploen (1995) "A Lie Group Formulation of Robot Dynamics", IJRR 14(6):609–618。DOI:10.1177/027836499501400606。将 RNEA 嵌入 Lie 群。必读。
4-3 RNEA / ABA / CRBA¶
Luh, Walker, Paul (1980) "On-Line Computational Scheme for Mechanical Manipulators", ASME JDSMC 102(2):69–76。Newton-Euler 第一次 O(n) 公式化。必读。
Featherstone (1983) "The Calculation of Robot Dynamics Using Articulated-Body Inertias", IJRR 2(1):13–30。ABA 诞生。必读。
Walker & Orin (1982) "Efficient Dynamic Computer Simulation of Robotic Mechanisms", ASME JDSMC 104(3):205–211。CRBA 起点。必读。
Brandl, Johanni, Otter (1986)"A Very Efficient Algorithm for the Simulation of Robots" IFAC。ABA 的 15% 加速变体。选读。
Yamane & Nakamura (2009) "Comparative Study on Serial and Parallel Forward Dynamics Algorithms", IJRR 28(5)。GPU 并行化比较。选读。
4-4 SE(3) 几何力学 / Lie 群积分¶
Marsden, Pekarsky, Shkoller (1999) "Discrete Euler-Poincaré and Lie-Poisson Equations", Nonlinearity 12:1647。必读。
Iserles, Munthe-Kaas, Nørsett, Zanna (2000) "Lie-group Methods", Acta Numerica 9:215–365。Lie 群积分器权威综述。必读。
Lee, Leok, McClamroch (2007) "Lie Group Variational Integrators for the Full Body Problem", CMAME 196:2907–2924。必读。
Bou-Rabee & Marsden (2009) "Hamilton-Pontryagin Integrators on Lie Groups", FoCM 9:197–219。arXiv:0809.4183。必读。
Celledoni, Marthinsen, Owren (2014) "An Introduction to Lie Group Integrators", JCAM 262:143–157。选读。
4-5 解析微分¶
Carpentier & Mansard (2018) "Analytical Derivatives of Rigid Body Dynamics Algorithms", RSS 2018, doi:10.15607/RSS.2018.XIV.038。Pinocchio 3 的理论基石。必读。
Singh, Russell, Wensing (2022) "Efficient Analytical Derivatives of Rigid-Body Dynamics Using Spatial Vector Algebra", IEEE RA-L 7(2):1776–1783。arXiv:2105.05102。必读。
Giftthaler, Neunert, Stäuble, Buchli (2017) "Automatic Differentiation of Rigid Body Dynamics for Optimal Control", Multibody Syst. Dyn. 42。AD 与解析微分 benchmark。选读。
Kudruss, Manns, Kirches (2023) "Efficient Derivative Evaluation of RBDL with Analytic Derivatives", IEEE RA-L。选读。
4-6 约束 / 接触动力学¶
Stewart & Trinkle (1996) "An Implicit Time-Stepping Scheme for Rigid-Body Dynamics with Coulomb Friction", IJNME 39:2673–2691。必读。
Anitescu & Potra (1997) "Formulating Dynamic Multi-Rigid-Body Contact Problems with Friction as LCPs", NonLinDyn 14:231–247。必读。
Todorov (2014) "Convex and Analytically Invertible Contact Dynamics", ICRA/IROS。MuJoCo soft contact 核心。必读。
Howell, Cleac'h, Brüdigam, Manchester (2022) "Dojo: A Differentiable Physics Engine for Robotics", arXiv:2203.00806。必读。
Pang, Suh, Casalino, Tedrake (2023) "Global Planning for Contact-Rich Manipulation", RSS 2023。可微接触+规划前沿。选读。
Brogliato, ten Dam, Paoli, Génot, Abadie (2002) "Numerical simulation of finite dimensional multibody non-smooth mechanical systems", ASME AMR 55:107–150。选读。
4-7 辛结构与动量映射¶
Marsden & West (2001) "Discrete Mechanics and Variational Integrators", Acta Numerica 10:357–514。本专题唯一必读的 250 页长文。
Kane, Marsden, Ortiz, West (2000) "Variational Integrators and the Newmark Algorithm for Conservative and Dissipative Mechanical Systems", IJNME 49:1295–1325。必读。
Marsden & Weinstein (1974) "Reduction of Symplectic Manifolds with Symmetry", Rep. Math. Phys. 5:121–130。动量映射-约化原典。必读。
Holm, Marsden, Ratiu (1998) "The Euler-Poincaré Equations and Semidirect Products", Adv. Math. 137:1–81。选读。
Lew, Marsden, Ortiz, West (2004) "Asynchronous Variational Integrators", ARMA 167:85–146。选读。
6. 可视化与直觉建设工具¶
3Blue1Brown — Essence of Linear Algebra（https://www.youtube.com/playlist?list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab ；B 站 https://www.bilibili.com/video/av6731067/）、Essence of Calculus、Differential Equations。机器人学数学补课的第一站。
Eigenchris — Tensors for Beginners 与 Tensor Calculus 播放列表（https://www.youtube.com/@eigenchris）；最系统的免费微分几何视频，是专题 4-4 的前置读物。
Steve Brunton — Control Bootcamp 与 Data-Driven Dynamical Systems（https://www.youtube.com/@Eigensteve）。
交互式工具：GeoGebra 3D（https://www.geogebra.org/3d）旋转可视化；Manim Community（https://docs.manim.community/，v0.19，2024-12）制作 Lie 群动画；Desmos 相图 https://www.desmos.com/calculator。
机器人动力学可视化：MeshCat（https://github.com/meshcat-dev/meshcat）是 Drake/Pinocchio/RigidBodyDynamics.jl 的统一选择；Viser（https://github.com/nerfstudio-project/viser）是 Pinocchio 2025 年官方新集成的现代浏览器可视化，带交互滑块；RViz2（https://github.com/ros2/rviz）是 ROS 生态标准；MuJoCo simulate 与 Drake MeshcatVisualizer 是调试 MJCF/SDF 的日常工具；Gepetto Viewer（https://github.com/Gepetto/gepetto-viewer）为 Stack-of-Tasks 原生；Isaac Sim 5.0 含 RTX 光线追踪与 Omniverse USD。
Lie 群代码可视化：manif Python 绑定 manifpy（pip install manifpy）、sophuspy（https://github.com/craigstar/SophusPy）、pylie（https://pypi.org/project/pylie/）为流形 ODE 积分专用。
7. 中文学习资源专区¶
中文原创教材¶
刘延柱《高等动力学》第 2 版（高等教育出版社, 2016, ISBN 978-7-04-044720-3）、《经典力学》（高教出版社）— 豆瓣 9.3。中国多体动力学的标准参考，含非完整约束、Hamilton 力学、稳定性。覆盖 4-2、4-6。
洪嘉振《计算多体系统动力学》（高等教育出版社, 2003, ISBN 978-7-04-007894-8）— 豆瓣 9.1。工程多体系统的国内权威。覆盖 4-3、4-6。
熊有伦《机器人学：建模、控制与视觉》（华中科技大学出版社, 2018, ISBN 978-7-5680-4041-4）— 豆瓣 8.5。院士主编，系统完整。覆盖 4-2、4-3。
丁希仑《机器人机构学的数学基础》（机械工业出版社, 2016）— 豆瓣 8.6。李群李代数在机构学中的系统应用。覆盖 4-1、4-4。
张宪民《机器人学》（华南理工大学出版社, 2020）；蔡自兴《机器人学基础》第 3 版（机械工业出版社, 2021, ISBN 978-7-111-68796-9）— 本科生使用最广的中文教材。
知乎专栏与公众号¶
知乎专栏推荐：@RoboTrue（李群 SE(3) 系列）、@张巍（辛积分）、@邓肯不唐肯（Pinocchio/Crocoddyl 源码走读）、@汪明明（MPC、WBC 工程实战）、@Rasin（MuJoCo 建模与 sim-to-real）。每个专栏均有 20+ 篇深度长文。
公众号：泡泡机器人 SLAM（机器人感知+几何基础）、深蓝学院（课程 preview）、机器之心（前沿论文速递）、机器人大讲堂（产业+学术）、新机器视觉（机器视觉+机器人）、AI 科技评论。
B 站 UP 主¶
材机战士（https://space.bilibili.com/413272162，MuJoCo 2025 系列）、飞的岛（Cassie/MuJoCo/足式）、Skydebugger（Pinocchio/Crocoddyl 源码）、汪博学长（ROS 与 WBC）、机器人老王（ROS 2 与控制）、Lonemoon_月影（SLAM 与李群）。
中文论坛与社区¶
古月居（https://www.guyuehome.com/）— ROS/机器人综合；泡泡机器人（https://www.paopaorobot.org/）— SLAM/感知；CSDN 机器人专题（https://blog.csdn.net/nav/ai/robot）；知乎"机器人"话题（https://www.zhihu.com/topic/19556519）；机器人大讲堂（http://www.robot-china.com/）产业动向。
中文博士论文推荐¶
- 汪文宇《基于优化的四足机器人动态运动规划与控制》哈尔滨工业大学 2022
- 刘成菊《双足机器人动态行走的控制与学习》同济大学 2021
- 杨永锋《多体系统动力学保辛算法研究》中科院力学所 2019
- 陈恳团队清华大学系列（搜"仿人机器人全身控制"）
- 浙江大学控制学院"四足机器人"方向博士论文（如朱秋国、王宏涛团队）
- 知网检索：https://www.cnki.net/ 关键词"多体动力学 + 辛积分"、"机器人 + Pinocchio"、"Featherstone"可找到 30+ 篇相关学位论文。
8. 工具链与开发环境¶
C++ 工具链：Eigen 5.0（https://eigen.tuxfamily.org/）所有机器人库的线代基石；Boost 1.87；CMake 3.31 推荐 target-based 现代写法；conda-forge（conda install -c conda-forge pinocchio crocoddyl casadi）是安装 Stack-of-Tasks 栈最省事的方式；hpp-fcl 已更名 coal。
Python 工具链：NumPy 2.2 / SciPy 1.14；CasADi 3.7.2（https://web.casadi.org/）NMPC 首选；JAX + MJX 3.6 + Brax + MJWarp；PyTorch 2.5 RL/Isaac Lab 标配；SymPy 1.13 / SymEngine 0.12 符号推导；pytest 8.3 测试事实标准。
Julia 工具链：DifferentialEquations.jl、GeometricIntegrators.jl、RigidBodyDynamics.jl、ModelingToolkit.jl v10、Symbolics.jl。Julia 在辛积分+符号动力学场景性能与表达力俱佳。
仿真环境选型（2025–2026）：
| 场景 | 首选 | 备选 |
|---|---|---|
| MPC/规划/模型分析 | Drake / Pinocchio | acados |
| 大规模 RL（GPU） | Isaac Lab 2.3 / MuJoCo Playground | MJX + MJWarp |
| 多材料/软体 | Genesis 0.4 / MuJoCo flex | Warp |
| ROS 2 部署 | Gazebo Harmonic/Jetty | Webots |
| 微分物理研究 | Dojo.jl / Nimble / MJX | Warp |
MuJoCo 3.7.0（2026-04）是当前主力版本；Isaac Sim 5.0 + Isaac Lab 2.3 GA（2025-10）集成 Newton/PhysX/Warp/MuJoCo 多物理后端。Genesis 宣称 10-80× 提速，但在复杂接触场景的准确性社区仍在验证。
CI/测试：Google Test、Catch2 v3.7、pytest 8.3；GitHub Actions 机器人项目典型矩阵 = ubuntu-24.04 + conda-forge + ros-tooling/setup-ros@v0.7 + xvfb-run（GUI 测试）。Pinocchio、Drake 的 .github/workflows 是学习范本。
9. 学习路线图总览¶
依赖图¶
4-1 空间向量 ──┬──▶ 4-3 RNEA/ABA/CRBA ──┬──▶ 4-5 解析微分 ──┐
│ │ │
└──▶ 4-4 SE(3) 几何 ─────┴──▶ 4-7 辛结构 ────┤
▼
4-2 Lagrange-Hamilton ────────────▶ 4-6 约束动力学
4-1 是整个批次的"词汇表"，必须最先打通；4-2 提供变分原理的哲学根基；4-3 是工程算法核心；4-4 为 4-3 加上 Lie 群几何；4-5 解析微分是连接 4-3 与现代可微控制的桥梁；4-6 约束动力学依赖 4-1 和 4-3；4-7 辛结构将 4-2 与 4-4 融合，最"数学重"。
档位 3（研究生入门 / 工程落地，约 200h）¶
- 4-1（20h）：读 Lynch-Park 第 3、5、8 章 + Featherstone 第 2 章 + Caron spatial vectors 博客
- 4-2（25h）：Lynch-Park 第 8 章 + Marsden-Ratiu 前 3 章 + Underactuated 前 3 讲
- 4-3（35h）：Featherstone 第 5-9 章 + Pinocchio 教程 notebooks + CMU 16-715 第 1-5 讲
- 4-4（25h）：Murray-Li-Sastry 第 2-4 章 + Park-Bobrow-Ploen 1995 论文
- 4-5（25h）：Carpentier-Mansard RSS 2018 论文 + Pinocchio 解析微分代码
- 4-6（40h）：Stewart-Trinkle 1996 + MuJoCo 文档 + Drake Hydroelastic + Dojo.jl 示例
- 4-7（30h）：Marsden-West 2001 前半 + Hairer-Lubich-Wanner 第 2、6 章 + GeometricIntegrators.jl 示例
档位 4（博士深度 / 前沿研究，约 400h）¶
在档位 3 之上加： - 4-1：Bullo-Lewis 第 2 章（几何力学）+ 螺旋理论 Dai 2020（+10h） - 4-2：Arnold 第 8、9 章 + Bloch 第 5、6 章（+25h） - 4-3：Handbook of Robotics 第 2 章 + rbdl/RigidBodyDynamics.jl 源码通读（+20h） - 4-4：Lee-Leok-McClamroch 2007、Bou-Rabee-Marsden 2009 + Bullo-Lewis 第 4-6 章（+30h） - 4-5：Singh et al. 2022 + Pinocchio 3 constraintDynamics 源码（+20h） - 4-6：Brogliato 2016 第 5-8 章 + Howell-Manchester Dojo + Pang 2023 全局规划（+50h） - 4-7：Marsden-West 全文 + Holm-Marsden-Ratiu 1998 + 动手实现 variational integrator（+45h）
总预算：档位 3 约 200 小时（半年），档位 4 约 400 小时（一年）。实现至少一个端到端项目（例如：用 Pinocchio + CasADi + Crocoddyl 写一个四足 MPC；或用 RigidBodyDynamics.jl + GeometricIntegrators.jl 做一个变分积分器的能量守恒实验）是转化理论为直觉的决定性环节。
结语：一张拼图的时代¶
本批次的深层共识是：刚体动力学不再是 1980 年代完成的"已解决问题"。Pinocchio 3 把解析微分变成 API 调用，MJWarp 把接触仿真扔进 GPU 海洋，Dojo 让接触变分可微，Isaac Lab 让 sim-to-real 流水线化——这些都不是独立进展，而是同一张拼图的碎片：让刚体动力学每一个量都变得"可组合、可求导、可学习、可规模化"。
读到本指南末尾的读者，应该能清楚看到：深度（数学）、宽度（工程）、前沿（研究）三条线在第四批七个专题里如何交织。Featherstone 的 spatial vector、Marsden 的 symplectic reduction、Carpentier 的 analytical derivatives 看似隔着半个世纪，实际上在 Pinocchio 源码的某一个 computeRNEADerivatives 函数里同时运行。理解这一点，就理解了 2025 年做机器人动力学的节奏：读最老的 Featherstone，用最新的 MJWarp，投最前沿的 arXiv。
建议的下一步：对照第 9 节的依赖图选择档位，选出 3-5 个"必读"清单的论文与一本"圣经"级教材，同时配置 conda-forge 的 Pinocchio + MuJoCo + JAX 环境。读与写、推导与跑代码、可视化与动手调参——四者缺一不可。Good luck, and may your quaternions be unit norm.