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

• 作者: 刘耿 李晨 许鹏
• 来源期刊: 测控技术
• 学科: 工学
• 关键词: 航路规划 质量指标 定量验证 无人机群
• 年，卷（期）: 2020,（11）
• 所属期刊栏目: ICGNC2020优秀论文选登(二)
• 页码范围: 113-118
• 页数: 6页
• 分类号: TP391.9|O221.6
• 语种: 中文
• DOI: 10.19708/j.ckjs.2020.11.021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晨		4	1	1.0	1.0
2	许鹏		2	3	1.0	1.0
3	刘耿		5	4	2.0	2.0