| 基于时序逻辑的复杂环境下无人机运动规划算法 |
| |
| 引用本文： | 谢国汕,殷志宏,杨一,李涧青,李超勇.基于时序逻辑的复杂环境下无人机运动规划算法[J].上海航天,2020,37(6):69-76. |
| |
| 作者姓名： | 谢国汕 殷志宏 杨一 李涧青 李超勇 |
| |
| 作者单位： | 浙江大学 电气工程学院，浙江 杭州310027;海鹰航空通用装备有限责任公司，北京102401 |
| |
| 基金项目： | 国家自然科学基金(91748128，11802268);浙江省自然科学基金(LR20F030003);中国博士后科学基金(2019M652087) |
| |
| 摘 要： | 本文主要考虑基于时序逻辑的无人机运动规划问题。一般地，解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时，即线性时序逻辑(LTL)任务在当前环境中无法实现时，我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法，在深入理解模型检查原理的基础上，利用初始任务自动机生成一个松弛乘积自动机，进而获取有效的离散任务规划;同时设计一个自动机的权重函数，确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题，扩大了时序逻辑在无人机运动规划中的应用范围，同时增加了系统的鲁棒性。
|
| 关 键 词： | 无人机 运动规划 时序逻辑 重规划 松弛乘积自动机 |
| 收稿时间： | 2020/7/24 0:00:00 |
| 修稿时间： | 2020/9/18 0:00:00 |
Temporal Logic Based Algorithm for UAV Motion Planning in Complex Environment |
| |
| XIE Guoshan,YIN Zhihong,YANG Yi,LI Jianqing,LI Chaoyong.Temporal Logic Based Algorithm for UAV Motion Planning in Complex Environment[J].Aerospace Shanghai,2020,37(6):69-76. |
| |
| Authors: | XIE Guoshan YIN Zhihong YANG Yi LI Jianqing LI Chaoyong |
| |
| Abstract: | |
| |
| Keywords: | unmanned aerial vehicle (UAV) motion planning temporal logic reconfiguration relaxed product automaton |
|
| 点击此处可从《上海航天》浏览原始摘要信息 |
|
点击此处可从《上海航天》下载全文 |
