第5章:模型预测控制(MPC)的代码实现

1. 建立 QP 模型:


1.1 车辆模型:

注:车辆横向动力学模型 + 纵向动力学模型 = 总模型

注意:关于这里求得的状态空间方程 x_{k+1}=Ax_{k}+Bu_{k} 中涉及到的状态量 x_{k} 和控制量 u_{k} 

  • 状态量 x_{k} :系统 k 时刻的实际状态量
  • 控制量 u_{k} :系统 k 时刻的实际控制量

注意:上一篇文章 笔记100:使用 OSQP-Eigen 对 MPC 进行求解的方法与代码_osqp库使用说明-CSDN博客 中,提供的针对【线性模型 + 线性约束】的示例代码,使用的状态空间方程 x_{k+1}=Ax_{k}+Bu_{k} 中的控制量 u_{k} ,其实是增量,而该篇博客中控制量 u_{k} 使用的就是实实在在的控制量;


1.2 QP 问题模型:

注:详细推导见 笔记100:使用 OSQP-Eigen 对 MPC 进行求解的方法与代码-CSDN博客 中对【线性系统 + 线性约束】问题的 QP 问题的构建过程;

  • 构建代价函数:

  • 构建约束:

注1:其中 x_{k} = \left [ e_{cg} , \dot{e_{cg}} , e_{\theta } , \dot{e_{\theta }} , e_s , e_v \right ]^T

注2:其中 x_{r} = [0,0,...,0] ,因为本身车辆模型提供的状态空间方程的状态量 x 就是误差量,对于误差量而言他的目标值就是0;


a

a

a

a

a

2. 代码实现


  • 头文件 common.h :定义各种结构体
#include <fstream>
#include <iostream>
#include <string>
#include <lgsvl_msgs/VehicleControlData.h>
#include <nav_msgs/Odometry.h>
#include <std_msgs/Header.h>
#include <sensor_msgs/Imu.h>
#include "map.h"
#include "reference_line.h"
#include "ros/ros.h"
#include "tf/tf.h"




// 车辆状态信息
struct VehicleState {
    double x;                   // 车辆在【全局坐标系】中的 -- x值
    double y;                   // 车辆在【全局坐标系】中的 -- y值
    double heading;             // 车辆在【全局坐标系】中的 -- 车辆朝向(车辆横摆角/航向角,也即车辆欧拉角中的偏航角 yaw)
    double kappa;               // 车辆在【全局坐标系】中的 -- 曲率(转弯半径的倒数)
    double velocity;            // 车辆在【全局坐标系】中的 -- 线速度
    double angular_velocity;    // 车辆在【全局坐标系】中的 -- 角速度(横摆角变化率)
    double acceleration;        // 车辆在【全局坐标系】中的 -- 加速度

    double vx;                  // 速度在【车身坐标系的x轴】上的分量
    double vy;                  // 速度在【车身坐标系的y轴】上的分量
    double vz;                  // 速度在【车身坐标系的z轴】上的分量

    double pitch;               // 欧拉角 -- 在【车身坐标系】绕x轴转角 -- 俯仰角
    double yaw;                 // 欧拉角 -- 在【车身坐标系】绕y轴转角 -- 偏航角
    double roll;                // 欧拉角 -- 在【车身坐标系】绕z轴转角 -- 横滚角

    double target_curv;         // 期望点的曲率

    // 起点处车辆的信息
    double planning_init_x;     // 车辆起点在【全局坐标系】中的 -- x值
    double planning_init_y;     // 车辆起点在【全局坐标系】中的 -- y值

    // added
    double start_point_x;
    double start_point_y;

    double relative_x = 0;
    double relative_y = 0;
    double relative_distance = 0;

    double last_velocity = 0;       // 上一个时间步的 -- 车辆线速度
    double last_v_err = 0;          // 上一个时间步的 -- 车辆线速度误差
    double last_v_time = 0;         // 上一个时间步的 -- 速度时间戳
    double last_acc = 0;            // 上一个时间步的 -- 加速度

    double cur_v_err = 0;           // 当前时间步的 -- 速度误差
    double cur_v_time = 0;          // 当前时间步的 -- 速度时间戳
    double cur_acc = 0;             // 当前时间步的 -- 加速度
};


// 轨迹(目标)点
struct TrajectoryPoint {
    double x;           // 目标点在【全局坐标系】中的 -- x值
    double y;           // 目标点在【全局坐标系】中的 -- y值
    double heading;     // 目标点在【全局坐标系】中的 -- 目标点处的切线与全局坐标系的x轴之间的夹角(目标航向角)
    double kappa;       // 目标点在【全局坐标系】中的 -- 目标点处的曲率
    double v;           // 目标点在【全局坐标系】中变化的 -- 速度
    double a;           // 目标点在【全局坐标系】中变化的 -- 加速度
};


// 目标轨迹(vector容器中装有所有的路径点)
struct TrajectoryData {
    std::vector<TrajectoryPoint> trajectory_points;
};


// 车辆横向动力学模型(误差型)中状态量x包含的4个分量
struct LateralControlError {
    double lateral_error;       // 横向误差
    double heading_error;       // 航向误差
    double lateral_error_rate;  // 横向误差变化率
    double heading_error_rate;  // 航向误差变化率
};


// 控制命令
struct ControlCmd {
    double steer_target;    //横向控制命令:方向盘转角
    double acc;             //总想控制命令:油门开度
};


typedef std::shared_ptr<LateralControlError> LateralControlErrorPtr;

  • 头文件 mpc_controller.h :定义车辆模型涉及到的所有矩阵和信息
#pragma once
#include <math.h>
#include <fstream>
#include <iomanip>
#include <memory>
#include <string>
#include "Eigen/Core"
#include "common.h"
#include "mpc_osqp.h"
namespace shenlan {
namespace control {
using Matrix = Eigen::MatrixXd;




class MPCController {
public:
    MPCController();
    ~MPCController();

    void LoadControlConf();
    void Init();
    bool ComputeControlCommand(const VehicleState &localization, const TrajectoryData &planning_published_trajectory, ControlCmd &cmd);


protected:
    double Wheel2SteerPct(const double wheel_angle);
    void UpdateState(const VehicleState &vehicle_state);
    void UpdateMatrix(const VehicleState &vehicle_state);

    // 计算横向误差(未定义)
    void ComputeLateralErrors(const double x, const double y, const double theta, const double linear_v, const double angular_v, const double linear_a, LateralControlErrorPtr &lat_con_err);
    // 计算纵向误差(未定义)
    void ComputeLongitudinalErrors(const VehicleState &vehicle_state);
    
    void ComputeErrors(const double x, const double y, const double theta, const double linear_v, const double angular_v, const double linear_a, LateralControlErrorPtr &lat_con_err);
    void ToTrajectoryFrame(const double x, const double y, const double theta, const double v, const TrajectoryPoint &ref_point, double *ptr_s, double *ptr_s_dot, double *ptr_d, double *ptr_d_dot);
    TrajectoryPoint QueryNearestPointByPosition(const double x, const double y);

    // 全局规划路径中的所有点:
    std::vector<TrajectoryPoint> trajectory_points_;

    // 车辆的物理参数汇总:
    double ts_ = 0.0;           // 两个控制命令之间的时间间隔
    double cf_ = 0.0;           // 前轮侧偏刚度
    double cr_ = 0.0;           // 后轮侧偏刚度
    double wheelbase_ = 0.0;    // 车辆纵轴长度
    double mass_ = 0.0;         // 车辆总质量
    double lf_ = 0.0;           // 车辆纵轴中的lf
    double lr_ = 0.0;           // 车辆纵轴中的lr
    double iz_ = 0.0;           // 汽车的转动惯量
    double steer_ratio_ = 0.0;  // 方向盘的转角到轮胎转动角度之间的比值系数

    Eigen::MatrixXd matrix_a_;
    Eigen::MatrixXd matrix_a_coeff_;
    Eigen::MatrixXd matrix_ad_;
    Eigen::MatrixXd matrix_b_;
    Eigen::MatrixXd matrix_bd_;
    Eigen::MatrixXd matrix_state_;

    Eigen::MatrixXd matrix_r_;
    Eigen::MatrixXd matrix_q_;
    Eigen::MatrixXd matrix_q_updated_;

    const int basic_state_size_ = 6;    // 状态量x的大小(横向误差 / 横向误差变化率 / 航向误差 / 航向误差变化率 / 纵向位置误差 / 纵向速度误差)
    const int controls_ = 2;            // 控制量u的大小(方向盘转角 / 汽车加速度)
    double station_error_ = 0.0;        // 纵向位置误差
    double speed_error_ = 0.0;          // 纵向速度误差

    int mpc_max_iteration_ = 0;         // MPC求解器的参数 -- QP求解器最大迭代次数
    double mpc_eps_ = 0.0;              // MPC求解器的参数 -- 计算阈值
    const int horizon_ = 10;            // MPC有限时域长度

    double max_acceleration_ = 0.0;                     // 车辆最大加速度
    double max_deceleration_ = 0.0;                     // 车辆最小加速度
    double max_lat_acc_ = 0.0;                          // 转向时的最大横向加速度
    double minimum_speed_protection_ = 0.1;             // 车辆最小速度
    double steer_single_direction_max_degree_ = 0.0;    // 方向盘的最大转角
    double wheel_single_direction_max_degree_ = 0.0;    // 车轮的最大转角
};




}  // namespace control
}  // namespace shenlan
  • 源文件 mpc_controller.cpp :
#include "mpc_controller.h"
#include <algorithm>
#include <iomanip>
#include <utility>
#include <vector>
#include "Eigen/LU"
#include "math.h"
using namespace std;
namespace shenlan {
namespace control {




// 函数作用:构造函数
MPCController::MPCController() {}
// 函数作用:析构函数
MPCController::~MPCController() {}


// 函数作用:初始化车辆物理参数
void MPCController::LoadControlConf() {
    ts_ = 0.01;                                 // 两个控制命令之间的时间间隔
    cf_ = 155493.663;                           // 前轮侧偏刚度
    cr_ = 155493.663;                           // 后轮侧偏刚度
    wheelbase_ = 1.0;                           // 车辆纵轴长度
    max_acceleration_ = 0.8;                    // 车辆最大加速度           (总加速度)
    max_deceleration_ = -0.8;                   // 车辆最小加速度           (总加速度)
    max_lat_acc_ = 5.0;                         // 转向时的最大横向加速度   (横向加速度)

    steer_ratio_ = 1.0;                                                                                     // 传动比
    steer_single_direction_max_degree_ = 40.0;                                                              // 方向盘的最大转角(角度)
    wheel_single_direction_max_degree_ = steer_single_direction_max_degree_ / steer_ratio_ / 180 * M_PI;    // 车轮最大转角(弧度)

    const double mass_fl = 55.0;                            // 左前悬的质量
    const double mass_fr = 55.0;                            // 右前悬的质量
    const double mass_rl = 65.0;                            // 左后悬的质量
    const double mass_rr = 65.0;                            // 右后悬的质量
    const double mass_front = mass_fl + mass_fr;            // 前悬质量
    const double mass_rear = mass_rl + mass_rr;             // 后悬质量
    mass_ = mass_front + mass_rear;                         // 总车质量

    lf_ = wheelbase_ * (1.0 - mass_front / mass_);          // 汽车前轮到中心点的距离
    lr_ = wheelbase_ * (1.0 - mass_rear / mass_);           // 汽车后轮到中心点的距离
    iz_ = lf_ * lf_ * mass_front + lr_ * lr_ * mass_rear;   // 汽车的转动惯量

    mpc_eps_ = 0.01;                // MPC求解器的参数 -- 计算阈值
    mpc_max_iteration_ = 1500;      // MPC求解器的参数 -- 最大迭代次数

    return;
}


// 函数作用:初始化 -- 横向动力学模型中的矩阵 + 代价函数J中的矩阵
void MPCController::Init() {
    LoadControlConf();

    // 初始化(连续型)车辆横向动力学模型 -- 矩阵A
    matrix_a_ = Matrix::Zero(basic_state_size_, basic_state_size_);
    matrix_a_(0, 1) = 1.0;
    matrix_a_(1, 2) = (cf_ + cr_) / mass_;
    matrix_a_(2, 3) = 1.0;
    matrix_a_(3, 2) = (lf_ * cf_ - lr_ * cr_) / iz_;
    matrix_a_(4, 5) = 1;
    matrix_a_(5, 5) = 0.0;
    matrix_a_coeff_ = Matrix::Zero(basic_state_size_, basic_state_size_);
    matrix_a_coeff_(1, 1) = -(cf_ + cr_) / mass_;
    matrix_a_coeff_(1, 3) = (lr_ * cr_ - lf_ * cf_) / mass_;
    matrix_a_coeff_(2, 3) = 1.0;
    matrix_a_coeff_(3, 1) = (lr_ * cr_ - lf_ * cf_) / iz_;
    matrix_a_coeff_(3, 3) = -1.0 * (lf_ * lf_ * cf_ + lr_ * lr_ * cr_) / iz_;

    // 初始化(连续型)车辆横向动力学模型 -- 矩阵B
    matrix_b_ = Matrix::Zero(basic_state_size_, controls_);
    matrix_b_(1, 0) = cf_ / mass_;
    matrix_b_(3, 0) = lf_ * cf_ / iz_;
    matrix_b_(4, 1) = 0.0;
    matrix_b_(5, 1) = -1.0;

    // 初始化(离散型)车辆横向动力学模型 -- 矩阵Ad
    matrix_ad_ = Matrix::Zero(basic_state_size_, basic_state_size_);

    // 初始化(离散型)车辆横向动力学模型 -- 矩阵Bd
    matrix_bd_ = Matrix::Zero(basic_state_size_, controls_);
    matrix_bd_ = matrix_b_ * ts_;

    // 初始化(离散型)车辆横向动力学方程 -- 状态量x
    matrix_state_ = Matrix::Zero(basic_state_size_, 1);

    // 初始化代价函数J -- 矩阵R
    matrix_r_ = Matrix::Identity(controls_, controls_);
    matrix_r_(0, 0) = 3.25;     // 方向盘转角
    matrix_r_(1, 1) = 1.0;      // 车辆加速度(总价速度)

    // 初始化代价函数J -- 矩阵Q
    matrix_q_ = Matrix::Zero(basic_state_size_, basic_state_size_);
    matrix_q_(0, 0) = 3.0;      // 横向误差
    matrix_q_(1, 1) = 0.0;      // 横向误差变化率
    matrix_q_(2, 2) = 15.0;     // 朝向误差
    matrix_q_(3, 3) = 0.0;      // 朝向误差变化率
    matrix_q_(4, 4) = 0.0;      // 纵向位置误差
    matrix_q_(5, 5) = 10;       // 纵向速度误差

    return;
}


// 函数作用:计算目标点和车辆当前位置之间距离的平方
double PointDistanceSquare(const TrajectoryPoint &point, const double x, const double y) {
    const double dx = point.x - x;
    const double dy = point.y - y;
    return dx * dx + dy * dy;
}


// 函数作用:将弧度值归化到 [-M_PI, M_PI] 之间,防止弧度值超过量纲
double NormalizeAngle(const double angle) {
    double a = std::fmod(angle + M_PI, 2.0 * M_PI);
    if (a < 0.0) a += (2.0 * M_PI);
    return a - M_PI;
}


// 函数作用:
double MPCController::Wheel2SteerPct(const double wheel_angle) {
  return wheel_angle / wheel_single_direction_max_degree_ * 100;
}


// 函数作用:计算控制命令
bool MPCController::ComputeControlCommand(const VehicleState &localization, const TrajectoryData &planning_published_trajectory, ControlCmd &cmd) {
    // 所有轨迹点(全局规划器提供的全局路径)
    trajectory_points_ = planning_published_trajectory.trajectory_points;

    // 更新当前时间步的状态空间变量 x_0(均为误差量)
    UpdateState(localization);

    // 更新状态矩阵 Ad
    // 解释:因为矩阵Ad的计算涉及到车速vx,所以每往后走一个时间步,都要同步更新一下系统横向动力学模型中的Ad矩阵
    UpdateMatrix(localization);

    // 初始化控制量u的矩阵
    Matrix control_matrix = Matrix::Zero(controls_, 1);
    
    // 车辆当前的目标状态量 x_ref(也都是误差量,恒定为 0 向量)
    Matrix reference_state = Matrix::Zero(basic_state_size_, 1);

    // 初始化控制量u中每个分量的上下限值
    // 方向盘转角,车辆加速度
    Matrix lower_bound(controls_, 1);
    Matrix upper_bound(controls_, 1);
    lower_bound << -M_PI/6, max_deceleration_;
    upper_bound << M_PI/6, max_acceleration_;

    // 初始化状态量x中每个分量的上下限值
    // 横向误差,横向误差变化率,航向误差,航向误差变化率,纵向位置误差,纵向速度误差
    Matrix lower_state_bound(basic_state_size_, 1);
    Matrix upper_state_bound(basic_state_size_, 1);
    const double max = std::numeric_limits<double>::max();
    lower_state_bound << -1.0 * max, -1.0 * max, -1.0 * M_PI, -1.0 * max, -1.0 * max, -1.0 * max;
    upper_state_bound << max, max, M_PI, max, max, max;

    // 初始化需要发送给carla模拟器的控制命令
    // 方向盘转角,车辆加速度
    std::vector<double> control_cmd(controls_, 0);

    // 初始化QP求解器
    MpcOsqp mpc_osqp(matrix_ad_,        // Ad
                    matrix_bd_,         // Bd
                    matrix_q_,          // Q
                    matrix_r_,          // R
                    matrix_state_,      // x0
                    lower_bound,        // 不等式约束
                    upper_bound,        // 不等式约束
                    lower_state_bound,  // 不等式约束
                    upper_state_bound,  // 不等式约束
                    reference_state,    // 车辆当前位置匹配的目标点的 -- 目标状态量 xref
                    mpc_max_iteration_, // QP求解器最大迭代次数
                    horizon_,           // 有限时域长度
                    mpc_eps_);          // 计算阈值
    
    // 调用QP求解器开始计算具体的控制命令
    if (!mpc_osqp.Solve(&control_cmd)) {
        std::cout << "MPC OSQP solver failed" << std::endl;
    }
    else {
        std::cout << "MPC OSQP problem solved" << std::endl;
        control_matrix(0, 0) = control_cmd.at(0);
        control_matrix(1, 0) = control_cmd.at(1);
    }

    // 发布控制命令
    double steer_angle_feedback = control_matrix(0, 0);
    double acc_feedback = control_matrix(1, 0);
    cmd.steer_target = steer_angle_feedback;
    cmd.acc = acc_feedback;

    return true;
}


// 函数作用:更新状态空间变量x
void MPCController::UpdateState(const VehicleState &vehicle_state) {
    // 智能指针
    std::shared_ptr<LateralControlError> lat_con_err = std::make_shared<LateralControlError>();

    // 计算状态量x中的每个分量(存储在变量 lat_con_err 中)
    ComputeErrors(vehicle_state.x, vehicle_state.y, vehicle_state.heading, vehicle_state.velocity, vehicle_state.angular_velocity, vehicle_state.acceleration, lat_con_err);

    // 更新状态量x中的每个分量
    matrix_state_(0, 0) = lat_con_err->lateral_error;       // 横向误差
    matrix_state_(1, 0) = lat_con_err->lateral_error_rate;  // 横向误差变化率
    matrix_state_(2, 0) = lat_con_err->heading_error;       // 朝向误差
    matrix_state_(3, 0) = lat_con_err->heading_error_rate;  // 朝向误差变化率
    matrix_state_(4, 0) = station_error_;                   // 纵向位置误差
    matrix_state_(5, 0) = speed_error_;                     // 纵向速度误差
}


// 函数作用:更新矩阵 A_d (计算车辆横向动力学模型 -- 矩阵A + 矩阵Ad)
void MPCController::UpdateMatrix(const VehicleState &vehicle_state) {
    // 防止车辆速度为0
    double v;
    v = std::max(vehicle_state.velocity, minimum_speed_protection_);

    // 计算(连续型)车辆横向动力学模型 -- 矩阵A
    matrix_a_(1, 1) = matrix_a_coeff_(1, 1) / v;
    matrix_a_(1, 3) = matrix_a_coeff_(1, 3) / v;
    matrix_a_(3, 1) = matrix_a_coeff_(3, 1) / v;
    matrix_a_(3, 3) = matrix_a_coeff_(3, 3) / v;

    // 计算(离散型)车辆横向动力学模型 -- 矩阵Ad
    Matrix matrix_i = Matrix::Identity(matrix_a_.cols(), matrix_a_.cols());
    matrix_ad_ = (matrix_i - ts_ * 0.5 * matrix_a_).inverse() * (matrix_i + ts_ * 0.5 * matrix_a_);
}


// 函数作用:计算状态空间变量x的每个分量
void MPCController::ComputeErrors(const double x, const double y, const double theta, const double linear_v, const double angular_v, const double linear_a, LateralControlErrorPtr& lat_con_err) {
    // 查询距离车辆当前位置最近的路径点作为目标点
    TrajectoryPoint target_point;
    target_point = QueryNearestPointByPosition(x, y);

    const double dx = x - target_point.x;
    const double dy = y - target_point.y;
    const double cos_target_heading = std::cos(target_point.heading);
    const double sin_target_heading = std::sin(target_point.heading);

    double lateral_error = cos_target_heading * dy - sin_target_heading * dx;                                           // 横向误差(使用的是车身坐标系和全局坐标系的变换公式计算的)
    double heading_error = NormalizeAngle(theta - target_point.heading);                                                // 航向误差
    auto lateral_error_dot = linear_v * std::sin(heading_error);                                                        // 横向误差变化率
    double ref_heading_rate = target_point.kappa * target_point.v;                                                      // 航向误差变化率
    station_error_ = -(dx * cos_target_heading + dy * sin_target_heading);                                              // 纵向位置误差
    speed_error_ = target_point.v - linear_v * std::cos(abs(heading_error)) / (1 - target_point.kappa * lateral_error); // 纵向速度误差

    lat_con_err->lateral_error = lateral_error;
    lat_con_err->heading_error = heading_error;
    lat_con_err->lateral_error_rate = lateral_error_dot;
    lat_con_err->heading_error_rate = angular_v - ref_heading_rate;
}


// 函数作用:返回全局规划路径上,距离车辆当前位置最近的点
TrajectoryPoint MPCController::QueryNearestPointByPosition(const double x, const double y) {
    double d_min = PointDistanceSquare(trajectory_points_.front(), x, y);
    size_t index_min = 0;

    for (size_t i = 1; i < trajectory_points_.size(); ++i) {
        double d_temp = PointDistanceSquare(trajectory_points_[i], x, y);
        if (d_temp < d_min) {
            d_min = d_temp;
            index_min = i;
        }
    }

    return trajectory_points_[index_min];
}




}  // namespace control
}  // namespace shenlan

  • 头文件 mpc_osqp.h :定义 QP 问题所涉及的所有矩阵和信息
#pragma once
#include <algorithm>
#include <limits>
#include <memory>
#include <utility>
#include <vector>
#include "Eigen/Eigen"
#include "osqp/osqp.h"
namespace shenlan {
namespace control {




class MpcOsqp {
public:
    /**
     * @brief Solver for discrete-time model predictive control problem.
     * @param matrix_a The system dynamic matrix
     * @param matrix_b The control matrix
     * @param matrix_q The cost matrix for control state  costfunction
     * @param matrix_lower The lower bound control constrain matrix
     * @param matrix_upper The upper bound control constrain matrix   
     * @param matrix_initial_state The initial state matrix
     * @param max_iter The maximum iterations
     */
    MpcOsqp(const Eigen::MatrixXd &matrix_a, const Eigen::MatrixXd &matrix_b,   // Ad, Bd
            const Eigen::MatrixXd &matrix_q, const Eigen::MatrixXd &matrix_r,   // Q , R
            const Eigen::MatrixXd &matrix_initial_x,                            // 初始状态空间
            const Eigen::MatrixXd &matrix_u_lower,                              // 控制变量下界
            const Eigen::MatrixXd &matrix_u_upper,                              // 控制变量上界
            const Eigen::MatrixXd &matrix_x_lower,                              // 状态变量下界
            const Eigen::MatrixXd &matrix_x_upper,                              // 状态变量上界
            const Eigen::MatrixXd &matrix_x_ref,                                // 车辆当前位置匹配的目标点的 -- 目标状态量x
            const int max_iter,                                                 // QP 求解器的最大迭代次数
            const int horizon,                                                  // MPC 的有限时域长度
            const double eps_abs);                                              // QP 求解器的计算阈值

    bool Solve(std::vector<double> *control_cmd);


private:
    void CalculateKernel(std::vector<c_float> *P_data, std::vector<c_int> *P_indices, std::vector<c_int> *P_indptr);                // 求 P
    void CalculateEqualityConstraint(std::vector<c_float> *A_data, std::vector<c_int> *A_indices, std::vector<c_int> *A_indptr);    // 求 A_c
    void CalculateGradient();                                                                                                       // 求 q
    void CalculateConstraintVectors();                                                                                              // 求 l 和 u

    OSQPSettings* Settings();
    OSQPData* Data();
    void FreeData(OSQPData *data);

    template <typename T>
    T *CopyData(const std::vector<T> &vec) {
        T* data = new T[vec.size()];
        memcpy(data, vec.data(), sizeof(T) * vec.size());
        return data;
    }


private:
    Eigen::MatrixXd matrix_a_;              // Ad
    Eigen::MatrixXd matrix_b_;              // Bd
    Eigen::MatrixXd matrix_q_;              // Q
    Eigen::MatrixXd matrix_r_;              // R
    Eigen::MatrixXd matrix_initial_x_;      // x_0
    const Eigen::MatrixXd matrix_u_lower_;  //
    const Eigen::MatrixXd matrix_u_upper_;  //
    const Eigen::MatrixXd matrix_x_lower_;  //
    const Eigen::MatrixXd matrix_x_upper_;  //
    const Eigen::MatrixXd matrix_x_ref_;    // x_ref

    size_t state_dim_;
    size_t control_dim_;
    size_t num_param_;
    int num_constraint_;

    int max_iteration_;
    size_t horizon_;
    double eps_abs_;

    Eigen::VectorXd gradient_;              // q 矩阵
    Eigen::VectorXd lowerBound_;            // l 向量
    Eigen::VectorXd upperBound_;            // u 向量
    // 注:没有定义矩阵 P 和 A_c ,因为这俩都是稀疏矩阵,而且很大,如果直接存储太消耗资源,所以使用列压缩的方式转化为了3个特征数组
};




}  // namespace control
}  // namespace shenlan
  • 源文件 mpc_osqp.cpp :
#include "mpc_osqp.h"
namespace shenlan {
namespace control {




// 函数作用:有参构造函数
MpcOsqp::MpcOsqp(const Eigen::MatrixXd &matrix_a,           // Ad
                 const Eigen::MatrixXd &matrix_b,           // Bd
                 const Eigen::MatrixXd &matrix_q,           // Q
                 const Eigen::MatrixXd &matrix_r,           // R
                 const Eigen::MatrixXd &matrix_initial_x,   // x_0(当前时间步系统初始状态量)
                 const Eigen::MatrixXd &matrix_u_lower,     // 控制量u的下界(维数:2 -- 横向1个 + 纵向1个)
                 const Eigen::MatrixXd &matrix_u_upper,     // 控制量u的上界
                 const Eigen::MatrixXd &matrix_x_lower,     // 状态量x的下界(维数:6 -- 横向4个 + 纵向2个)
                 const Eigen::MatrixXd &matrix_x_upper,     // 状态量x的上界
                 const Eigen::MatrixXd &matrix_x_ref,       // x_ref(当前时间步目标状态量,恒定为 0)
                 const int max_iter,                        // QP 求解器的最大迭代次数
                 const int horizon,                         // MPC 的有限时域长度
                 const double eps_abs)                      // QP 求解器的计算阈值
                 : 
                 matrix_a_(matrix_a),                   // 6 * 6    非定值
                 matrix_b_(matrix_b),                   // 6 * 2    定值
                 matrix_q_(matrix_q),                   // 6 * 6    定值
                 matrix_r_(matrix_r),                   // 2 * 2    定值
                 matrix_initial_x_(matrix_initial_x),   // 6 * 1    非定值
                 matrix_u_lower_(matrix_u_lower),       // 2 * 1    定值
                 matrix_u_upper_(matrix_u_upper),       // 2 * 1    定值
                 matrix_x_lower_(matrix_x_lower),       // 6 * 1    定值
                 matrix_x_upper_(matrix_x_upper),       // 6 * 1    定值
                 matrix_x_ref_(matrix_x_ref),           // 6 * 1    定值(恒定为0)
                 max_iteration_(max_iter),   
                 horizon_(horizon),
                 eps_abs_(eps_abs) {
    state_dim_ = matrix_b.rows();                                       // 状态量数目:6
    control_dim_ = matrix_b.cols();                                     // 控制量数目:2
    num_param_ = state_dim_ * (horizon_ + 1) + control_dim_ * horizon_; // 代价函数涉及参数数目:6 * (10 + 1) + 2 * 10
}


// 函数作用:计算 P 矩阵,并将稀疏矩阵 P 表示为 csc_matrix(压缩列存储)格式
void MpcOsqp::CalculateKernel(std::vector<c_float> *P_data, std::vector<c_int> *P_indices, std::vector<c_int> *P_indptr) {
    // P_data       稀疏矩阵 P 内的所有非零数值
    // P_indices    稀疏矩阵 P 内每一列上的非零数字的行索引值
    // P_indptr     稀疏矩阵 P 内截止到到当前列(不含当前列)所有非零数字的数量
    // 注意:这三个数组是将稀疏矩阵 P 的内容提炼了出来,将这三个数组传入,就知道他们原本代表的稀疏矩阵 P 的样子了
    // 注意:这三个数组均为函数 csc_matrix() 的参数,函数的作用是通过传入的三个数组,恢复稀疏矩阵 P 原有的样子

    // 初始化数组 columns
    // 这个数组没什么特别的含义,只是一个中间量,是为了后面求解数组 P_data / P_indices / P_indptr 更方便
    // 这个数组用来按列存放稀疏矩阵 P 中每个非零元素,从左到右按顺序遍历稀疏矩阵 P 的每一列,一次寻找一列内的所有非零元素,存放内容为 pair(非零元素所在行索引 , 非零元素值)
    std::vector<std::vector<std::pair<c_int, c_float>>> columns;
    // 外侧数组 -- 外壳
    // 内侧数组 -- 代表按列
    columns.resize(num_param_);

    // 临时变量
    // 作用:用来计数到目前为止遍历到的稀疏矩阵 P 中非零元素的个数
    int value_index = 0;

    // 数组 columns 中 -- 稀疏矩阵 P 的左上角对角阵 diag(Q , Q , ... , Q) 对应的部分(N + 1个Q)(N = horizon_)
    for (size_t i = 0; i <= horizon_; ++i) {        // 按 Q 块
        for (size_t j = 0; j < state_dim_; ++j) {   // 按列
            // 使用函数 emplace_back() 在数组 columns 的尾部添加新元素 -- pair(行索引 , 非零数值)
            columns[i * state_dim_ + j].emplace_back(i * state_dim_ + j, matrix_q_(j, j));
            ++value_index;
        }
    }

    // 数组 columns 中 -- 稀疏矩阵 P 的右下角对角阵 diag(R , R , ... , R) 对应的部分(N个R)
    const size_t state_total_dim = state_dim_ * (horizon_ + 1);
    for (size_t i = 0; i < horizon_; ++i) {         // 按 R 块
        for (size_t j = 0; j < control_dim_; ++j) { // 按列
            columns[i * control_dim_ + j + state_total_dim].emplace_back(i * control_dim_ + j + state_total_dim, matrix_r_(j, j));
            ++value_index;
        }
    }

    // 到此为止得到完整的数组 columns ;

    // 临时变量
    // 作用:用来计数遍历到当前列(不包含该列)时,累计的非零元素的数量
    int ind_p = 0;

    // 使用数组 columns 得到数组 P_data / P_indices / P_indptr
    // 对于 P 矩阵,相当于按列遍历
    for (size_t i = 0; i < num_param_; ++i) {               // 按列
        P_indptr->emplace_back(ind_p);
        for (const auto &row_data_pair : columns[i]) {      // columns[i] 里的内容为第 i 列中所有非零元素的 pair 对
            P_data->emplace_back(row_data_pair.second);
            P_indices->emplace_back(row_data_pair.first);
            ++ind_p;
        }
    }
    P_indptr->emplace_back(ind_p);
}


// 函数作用:计算 q 矩阵
// 注意:车辆在每个时间步的目标状态量 x_ref 都是 0 向量,因为状态量本社就是误差量,我们的目的就是让误差量全为 0
void MpcOsqp::CalculateGradient() {
    gradient_ = Eigen::VectorXd::Zero(state_dim_ * (horizon_ + 1) + control_dim_ * horizon_, 1);
    for (size_t i = 0; i < horizon_ + 1; i++) {
        gradient_.block(i * state_dim_, 0, state_dim_, 1) = -1.0 * matrix_q_ * matrix_x_ref_;
    }
}


// 函数作用:计算 A_c 矩阵,并将稀疏矩阵 A_c 表示为 csc_matrix(压缩列存储)格式
void MpcOsqp::CalculateEqualityConstraint(std::vector<c_float> *A_data, std::vector<c_int> *A_indices, std::vector<c_int> *A_indptr) {
    static constexpr double kEpsilon = 1e-6;
    Eigen::MatrixXd control_identity_mat = Eigen::MatrixXd::Identity(control_dim_, control_dim_);
    
    // 初始化矩阵 A_c
    Eigen::MatrixXd matrix_constraint = Eigen::MatrixXd::Zero(state_dim_ * (horizon_ + 1) + state_dim_ * (horizon_ + 1) + control_dim_ * horizon_, state_dim_ * (horizon_ + 1) + control_dim_ * horizon_);
    
    // 填充矩阵 A_c
    Eigen::MatrixXd state_identity_mat = Eigen::MatrixXd::Identity(state_dim_ * (horizon_ + 1), state_dim_ * (horizon_ + 1));
    matrix_constraint.block(0, 0, state_dim_ * (horizon_ + 1), state_dim_ * (horizon_ + 1)) = -1 * state_identity_mat;

    for (size_t i = 0; i < horizon_; i++) {
        matrix_constraint.block((i + 1) * state_dim_, i * state_dim_, state_dim_, state_dim_) = matrix_a_;
    }

    for (size_t i = 0; i < horizon_; i++) {
        matrix_constraint.block((i + 1) * state_dim_, i * control_dim_ + (horizon_ + 1) * state_dim_, state_dim_, control_dim_) = matrix_b_;
    }

    Eigen::MatrixXd all_identity_mat = Eigen::MatrixXd::Identity(num_param_, num_param_);
    matrix_constraint.block(state_dim_ * (horizon_ + 1), 0, num_param_, num_param_) = all_identity_mat;

    // 将矩阵 A_c 表示为按列压缩格式
    std::vector<std::vector<std::pair<c_int, c_float>>> columns;
    columns.resize(num_param_ + 1);
    int value_index = 0;
    
    // 得到 columns 数组,用来后续辅助生成 3 个特征数组
    for (size_t i = 0; i < num_param_; ++i) {  // col
        for (size_t j = 0; j < num_param_ + state_dim_ * (horizon_ + 1); ++j) {  // row
            if (std::fabs(matrix_constraint(j, i)) > kEpsilon) {
                // (row, val)
                columns[i].emplace_back(j, matrix_constraint(j, i));
                ++value_index;
            }
        }
    }

    // 求出按列压缩 A_c 的 3 个特征数组
    int ind_A = 0;
    for (size_t i = 0; i < num_param_; ++i) {
        A_indptr->emplace_back(ind_A);
        for (const auto &row_data_pair : columns[i]) {
            A_data->emplace_back(row_data_pair.second);
            A_indices->emplace_back(row_data_pair.first);
            ++ind_A;
        }
    }
    A_indptr->emplace_back(ind_A);
}


// 函数作用:计算约束向量 l 和 u
void MpcOsqp::CalculateConstraintVectors() {
    // 不等式约束形成的上下界:[xmin , xmin , ... , xmin | umin , umin , ... umin ]
    Eigen::VectorXd lowerInequality = Eigen::MatrixXd::Zero(state_dim_ * (horizon_ + 1) + control_dim_ * horizon_, 1);
    Eigen::VectorXd upperInequality = Eigen::MatrixXd::Zero(state_dim_ * (horizon_ + 1) + control_dim_ * horizon_, 1);
    
    // 控制量 u 的上下界
    for (size_t i = 0; i < horizon_; i++) {
        lowerInequality.block(control_dim_ * i + state_dim_ * (horizon_ + 1), 0, control_dim_, 1) = matrix_u_lower_;
        upperInequality.block(control_dim_ * i + state_dim_ * (horizon_ + 1), 0, control_dim_, 1) = matrix_u_upper_;
    }
    
    // 状态量 x 的上下界
    for (size_t i = 0; i < horizon_ + 1; i++) {
        lowerInequality.block(state_dim_ * i, 0, state_dim_, 1) = matrix_x_lower_;
        upperInequality.block(state_dim_ * i, 0, state_dim_, 1) = matrix_x_upper_;
    }

    // 等式约束形成的上下界:[ -x0 , 0 , 0 , ... , 0 ]
    Eigen::VectorXd lowerEquality = Eigen::MatrixXd::Zero(state_dim_ * (horizon_ + 1), 1);
    Eigen::VectorXd upperEquality;
    lowerEquality.block(0, 0, state_dim_, 1) = -1 * matrix_initial_x_;
    upperEquality = lowerEquality;
    lowerEquality = lowerEquality;

    // 合并等式约束和不等式约束
    lowerBound_ = Eigen::MatrixXd::Zero(2 * state_dim_ * (horizon_ + 1) + control_dim_ * horizon_, 1);
    lowerBound_ << lowerEquality, lowerInequality;
    upperBound_ = Eigen::MatrixXd::Zero(2 * state_dim_ * (horizon_ + 1) + control_dim_ * horizon_, 1);
    upperBound_ << upperEquality, upperInequality;
}


// 函数作用:配置 QP 问题的参数
// 注1:返回值是一个 OSQPSettings 结构体的指针
// 注2:OSQPSettings 是 OSQP 库中的一个结构体,用于配置 OSQP 求解器的参数,该结构体中的所有属性都是 QP 问题的参数
// 注3:osqp_set_default_settings 是 OSQP 中的一个函数,作用为将指针指向的 OSQPSettings 结构体初始化为默认的设置值,用户可以根据具体需求进行调整
OSQPSettings* MpcOsqp::Settings() {
    // 分配内存:
    // 解释:c_malloc 函数作用是分配内存并返回一个 void* 类型的指针,并使用 reinterpret_cast 函数将指针类型强制转化为 OSQPSettings* 类型
    OSQPSettings* settings = reinterpret_cast<OSQPSettings *>(c_malloc(sizeof(OSQPSettings)));

    // 指针为空代表分配内存失败
    if (settings == nullptr) {
        return nullptr;
    }
    else {
        osqp_set_default_settings(settings);
        settings->polish = true;
        settings->scaled_termination = true;
        settings->verbose = false;
        settings->max_iter = max_iteration_;    // QP 最大迭代次数
        settings->eps_abs = eps_abs_;           // QP 计算精度
        return settings;
    }
}


// 函数作用:配置 QP 问题的矩阵和向量
// 注1:返回值是一个 OSQPData 结构体的指针
// 注2:OSQPData 是 OSQP 库中的一个结构体,用于存储二次规划(QP)问题的输入数据,OSQPData 包含了定义 QP 问题所需的所有矩阵和向量
OSQPData* MpcOsqp::Data() {
    // 分配内存:
    OSQPData* data = reinterpret_cast<OSQPData *>(c_malloc(sizeof(OSQPData)));
    size_t kernel_dim = state_dim_ * (horizon_ + 1) + control_dim_ * horizon_;                  // QP 问题需要求解的变量的数量【( x_0 ~ x_N ) + ( u_0 ~ u_N-1 )】
    size_t num_affine_constraint = 2 * state_dim_ * (horizon_ + 1) + control_dim_ * horizon_;   // QP 问题约束的数量

    if (data == nullptr) {
        return nullptr;
    }
    else {
        data->n = kernel_dim;               // 需要求解的变量的数量
        data->m = num_affine_constraint;    // 约束的数量 = 等式约束的数量 + 不等式约束的数量

        // 初始化稀疏矩阵 P 的 3 个特征数组
        std::vector<c_float> P_data;
        std::vector<c_int> P_indices;
        std::vector<c_int> P_indptr;
        // 计算稀疏矩阵 P 的 3 个特征数组
        CalculateKernel(&P_data, &P_indices, &P_indptr);
        // 通过 3 个特征数组计算出 P 阵,并将 P 阵传入
        data->P = csc_matrix(kernel_dim, kernel_dim, P_data.size(), CopyData(P_data), CopyData(P_indices), CopyData(P_indptr));

        // 将数组 q 传入
        data->q = gradient_.data();

        // 初始化稀疏矩阵 A_c 的 3 个特征数组
        std::vector<c_float> A_data;
        std::vector<c_int> A_indices;
        std::vector<c_int> A_indptr;
        // 计算稀疏矩阵 A_c 的 3 个特征数组
        CalculateEqualityConstraint(&A_data, &A_indices, &A_indptr);
        // 通过 3 个特征数组计算出 A_c 阵,并将 A_c 阵传入
        data->A = csc_matrix(state_dim_ * (horizon_ + 1) + state_dim_ * (horizon_ + 1) + control_dim_ * horizon_, kernel_dim, A_data.size(), CopyData(A_data), CopyData(A_indices), CopyData(A_indptr));

        // 将上下界约束 l 和 u 传入
        data->l = lowerBound_.data();
        data->u = upperBound_.data();

        return data;
    }
}


// 函数作用:释放 data 指针指向位置的内存
// 注:使用 c_malloc 函数分配内存,使用 c_free 函数释放内存,这两个函数是配套使用的
void MpcOsqp::FreeData(OSQPData* data) {
    c_free(data->A);
    c_free(data->P);
    c_free(data);
}


// 函数作用:求解 QP 问题
// 返回值:当前时刻的控制命令
bool MpcOsqp::Solve(std::vector<double>* control_cmd) {
    CalculateGradient();
    CalculateConstraintVectors();

    OSQPData* data = Data();
    OSQPSettings* settings = Settings();

    // 注:OSQPWorkspace 是 OSQP 库中的一个类,用于管理和操作 OSQP 求解器的工作空间,包括定义问题、设置参数、执行求解等功能;这里创建了一个名为 osqp_workspace 的指针指向了这个工作空间
    OSQPWorkspace* osqp_workspace = nullptr;
    // 注:osqp_setup 函数是用来初始化 OSQP 求解器的工作空间的函数;这个函数的作用是根据传入的数据(data)和设置(settings)来设置和配置 OSQP 求解器的工作环境,以便后续能够使用 OSQP 求解器来解决具体的凸二次规划问题
    osqp_workspace = osqp_setup(data, settings);
    // 注:osqp_solve 函数的作用是调用 OSQP 求解器来解决已经设置好的凸二次规划问题;osqp_solve(osqp_workspace) 表示你正在使用 osqp_workspace 所指向的 OSQP 求解器工作空间来执行求解操作
    osqp_solve(osqp_workspace);

    // 完成求解后,求解过程中涉及的所有信息都会存储在 workspace 的 info 中,获得的结果都会存储在在 workspace 的 solution 中;
    // 这里取出了求解器的状态信息:
    //      1. 求解器状态小于 0:表示求解过程中出现了错误或者未能达到收敛状态
    //      2. 求解器状态为   1:表示求解器已经收敛并找到了最优解
    //      3. 求解器状态为   2:表示求解器达到了最大迭代次数而停止
    auto status = osqp_workspace->info->status_val;

    if (status < 0 || (status != 1 && status != 2)) {
        osqp_cleanup(osqp_workspace);
        FreeData(data);
        c_free(settings);
        return false;
    }
    else if (osqp_workspace->solution == nullptr) {
        // 注:如果 solution 为 nullptr,表示求解器没有成功生成解
        osqp_cleanup(osqp_workspace);
        FreeData(data);
        c_free(settings);
        return false;
    }

    size_t first_control = state_dim_ * (horizon_ + 1);     // 第一个控制量所在位置的索引值
    // 因为 QP 问题的变量是 [ x_0 , x_1 , ... , x_N-1 ,x_N  | u_0 , u_1 , ... , u_N-1 ]
    // 而我们需要的只是当前时刻的控制量 u_0 ,而 u_0 在变量中的位置的索引是 6*(N+1)
    
    // 给控制命令赋值为 u_0
    for (size_t i = 0; i < control_dim_; ++i) {
        control_cmd->at(i) = osqp_workspace->solution->x[i + first_control];
    }

    // 清理内存
    osqp_cleanup(osqp_workspace);
    FreeData(data);
    c_free(settings);

    return true;
}




}  // namespace control
}  // namespace shenlan

  • 头文件 reference_line.h :补全参考线信息
#include <vector>
#include <iostream>
#include <math.h>
namespace shenlan {
namespace control {




class ReferenceLine {
public:
    ReferenceLine(const std::vector<std::pair<double, double>>& xy_points);
    ~ReferenceLine() = default;

    // 函数作用:计算参考线。参考线的每个点需要包含以下信息
    //    1) xy_pionts_       路径点坐标
    //    2) headings         路径点朝向角
    //    3) accumulated_s    路径点累计路程
    //    4) kappas           路径点曲率
    //    5) dkappas          路径点曲率的变化率
    bool ComputePathProfile(std::vector<double>* headings, std::vector<double>* accumulated_s, std::vector<double>* kappas, std::vector<double>* dkappas);


private:
    std::vector<std::pair<double, double>> xy_points_;      // 用vector装载规划的全局路径上所有点的坐标
};




}  // namespace control
}  // namespace shenlan
  • 源文件 reference_line.cpp :
#include "reference_line.h"
namespace shenlan {
namespace control {




// 函数作用:拷贝构造函数
ReferenceLine::ReferenceLine(const std::vector<std::pair<double, double>>& xy_points) { xy_points_ = xy_points; }
 
 
// 函数作用:由于全局路径规划期仅仅给出了全局路径信息(即所有点的xy坐标),而没有任何关于这条全局路径的其他几何信息(如每个路径点的 朝向角/距离/曲率/曲率变化率);
//          而我们在局部规划中使用的参考线其实是和全局路径重合的,也就是说参考线上的所有路径点就是全局路径的所有路径点;
//          但是要注意,我们需要的参考线不能仅仅只有每个路径点的坐标,还需要有每个路径点的各个几何信息(如 朝向角/距离/曲率/曲率变化率);
//          因此我们直接计算全局路径中每个路径点的几何信息,然后汇总到一起,就是我们需要的参考线信息;
bool ReferenceLine::ComputePathProfile(std::vector<double>* headings, std::vector<double>* accumulated_s, std::vector<double>* kappas, std::vector<double>* dkappas) {
    headings->clear();      // 装载每个路径点的 -- 朝向角
    accumulated_s->clear(); // 装载每个路径点的 -- 到达该点时所累积的路径长度(起点到该点的几何路径长度)
    kappas->clear();        // 装载每个路径点的 -- 曲率
    dkappas->clear();       // 装载每个路径点的 -- 曲率变化率
 
    if (xy_points_.size() < 2) return false;
    std::vector<double> dxs;                            // 路径点处的 -- dx
    std::vector<double> dys;                            // 路径点处的 -- dy
    std::vector<double> y_over_s_first_derivatives;     // 路径点处的 -- 一阶偏x导数
    std::vector<double> x_over_s_first_derivatives;     // 路径点处的 -- 一阶偏y导数
    std::vector<double> y_over_s_second_derivatives;    // 路径点处的 -- 二阶偏x导数
    std::vector<double> x_over_s_second_derivatives;    // 路径点处的 -- 二阶偏y导数
 
    // 计算每个路径点的x,y差值(即dx,dy)
    std::size_t points_size = xy_points_.size();
    for (std::size_t i = 0; i < points_size; ++i) {
        double x_delta = 0.0;
        double y_delta = 0.0;
        if (i == 0) {
            x_delta = (xy_points_[i + 1].first - xy_points_[i].first);
            y_delta = (xy_points_[i + 1].second - xy_points_[i].second);
        } else if (i == points_size - 1) {
            x_delta = (xy_points_[i].first - xy_points_[i - 1].first);
            y_delta = (xy_points_[i].second - xy_points_[i - 1].second);
        } else {
            x_delta = 0.5 * (xy_points_[i + 1].first - xy_points_[i - 1].first);
            y_delta = 0.5 * (xy_points_[i + 1].second - xy_points_[i - 1].second);
        }
        dxs.push_back(x_delta);
        dys.push_back(y_delta);
    }
 
    // 计算每个路径点的朝向角
    for (std::size_t i = 0; i < points_size; ++i) {
        headings->push_back(std::atan2(dys[i], dxs[i]));
    }
 
    // 计算每个路径点处的累计路径长度
    double distance = 0.0;
    accumulated_s->push_back(distance);     // 第一个路径点(起点)的 index = 0 ,且在该点处的累计路径长度为 0
    double fx = xy_points_[0].first;        // 起点横坐标
    double fy = xy_points_[0].second;       // 起点纵坐标
    double nx = 0.0;
    double ny = 0.0;
    for (std::size_t i = 1; i < points_size; ++i) {
        nx = xy_points_[i].first;
        ny = xy_points_[i].second;
        double end_segment_s = std::sqrt((fx - nx) * (fx - nx) + (fy - ny) * (fy - ny));
        accumulated_s->push_back(end_segment_s + distance);
        distance += end_segment_s;
        fx = nx;
        fy = ny;
    }
 
    // 计算每个路径点相对于路径长度ds的x和y的一阶导数
    for (std::size_t i = 0; i < points_size; ++i) {
        double xds = 0.0;
        double yds = 0.0;
        if (i == 0) {
            xds = (xy_points_[i + 1].first - xy_points_[i].first) / (accumulated_s->at(i + 1) - accumulated_s->at(i));
            yds = (xy_points_[i + 1].second - xy_points_[i].second) / (accumulated_s->at(i + 1) - accumulated_s->at(i));
        } else if (i == points_size - 1) {
            xds = (xy_points_[i].first - xy_points_[i - 1].first) / (accumulated_s->at(i) - accumulated_s->at(i - 1));
            yds = (xy_points_[i].second - xy_points_[i - 1].second) / (accumulated_s->at(i) - accumulated_s->at(i - 1));
        } else {
            xds = (xy_points_[i + 1].first - xy_points_[i - 1].first) / (accumulated_s->at(i + 1) - accumulated_s->at(i - 1));
            yds = (xy_points_[i + 1].second - xy_points_[i - 1].second) / (accumulated_s->at(i + 1) - accumulated_s->at(i - 1));
        }
        x_over_s_first_derivatives.push_back(xds);
        y_over_s_first_derivatives.push_back(yds);
    }
 
    // 计算每个路径点相对于路径长度ds的x和y的二阶导数
    for (std::size_t i = 0; i < points_size; ++i) {
        double xdds = 0.0;
        double ydds = 0.0;
        if (i == 0) {
            xdds = (x_over_s_first_derivatives[i + 1] - x_over_s_first_derivatives[i]) / (accumulated_s->at(i + 1) - accumulated_s->at(i));
            ydds = (y_over_s_first_derivatives[i + 1] - y_over_s_first_derivatives[i]) / (accumulated_s->at(i + 1) - accumulated_s->at(i));
        } else if (i == points_size - 1) {
            xdds = (x_over_s_first_derivatives[i] - x_over_s_first_derivatives[i - 1]) / (accumulated_s->at(i) - accumulated_s->at(i - 1));
            ydds = (y_over_s_first_derivatives[i] - y_over_s_first_derivatives[i - 1]) / (accumulated_s->at(i) - accumulated_s->at(i - 1));
        } else {
            xdds = (x_over_s_first_derivatives[i + 1] - x_over_s_first_derivatives[i - 1]) / (accumulated_s->at(i + 1) - accumulated_s->at(i - 1));
            ydds = (y_over_s_first_derivatives[i + 1] - y_over_s_first_derivatives[i - 1]) / (accumulated_s->at(i + 1) - accumulated_s->at(i - 1));
        }
        x_over_s_second_derivatives.push_back(xdds);
        y_over_s_second_derivatives.push_back(ydds);
    }
 
    // 计算每个路径点处的曲率
    for (std::size_t i = 0; i < points_size; ++i) {
        double xds = x_over_s_first_derivatives[i];
        double yds = y_over_s_first_derivatives[i];
        double xdds = x_over_s_second_derivatives[i];
        double ydds = y_over_s_second_derivatives[i];
        double kappa = (xds * ydds - yds * xdds) / (std::sqrt(xds * xds + yds * yds) * (xds * xds + yds * yds) + 1e-6);
        // 注1:曲率计算公式的分母上加上一个很小的数,防止除法失效
        // 注2:这里对曲率的计算使用的是精确公式,而代码中我们在进行动力学建模,计算连续误差型状态空间方程的状态量x时(如:航向误差变化率),则是将曲率视为了半径的倒数,这是一种对曲率的估算方式;
        kappas->push_back(kappa);
    }
 
    // 计算每个路径点处的曲率变化率
    for (std::size_t i = 0; i < points_size; ++i) {
        double dkappa = 0.0;
        if (i == 0) {
            dkappa = (kappas->at(i + 1) - kappas->at(i)) / (accumulated_s->at(i + 1) - accumulated_s->at(i));
        } else if (i == points_size - 1) {
            dkappa = (kappas->at(i) - kappas->at(i - 1)) / (accumulated_s->at(i) - accumulated_s->at(i - 1));
        } else {
            dkappa = (kappas->at(i + 1) - kappas->at(i - 1)) / (accumulated_s->at(i + 1) - accumulated_s->at(i - 1));
        }
        dkappas->push_back(dkappa);
    }
 
    return true;
}




}  // namespace control
}  // namespace shenlan

  • 主函数:
#include "mpc_controller.h"
using namespace std;




bool first_record_ = true;      // 起点标志
VehicleState vehicle_state_;    // 车辆状态
ControlCmd cmd_pub;             // 控制命令
ros::Publisher acc_pub;         // 声明了一个 ROS 发布者对象【将信息发布到一个或多个主题(Topic)上,使得其他 ROS 节点可以订阅(Subscribe)并接收这些消息】


// 函数作用:通过读取 IMU 传感器的数据,得到车辆当前的姿态信息
void IMUCallback(const sensor_msgs::Imu::ConstPtr& msg) {
    // 角速度(绕z轴转动的角速度)
    vehicle_state_.angular_velocity = msg->angular_velocity.z;
    // 加速度(线性加速度)
    vehicle_state_.acceleration = sqrt(msg->linear_acceleration.x * msg->linear_acceleration.x + msg->linear_acceleration.y * msg->linear_acceleration.y);
}


// 函数作用:通过读取 ODOM 传感器的数据,得到车辆当前的位置信息
void odomCallback(const nav_msgs::Odometry::ConstPtr& msg) {
    if(first_record_) {
        vehicle_state_.planning_init_x = msg->pose.pose.position.x;
        vehicle_state_.planning_init_y = msg->pose.pose.position.y;
        first_record_ = false;
    }

    vehicle_state_.x = msg->pose.pose.position.x;
    vehicle_state_.y = msg->pose.pose.position.y;

    vehicle_state_.last_velocity = vehicle_state_.velocity;
    vehicle_state_.last_v_time = vehicle_state_.cur_v_time;
    vehicle_state_.last_v_err = vehicle_state_.last_velocity - 5;

    // 将 ROS 消息中的姿态信息(四元数表示的 orientation)转换为欧拉角(roll, pitch, yaw)形式,并存储到 vehicle_state_ 结构体的对应成员变量中
    // 1. 声明了一个名为 q 的 tf::Quaternion 类型的变量,用于存储姿态信息的四元数表示;
    tf::Quaternion q;
    // 2. 将 ROS 消息中的姿态信息(msg->pose.pose.orientation)转换为 tf::Quaternion 类型并放在 q 变量内;
    //    quaternionMsgToTF() 是一个 ROS 中的函数,用于将 ROS 消息中的四元数表示转换为 TF 库中的四元数表示;
    tf::quaternionMsgToTF(msg->pose.pose.orientation, q);
    // 3. 将 q 转换为一个 3x3 的旋转矩阵,然后调用 getRPY 方法,将该旋转矩阵转换为欧拉角(Roll, Pitch, Yaw),并存储到 vehicle_state_ 的对应成员变量中;
    tf::Matrix3x3(q).getRPY(vehicle_state_.roll, vehicle_state_.pitch, vehicle_state_.yaw);

    vehicle_state_.heading = vehicle_state_.yaw;
    vehicle_state_.velocity =  std::sqrt(msg->twist.twist.linear.x * msg->twist.twist.linear.x + msg->twist.twist.linear.y * msg->twist.twist.linear.y);
    vehicle_state_.cur_v_err = vehicle_state_.velocity - 5;
    vehicle_state_.cur_v_time = ros::Time::now().toSec();       // 利用 ROS 提供的时间函数获取当前系统时间,并将其转换为秒数
}


// 主函数
int main(int argc, char** argv) {
    // 声明文件流对象,用于打开和读取文件:
    std::ifstream infile;
    infile.open("src/mpc_control/data/reference_line.txt");     // 将文件流对象与文件连接起来
    assert(infile.is_open());                                   // 若失败,则输出错误消息,并终止程序运行

    std::vector<std::pair<double, double>> xy_points;   // 存放所有参考点的坐标
    std::string x;                                      // 临时变量
    std::string y;                                      // 临时变量
    std::string s;                                      // 使用该变量逐行读取文件内容

    while (getline(infile, s)) {
        std::stringstream word(s);
        word >> x;
        word >> y;
        double pt_x = std::atof(x.c_str());
        double pt_y = std::atof(y.c_str());
        xy_points.push_back(std::make_pair(pt_x, pt_y));
    }

    // 关闭文件流:
    infile.close();

    // 补全每个参考点的信息:(当前只有每个参考点的位置坐标)
    std::vector<double> headings;
    std::vector<double> accumulated_s;
    std::vector<double> kappas;
    std::vector<double> dkappas;
    std::unique_ptr<shenlan::control::ReferenceLine> reference_line = std::make_unique<shenlan::control::ReferenceLine>(xy_points);
    reference_line->ComputePathProfile(&headings, &accumulated_s, &kappas, &dkappas);

    // 通过参考线信息构建目标轨迹:
    TrajectoryData planning_published_trajectory;
    for (size_t i = 0; i < headings.size(); i++) {
        TrajectoryPoint trajectory_pt;
        trajectory_pt.x = xy_points[i].first;
        trajectory_pt.y = xy_points[i].second;
        trajectory_pt.v = 5.0;                  // 目标速度
        trajectory_pt.a = 0.0;                  // 目标加速度
        trajectory_pt.heading = headings[i];
        trajectory_pt.kappa = kappas[i];

        planning_published_trajectory.trajectory_points.push_back(trajectory_pt);
    }

    // 使用 ROS 的 API 进行初始化和设置 ROS 节点的基本步骤
    // 1. ros::init 是 ROS 提供的初始化函数,用于初始化 ROS 系统;它需要传入命令行参数 argc 和 argv 以及一个节点名称 control_pub ;
    ros::init(argc, argv, "control_pub");
    // 2. ros::NodeHandle 是 ROS 中的一个类,用于与 ROS 系统进行通信;这里创建了一个名为 nh 的 NodeHandle 对象,用于管理 ROS 节点的通信和资源;
    ros::NodeHandle nh;
    // 3. ROS_INFO 是 ROS 提供的一个宏,用于打印消息到ROS的日志系统中,这里表示节点初始化完成;
    ROS_INFO("init !");
    // 4. subscribe 是 NodeHandle 对象的方法,用于订阅ROS主题;
    //    这行代码创建了一个名为 sub 的订阅者对象,订阅了主题 "/odom" ,缓冲区大小为 10 ,回调函数为 odomCallback;当节点收到来自 "/odom" 主题的消息时,将调用 odomCallback 函数进行处理;
    ros::Subscriber sub = nh.subscribe("/odom", 10, odomCallback);
    // 5. 创建了一个名为 sub_imu 的订阅者对象,订阅了主题 "/imu_raw" ,缓冲区大小为 10 ,回调函数为 IMUCallback;当节点收到来自 "/imu_raw" 主题的消息时,将调用 IMUCallback 函数进行处理;
    ros::Subscriber sub_imu = nh.subscribe("/imu_raw", 10, IMUCallback);
    // 6. advertise 是 NodeHandle 对象的方法,用于发布ROS主题;
    //    这行代码创建了一个名为 control_pub 的发布者对象,发布类型为 lgsvl_msgs::VehicleControlData 的消息到主题 "/vehicle_cmd",并指定了发布队列的大小为1000 ;
    //    这意味着节点可以同时缓存 1000 条待发布的消息,超过这个数量后新的消息将被丢弃;
    ros::Publisher control_pub = nh.advertise<lgsvl_msgs::VehicleControlData>("/vehicle_cmd", 1000);
    // 7. 在 ROS 中创建了一个新的发布者对象 acc_pub ,用于向主题 "/acc_pub_cmd" 发布消息类型为 lgsvl_msgs::VehicleControlData 的数据;
    acc_pub = nh.advertise<lgsvl_msgs::VehicleControlData>("/acc_pub_cmd", 1000);


    // MPC 控制部分:
    ControlCmd cmd;
    std::unique_ptr<shenlan::control::MPCController> mpc_controller = std::make_unique<shenlan::control::MPCController>();
    mpc_controller->Init();
    lgsvl_msgs::VehicleControlData control_cmd;
    lgsvl_msgs::VehicleControlData control_cmd_pub; 

    ros::Rate loop_rate(100);
    while (ros::ok()) {
        mpc_controller->ComputeControlCommand(vehicle_state_, planning_published_trajectory, cmd);
        control_cmd.header.stamp = ros::Time::now();

        cout << "vehical_state_.last_v_err: " << vehicle_state_.last_v_err << endl;
        cout << "vehical_state_.cur_v_err: " << vehicle_state_.cur_v_err << endl;
        cout << "cur_acc: "  << (vehicle_state_.cur_v_err - vehicle_state_.last_v_err) / (vehicle_state_.cur_v_time - vehicle_state_.last_v_time) << endl;
        cout << "cmd.acc: "  << cmd.acc << endl;

        control_cmd.acceleration_pct = cmd.acc;
        control_cmd.target_gear = lgsvl_msgs::VehicleControlData::GEAR_DRIVE;
        control_cmd.target_wheel_angle = -cmd.steer_target;

        control_pub.publish(control_cmd);
        control_cmd_pub.acceleration_pct = vehicle_state_.acceleration;
        acc_pub.publish(control_cmd_pub);

        ros::spinOnce();
        loop_rate.sleep();
    }

    return 0;
}

  • 5
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
MPC(Model Predictive Control)模型预测控制是一种先进的控制策略,可以通过对系统的预测模型进行优化,来实现更好的控制性能。 对于实现MPC控制策略的MATLAB代码,主要包括以下几个步骤: 1. 构建系统的动态模型:首先,需要根据控制对象的特性和数学模型,建立系统的动态模型。这一步通常包括系统的状态方程和输出方程的建立。 2. 确定控制优化目标:根据具体的控制要求和目标,确定控制优化目标。例如,可以采用最小化控制误差、最小化能耗、优化控制变量等作为优化目标。 3. 约束条件的设定:确定系统控制变量和状态变量的约束范围。这些约束条件可以包括控制变量的上下限、状态变量的约束等。 4. 模型预测控制器设计:根据系统模型、控制目标和约束条件,设计MPC控制器。MPC控制器主要包括状态估计器、模型预测器和优化器等。 5. 实时优化:根据当前的系统状态信息和控制目标,实时进行优化计算,得到最优的控制变量。 6. 控制跟踪:根据优化计算得到的最优控制变量,实施控制策略,使系统跟踪预测的目标。 7. 闭环控制:根据实际反馈信号,不断调整控制器的输出,达到系统的稳定和期望的控制效果。 总的来说,实现MPC模型预测控制的MATLAB代码需要建立系统动态模型,设定控制目标和约束条件,设计MPC控制器,并根据实际反馈进行实时优化和闭环控制。通过这些步骤,可以实现对系统的优化控制,达到更好的控制性能。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值