无人机群航路规划定量验证方法研究

无人机群航路规划是实现无人机群对目标协同搜索的关键,针对无人机群航路规划的优化、解算问题,提出了一种针对无人机群航路规划的定量验证方法,该方法运用概率迁移系统与随机多主体博弈模型构建了无人机群航路时空系统模型,使用概率空间时态逻辑对无人机群航路规划的质量指标进行了描述,通过自动验证算法实现质量指标的验证。该方法可实现对无人机群航路规划的建模、分析工作,完成对无人机群航路规划在任务完成度、飞行安全度和性能发挥度这3个方面质量指标的计算,为确定无人机群的较优航路提供理论依据。