-
题名基于时序逻辑的复杂环境下无人机运动规划算法
被引量:3
- 1
-
-
作者
谢国汕
殷志宏
杨一
李涧青
李超勇
-
机构
浙江大学电气工程学院
海鹰航空通用装备有限责任公司
-
出处
《上海航天(中英文)》
CSCD
2020年第6期69-76,97,共9页
-
基金
国家自然科学基金(91748128,11802268)
浙江省自然科学基金(LR20F030003)
中国博士后科学基金(2019M652087)。
-
文摘
本文主要考虑基于时序逻辑的无人机运动规划问题。一般地,解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时,即线性时序逻辑(LTL)任务在当前环境中无法实现时,我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法,在深入理解模型检查原理的基础上,利用初始任务自动机生成一个松弛乘积自动机,进而获取有效的离散任务规划;同时设计一个自动机的权重函数,确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题,扩大了时序逻辑在无人机运动规划中的应用范围,同时增加了系统的鲁棒性。
-
关键词
无人机
运动规划
时序逻辑
重规划
松弛乘积自动机
-
Keywords
unmanned aerial vehicle(UAV)
motion planning
temporal logic
reconfiguration
relaxed product automaton
-
分类号
V219
[航空宇航科学与技术—航空宇航推进理论与工程]
-