度量区间时序逻辑下四旋翼的集成任务与运动规划

• 作者: 蓝梦露 赖叔朋 陈本美
• 来源期刊: 控制理论与应用
• 关键词: 任务与运动规划 时序逻辑 B样条
• 年，卷（期）: 2019,（11）
• 所属期刊栏目: 论文与报告
• 页码范围: 1952-1964
• 页数: 13页
• 语种: 中文
• DOI: 10.7641/CTA.2019.90602

摘要

本文采用优化方法解决度量区间时序逻辑下进行四旋翼的集成任务与运动规划问题.传统方法通常将任务约束和运动约束分层处理.由于不同规划层所使用的抽象模型并不完全匹配,任务规划层求解出的高层策略往往无法有效地被低层的运动规划层执行,从而只能找到次优的运动轨迹甚至找不到解.本文摒弃分层规划的策略,采用B样条拟合运动轨迹,将问题转化问一个混合整数线性规划问题,直接在同一层处理带有时序逻辑的任务约束以及运动约束.与其他现有方法对比,本文的方法保证了连续时间下的轨迹也可以完全满足所有约束条件,而非只有离散的轨迹点才可以满足.用四旋翼模型进行了一系列仿真验证,仿真结果表明了方法的有效性.