1. 引言
在实际工作中,轮式移动机器人会受到许多约束,比如启动加速度不宜过大,转弯时角速度不能太大,线速度大小是有限的。而在性能方面,又要求控制器满足实时性和精确性,即机器人能在较短时间内准确到达期望位置,并且考虑到机器人所在复杂多变的环境。
近年来涌现了大量的轮式移动机器人的轨迹跟踪控制算法。杨敏等人针对轮式移动机器人的轨迹跟踪问题,提出了一种基于PI型滑模的控制策略[1]。韩龙等人提出了基于迭代的控制策略,提高移动机器人轨迹跟踪的速度[2]。马东等基于轮子打滑的动力学模型,提出了一种基于RBF神经网络自适应PD轨迹跟踪控制器[3]。谭永宏等人针对轮式移动机器人的实际轨迹跟踪问题,提出了一种基于模糊神经网络的跟踪控制器[4]。但是大部分都没有考虑轮式移动机器人存在饱和约束的情况。极小部分考虑到轮式移动机器人饱和约束情况,例如文献[5]-[9],但是这些方法设计的控制器比较复杂,对系统模型参数满足的条件要求严格。因此,研究饱和约束条件下的轮式移动机器人轨迹跟踪很有必要。
在过去30多年,模型预测控制被应用于复杂的工艺,并获得巨大的成功,充分印证了处理复杂约束优化问题的优点。大量的预测控制权威性文献都无一例外地指出,预测控制最大的吸引力在于它具有显式处理约束的能力,这种能力来自其基于模型对系统未来动态行为的预测,通过把约束加到未来的输入、输出或状态变量上,可以把约束显式表示在一个在线求解的二次规划或非线性规划问题中[10]。模型预测控制不需要精确的模型,采用滚动优化弥补了模型失配,干扰等因素引起的不确定性,尤为重要的是它能有效处理多变量、有约束问题。许多学者基于模型预测控制,研究了轮式移动机器人的轨迹跟踪问题。针对轮式移动机器人编队控制,Gu等人提出了一种基于模型预测控制的方案,通过向成本函数添加终端状态惩罚并且将终端状态区域添加到优化约束来保证该控制方案的稳定性[11]。Yan等人提出了一种模型预测控制方案,用于跟踪欠驱无人车。Johansen针对移动机器人非线性系统求解问题,提出了一种基于分区的mpQP解计算多参数非线性规划问题[12]。Chen等人提出了一种基于神经网络的非线性模型预测,提高轨迹跟踪的精度[13]。Summers等人基于自适应多尺度基函数的模型预测控制[14]。Wang等提出了一种基于格轨迹PWA的模型预测控制器,提高了非线性MPC的在线求解效率[15]。当没有明确考虑外部干扰时,所提出的MPC方法使用在一般投影网络的单层递归神经网络迭代地求解公式化二次规划(QP)问题,当考虑扰动时,通过使用双层递归神经网络迭代地求解重构的最小极大优化问题[16]。
执行器饱和是实际工程系统中常见的问题,绝大多数执行机构会出现饱和现象,且这种现象是不容易避免的。如若控制系统执行机构的输入信息量达到一定限制,就进入了饱和状态,若再增加输入量不仅对执行器的输出产生不了任何影响,而且会导致控制系统的动态性能降低,或者使得闭环系统整体动态性能恶化。从理论研究和实际应用的角度可以看出饱和问题的出现使得系统控制问题变得复杂。因此,对约束系统的稳定性问题研究具有重要意义。本文针对带有速度饱和约束的轮式机器人的轨迹跟踪问题进行了研究。
2. 问题描述
在轨迹跟踪中,我们只需知道位姿q的坐标和方位角,我们重新定义轮式移动机器人位姿为
,则有
(1)
其中
,
,即轮式移动机器人控制输入Z满足的约束条件为:
(2)
假设轮式移动机器人在全局坐标系下的参考轨迹定义如下:
(3)
本章轨迹跟踪控制目标是在给定的初始误差条件下,运动学控制输入
能够在有限时间内使得
,且
满足约束条件。
3. 移动机器人运动学建模
分别将式(1)和(3)写成如下形式:
(4)
(5)
对式(4)在
处进行泰勒展开,省略其高阶无穷小,可得
(6)
其中:
和
分别是
相对
和
的雅可比矩阵
将式(6)减式(5),可得轮式移动机器人的线性跟踪误差模型
(7)
其中:
对式(7)离散化得
(8)
其中:T为采样时间
4. 模型预测跟踪控制器
将(7)作为预测模型,则时刻轮式移动机器人的优化性能指标定义为
(9)
其中:N为预测时域,Q,R为权值矩阵。
式(9)最优解
定义如下:
(10)
通过在每一采样时刻k,求取能使性能指标
最小的最优控制序
(
),只取
中的第1个值作为模型预测控制输入。移动机器人的模型预测控制结构如图1。
Figure 1. Model predictive control
图1. 模型预测控制
定义预测时域N内的移动机器人的跟踪误差和控制变量误差为
因此,式(9)可重写如下:
(11)
其中:
由式(8)可知
则
可重写如下:
(12)
其中:
定义如下:
将式(12)代入式(11)得
其中:
矩阵H是一个正定的Hessian矩阵,描述
的二次部分。向量f描述了
的线性部分,d与
无关。我们成功地把性能指标转化为
的二次规划形式。
考虑到Z的饱和约束条件,式(10)中最优问题可重述为:
(13)
其中:
,
对二次规划求解,得到控制时域内的控制增量序列
。将
作为当前时刻的控制增量,则控制量如下:
(14)
定理:对MPC式(13)求解控制增量序列
的作用下,移动机器人位姿跟踪误差系统式(7)是渐进稳定。
证明:记
,它表示移动机器人在k时刻,位姿跟踪误差为
,预测时域为
,控制时域为
的最优控制增量序列。则最优控制下的移动机器人位姿跟踪误差序列描述如下:
(15)
在k时刻,定义李雅普诺夫函数如下:
(16)
在
时刻有:
(17)
对式(17)整理可得:
(18)
当系统式(7)进入稳态时,
,
,我们重写式(18)如下:
(19)
由于Q,R均为正定矩阵,则
、
均为非负数,进一步可得
(20)
因此,整个闭环系统是渐进稳定的。证毕。
5. 仿真验证
为了验证本章所提出的模型预测轨迹跟踪控制器的可行性,我们选择直线和圆形两种参考轨迹进行了MATLAB2016b/simulink仿真实验。模型预测控制的采样时间
,预测时域
,权值矩阵
,
。设移动机器人控制输入满足的约束条件为:
,
。
1) 直线轨迹跟踪控制
移动机器人期望线速度
,期望角速度
,其初始参考位姿和实际位姿分别为
。移动机器人的直线轨迹跟踪仿真结果如下图所示,其中图2、图3、图4分别为移动机器人的轨迹跟踪误差曲线图、轨迹跟踪位姿曲线图、轨迹跟踪控制曲线图。
Figure 2. Track tracking error
图2. 轨迹跟踪误差
Figure 3. Trajectory tracking pose
图3. 轨迹跟踪位姿
Figure 4. Trajectory tracking control
图4. 轨迹跟踪控制
从图2可以看出,移动机器人能够在较短时间内跟踪误差收敛到零,说明模型预测轨迹跟踪控制器具有收敛速度快的特点;从图3可以看出,模型预测轨迹跟踪控制器对机器人轨迹跟踪有良好的控制效果,移动机器人的实际轨迹都能够平滑逼近其参考轨迹;从图4可以看出,模型预测控制输入量平稳地约束在指定范围内。
基金项目
安徽省高等学校科学研究项目2024AH051652。