度量区间时序逻辑下四旋翼的集成任务与运动规划
蓝梦露1
赖叔朋2
陈本美3
1.新加坡国立大学综合科学与工程研究生院,新加坡1175832.新加坡国立大学电子工程系,新加坡1175733.新加坡国立大学电子工程系,新加坡117573;香港中文大学机械及自动化工程系,中国香港
摘要：本文采用优化方法解决度量区间时序逻辑下进行四旋翼的集成任务与运动规划问题.传统方法通常将任务约束和运动约束分层处理.由于不同规划层所使用的抽象模型并不完全匹配,任务规划层求解出的高层策略往往无法有效地被低层的运动规划层执行,从而只能找到次优的运动轨迹甚至找不到解.本文摒弃分层规划的策略,采用B样条拟合运动轨迹,将问题转化问一个混合整数线性规划问题,直接在同一层处理带有时序逻辑的任务约束以及运动约束.与其他现有方法对比,本文的方法保证了连续时间下的轨迹也可以完全满足所有约束条件,而非只有离散的轨迹点才可以满足.用四旋翼模型进行了一系列仿真验证,仿真结果表明了方法的有效性.
关键词：任务与运动规划时序逻辑B样条
论文发表日期：2019-11-28
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：13( 1952-1964 )
英文信息