Ubuntu 20.04 下 CasADi C++ 源码编译与机器人控制实战

张

张建站

2026/4/7 13:00:12

10分钟阅读

1. 环境准备与依赖安装在Ubuntu 20.04上编译CasADi C源码前我们需要先搭建好开发环境。这个环节就像盖房子前要打好地基缺一不可。我建议先更新系统软件包列表避免后续出现版本冲突sudo apt update sudo apt upgrade -y接下来安装基础编译工具链这里有个小技巧如果你不确定某个包是否已安装可以用apt list --installed查看。必备的构建工具包括sudo apt install -y gcc g gfortran git cmake数学库是优化计算的核心支撑需要特别注意版本兼容性。实测发现同时安装以下组合最稳定sudo apt install -y liblapack-dev libblas-dev pkg-configPython生态支持是可选项但强烈建议安装因为很多调试工具依赖Python环境。这里我推荐使用miniconda管理Python环境wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh bash Miniconda3-latest-Linux-x86_64.sh conda create -n casadi_env python3.8 conda activate casadi_env最后别忘了安装SWIG接口生成器这是连接C和Python的关键桥梁sudo apt install -y swig2. Ipopt求解器编译实战2.1 ASL数学解析库安装ASL(Ampl Solver Library)是Ipopt处理数学表达式的核心组件。我习惯在用户目录下创建专门的build文件夹管理源码mkdir ~/coin-or cd ~/coin-or git clone https://github.com/coin-or-tools/ThirdParty-ASL.git cd ThirdParty-ASL这里有个容易踩坑的地方新版ASL需要先运行get.ASL脚本获取子模块。我建议添加--depth1参数加快克隆速度./get.ASL --depth1编译时使用-j$(nproc)参数可以充分利用多核性能./configure --prefix/usr/local make -j$(nproc) sudo make install验证安装是否成功可以检查/usr/local/lib下是否生成了libcoinasl.so文件。2.2 HSL线性代数库配置HSL库需要从官网注册下载这里分享一个加速技巧使用学术邮箱注册通常审核更快。下载coinhsl-2021.05.05.tar.gz后tar -xzf coinhsl-2021.05.05.tar.gz mv coinhsl-2021.05.05 ~/coin-or/ThirdParty-HSL/coinhsl编译时建议开启OpenMP支持cd ~/coin-or/ThirdParty-HSL ./configure --prefix/usr/local --enable-openmp make -j$(nproc) sudo make install2.3 MUMPS并行求解器安装MUMPS对大规模问题求解很关键但编译过程容易出问题。我总结出最稳定的配置组合cd ~/coin-or git clone https://github.com/coin-or-tools/ThirdParty-Mumps.git cd ThirdParty-Mumps ./get.Mumps --with-metis --with-parmetis遇到依赖缺失时可以安装开发版sudo apt install -y libmetis-dev libparmetis-dev编译参数建议这样设置./configure --prefix/usr/local \ --with-metis-lib/usr/lib/x86_64-linux-gnu \ --with-metis-inc/usr/include3. CasADi源码深度编译3.1 源码获取与配置推荐使用官方发布的稳定版本而非git master分支。我测试过3.7.1版本在ROS2 Foxy中最稳定wget https://github.com/casadi/casadi/releases/download/3.7.1/casadi-3.7.1.tar.gz tar -xzf casadi-3.7.1.tar.gz cd casadi-3.7.1CMake配置是核心环节这个配置模板经过多次验证mkdir build cd build cmake -DWITH_PYTHONON \ -DWITH_PYTHON3ON \ -DWITH_IPOPTON \ -DWITH_MUMPSON \ -DWITH_OPENMPON \ -DCMAKE_INSTALL_PREFIX/usr/local \ ..3.2 编译优化技巧使用CCache可以显著加速二次编译sudo apt install ccache export CCccache gcc export CXXccache g编译时监控系统资源很关键我常用这个命令组合make -j$(($(nproc)-1)) | tee build.log watch -n 1 tail -n 20 build.log; echo; uptime; echo; free -h安装后务必更新动态链接库缓存sudo ldconfig4. 四足机器人MPC控制实战4.1 ROS2工作空间配置创建专属功能包时这些依赖项必不可少ros2 pkg create go2_control \ --build-type ament_cmake \ --dependencies rclcpp std_msgs eigen3_cmake_module在CMakeLists.txt中需要特别注意这些配置find_package(Eigen3 REQUIRED) find_package(casadi REQUIRED) include_directories( ${EIGEN3_INCLUDE_DIRS} ${casadi_INCLUDE_DIRS} ) target_link_libraries(your_node ${casadi_LIBRARIES} /usr/local/lib/libcoinmumps.so /usr/local/lib/libcoinhsl.so )4.2 动力学建模技巧以四足机器人的单腿模型为例使用CasADi符号系统建模// 定义状态变量关节位置和速度 MX q MX::sym(q, 3); MX dq MX::sym(dq, 3); MX x MX::vertcat({q, dq}); // 定义控制输入关节力矩 MX u MX::sym(u, 3); // 构建动力学方程 MX M computeInertiaMatrix(q); // 惯性矩阵 MX C computeCoriolisMatrix(q, dq); // 科氏力矩阵 MX G computeGravityVector(q); // 重力向量 MX ddq mtimes(inv(M), (u - mtimes(C, dq) - G)); MX dx MX::vertcat({dq, ddq}); Function dynamics(dynamics, {x, u}, {dx});4.3 MPC优化问题构建预测控制的核心是构建优化问题这个模板可以直接复用Opti opti; // 决策变量 MX X opti.variable(6, N1); // 6维状态N1个时间点 MX U opti.variable(3, N); // 3维控制N个时间点 // 参数化初始状态和参考轨迹 MX x0 opti.parameter(6); MX x_ref opti.parameter(6, N1); // 动力学约束 for(int k0; kN; k){ MX x_k X(Slice(), k); MX u_k U(Slice(), k); MX x_next rk4(dynamics, x_k, u_k, dt); opti.subject_to(X(Slice(), k1) x_next); } // 代价函数跟踪误差控制惩罚 MX cost 0; for(int k0; kN; k){ MX x_k X(Slice(), k); cost 10*sumsqr(x_k - x_ref(Slice(),k)); // 状态误差权重 if(kN) cost 0.1*sumsqr(U(Slice(),k)); // 控制量权重 } opti.minimize(cost); // 添加物理约束 opti.subject_to(opti.bounded(-M_PI/2, X(Slice(0,3), all), M_PI/2)); // 关节角度限位 opti.subject_to(opti.bounded(-50, U, 50)); // 力矩限制4.4 实时求解优化在实际部署时这个热启动技巧能提升求解速度// 初始化求解器 OptiSol solver opti.solve(); // 实时循环中 while(rclcpp::ok()){ // 更新参数值 opti.set_value(x0, current_state); opti.set_value(x_ref, reference_trajectory); // 使用上次解作为初始猜测 if(first_run){ first_run false; } else { opti.set_initial(X, last_X); opti.set_initial(U, last_U); } // 求解 try { solver.solve(); last_X solver.value(X); last_U solver.value(U); } catch(...) { RCLCPP_WARN(Solver failed, using last solution); } // 应用控制 apply_joint_torque(last_U(Slice(),0)); }5. 性能调优与调试技巧5.1 求解器参数优化在机器人实时控制中这些Ipopt参数设置很关键Dict ipopt_options; ipopt_options[ipopt.max_iter] 100; // 最大迭代次数 ipopt_options[ipopt.tol] 1e-4; // 收敛容差 ipopt_options[ipopt.linear_solver] mumps; // 线性求解器 ipopt_options[ipopt.warm_start_init_point] yes; // 热启动 ipopt_options[ipopt.print_level] 0; // 关闭冗余输出 opti.solver(ipopt, ipopt_options);5.2 计算图优化技巧CasADi支持计算图优化这个技巧能提升30%计算速度// 创建JIT编译函数 Function mpc_solver opti.to_function(mpc_solver, {x0, x_ref}, {U(Slice(),0)}); // 开启JIT加速 mpc_solver.generate(mpc_solver.c, {-O3, -ffast-math}); mpc_solver external(mpc_solver, ./mpc_solver.so);5.3 多线程并行处理对于多足机器人的复杂控制可以采用任务并行// 分离状态估计和MPC计算线程 std::thread mpc_thread([](){ while(running){ auto start std::chrono::high_resolution_clock::now(); solve_mpc(); auto end std::chrono::high_resolution_clock::now(); mpc_latency end - start; } }); // 主线程处理状态估计和通信 while(rclcpp::ok()){ update_state_estimation(); publish_robot_data(); spin_some(); }6. 常见问题解决方案6.1 符号链接错误处理遇到libcasadi.so.3.7: cannot open shared object file错误时sudo ldconfig export LD_LIBRARY_PATH/usr/local/lib:$LD_LIBRARY_PATH建议将export语句永久添加到~/.bashrc中。6.2 MUMPS内存不足问题大规模问题求解时可以调整MUMPS内存分配ipopt_options[ipopt.mumps_mem_percent] 2000; // 内存分配系数 ipopt_options[ipopt.mumps_pivtol] 1e-6; // 枢轴容差6.3 实时性保障方案确保控制周期稳定的关键措施使用Linux实时内核sudo apt install linux-rt设置线程优先级#include pthread.h pthread_t this_thread pthread_self(); struct sched_param params; params.sched_priority sched_get_priority_max(SCHED_FIFO); pthread_setschedparam(this_thread, SCHED_FIFO, params);使用高精度定时器#include chrono auto next_cycle std::chrono::steady_clock::now(); while(running){ next_cycle std::chrono::milliseconds(5); // 200Hz std::this_thread::sleep_until(next_cycle); }