系列文章目录

---

---

前言

开源的库和工具箱

---

一、开源的库和工具箱

1.1 ACADO

ACADO 工具箱是一个用于自动控制和动态优化的开源软件环境和算法集。

它还使用直接多步法（direct multiple shooting method）。ACADO 由 C++ 编写，但带有用户友好的 Matlab 接口。

作者是鲁汶工程大学的 Moritz Diehl、Boris Houska、Hand Joachim Ferreau、Milan Vukov 和 Rien Quiynen。

网址： www.acadotoolkit.org

1.2 CasADi

CasADi 是一款用于非线性优化（nonlinear optimization ）和算法微分（algorithmic differentiation）的开源工具。它有助于在离线环境和非线性模型预测控制（NMPC）中快速、高效地实施不同的数值优化控制方法。

网址：https://web.casadi.org/

1.3 Control Toolbox

控制工具箱（Control Toolbox，简称 “CT”）是一个用于建模（modeling）、控制（control）、估计（estimation）、轨迹优化（trajectory optimization）和模型预测控制（model predictive control）的 C++ 库。控制工具箱适用于多种动态系统，但也有专门为机器人设计的附加工具。该库包含多个工具，用于设计和评估控制器、动态系统建模和数值求解最优控制问题（optimal control problems）。

网址：https://ethz-adrl.github.io/ct/

1.4 Crocoddyl

Crocoddyl 是一个用于接触序列（contact sequence）下机器人控制的最优控制库。它的求解器基于高效的差分动态编程（Differential Dynamic Programming，DDP）算法。Crocoddyl 可计算最佳轨迹（optimal trajectories）和最佳反馈增益（optimal feedback gains）。它使用 Pinocchio 快速计算机器人动力学及其分析导数。

网址：https://github.com/loco-3d/crocoddyl

1.5 Ipopt

Ipopt 是用于大规模非线性连续优化（large-scale nonlinear continuous optimization）的开源求解器。它可以在 AIMMS、AMPL、GAMS 或 Matlab 等建模环境中使用，也可以作为可调用库提供，并与 C++、C、Fortran、Java 和 R 兼容。

网址：https://github.com/coin-or/Ipopt

1.6 Manopt

Matlab、Python 和 Julia 工具箱用于流形（manifolds）和矩阵（matrices）上的无约束优化（unconstrained optimization），可轻松处理应用中自然出现的各类约束（constraints）和对称性（symmetries），如正交性（orthonormality）、低秩（low rank）、正向性（positivity）和群作用（group actions）下的不变性（invariance）。

网址：https://www.manopt.org/

1.7 LexLS

D. Dimitrov、A. Sherikov 和 P.-B. Wieber 在论文 Efficient resolution of potentially conflicting linear constraints in robotics 中提出的基于词法 QR (l-QR) 的词法最小二乘问题（lexicographic least-squares problems）快速 C++ 求解器。

网址：https://github.com/jrl-umi3218/lexls

1.8 NLOpt

NLopt 是一个免费/开源的非线性优化（nonlinear optimization）库，它为许多在线免费优化例程以及各种其他算法的原始实现提供了一个通用接口。

网址：https://openocl.org/

1.9 qpOASES

qpOASES 是最近提出的在线主动集策略的开源 C++ 实现，其灵感来自参数化二次规划（parametric quadratic programming，QP）领域的重要观察结果。它的一些理论特性使其特别适用于模型预测控制（MPC）应用。进一步的数值修改使 qpOASES 成为一个可靠的 QP 求解器，即使是在处理半有限的（semi-definite）、不确定的（ill-posed）或退化（degenerated）的 QP 问题时也是如此。此外，qpOASES 还提供了多个与 Matlab 或 Simulink 等第三方软件的接口，即使不懂 C/C++ 的用户也能轻松使用。

1.10 qpSWIFT

qpSWIFT 是一种稀疏二次规划（sparse quadratic programming）编程求解器，专为机器人等嵌入式应用而设计。qpSWIFT 采用带有 Mehrotra 预测器-校正器步骤和 Nesterov-Todd 缩放的基元-二元内部点法。

求解器的核心部分是用 ANSI-C 编写的，并带有与 matlab、python 和 simulink 等流行编程语言的接口。要了解更多关于求解器安装和使用的信息，请参阅（pdf）或（github wiki）上的网页文档。有关算法的详细信息，请参阅研究文章（链接）

网址：https://qpswift.github.io/
Github 地址：https://github.com/qpSWIFT/qpSWIFT

1.11 Roboptim

Roboptim 是一个用于机器人数值优化的现代开源 C++ 库，由 Thomas Moulard（法国图卢兹 LAAS CNRS 和日本筑波 AIST-JRL）开发。

网址：http://www.roboptim.net/

二、其他库和工具箱

2.1 MUSCOD

MUSCOD 是一款功能强大的优化控制代码，适用于系统常微分方程和微分代数方程，可用于机器人问题。它采用直接多步法（direct multiple shooting method）。 MUSCOD 由 Hans Georg Bock、Daniel Leineweber 和合作者（德国海德堡大学）编写。

网址：http://www.iwr.uni-heidelberg.de/~agbock/RESEARCH/muscod.php, https://neos-server.org/neos/solvers/miocp:MUSCOD-II/AMPL.html