《表1 在不同α值得情况下，时序逻辑任务3的离散规划》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于时序逻辑的复杂环境下无人机运动规划算法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

首先，考虑式（3）所示的LTL任务，当α取不同值时，最终的离散任务规划见表1。从中可以看出，随着α取的增大，离散任务规划将抵达更多的区域以完成任务，而这将不可避免地违背了初始任务中的某些约束。