arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2404.09320eess.SYcs.SY
收藏

面向垂直起降无人机的带控制障碍函数的基于MPC的线性等价方法

MPC Based Linear Equivalence with Control Barrier Functions for VTOL-UAVs

Ali Mohamed Ali, Hashim A. Hashim, Chao Shen

AI总结:

本研究针对垂直起降无人机,提出结合动态反馈线性化的带控制障碍函数的线性MPC级联方案,无需线性近似即可处理全欠驱动动力学,转化为QCQP问题高效求解,证明了稳定性与可行性并通过仿真验证了有效性和鲁棒性。

摘要:

在本研究中,我们针对垂直起降(VTOL)无人机(UAV)提出了一种结合动态反馈线性化(DFL)的、基于控制障碍函数(CBF)的线性模型预测控制(MPC)级联方案。CBF是一种利用类李雅普诺夫函数强制实现集合前向不变性以确保安全性的工具。最早采用CBF的控制综合方法基于二次规划(QP),通过修改现有控制器来满足安全要求,但基于CBF-QP的控制器会导致更长的绕行路径和不理想的瞬态性能。近期研究利用MPC框架,受益于其预测能力以及对状态和控制输入施加的约束。由于机器人系统动力学固有的非线性,所有现有的MPC-CBF解决方案都依赖非线性MPC公式,或基于精度较低的线性模型运行。相比之下,我们的新方案在考虑完整欠驱动动力学且不进行任何线性近似的前提下,发挥了线性MPC-CBF的优势。该级联方案将VTOL-UAV的安全导航问题转化为二次约束二次规划(QCQP)问题,可通过现成求解器高效求解。我们证明了闭环稳定性和递归可行性,数值仿真也验证了该方案的有效性和鲁棒性。

英文摘要:

In this work, we propose a cascaded scheme of linear Model prediction Control (MPC) based on Control Barrier Functions (CBF) with Dynamic Feedback Linearization (DFL) for Vertical Take-off and Landing (VTOL) Unmanned Aerial Vehicles (UAVs). CBF is a tool that allows enforcement of forward invariance of a set using Lyapunov-like functions to ensure safety. The First control synthesis that employed CBF was based on Quadratic Program (QP) that modifies the existing controller to satisfy the safety requirements. However, the CBF-QP-based controllers leading to longer detours and undesirable transient performance. Recent contributions utilize the framework of MPC benefiting from the prediction capabilities and constraints imposed on the state and control inputs. Due to the intrinsic nonlinearities of the dynamics of robotics systems, all the existing MPC-CBF solutions rely on nonlinear MPC formulations or operate on less accurate linear models. In contrast, our novel solution unlocks the benefits of linear MPC-CBF while considering the full underactuated dynamics without any linear approximations. The cascaded scheme converts the problem of safe VTOL-UAV navigation to a Quadratic Constraint Quadratic Programming (QCQP) problem solved efficiently by off-the-shelf solvers. The closed-loop stability and recursive feasibility is proved along with numerical simulations showing the effective and robust solutions. Keywords: Unmanned Aerial Vehicles, Vertical Take-off and Landing, Model Predictive Control, MPC, Nonlinearity, Dynamic Feedback Linearization, Optimal Control.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑