机构名称：
¥ 2.0
当由于攻击或故障而失去人类操作员的远程控制时，无人机 (UAV) 的自主性可以提高机队的弹性。此外，自主性可以通过面向代理的方法实现，这大大提高了建模、设计和构建自主软件系统的能力。尽管如此，如果一支无人机机队配备了自主性，通常很难确保其车辆能够保证所需的可靠性水平。这项工作调查了与可预测性相关的代理能力以及多代理系统的可靠性设计方法。它采用多代理任务分配、博弈论和形式验证的概念，为无人机机队开发了一个动态和分散的任务规划器，该机队将完成持续的监视任务。提出了综合利用形式模型和代理编程技术来实时调度代理行为。采用马尔可夫博弈框架和分布式随机算法，综合出一种协调机制，控制代理之间的交互。最后，讨论了一些模拟结果和效率分析。
用于多无人机任务的自主和可靠的多智能体系统
主要关键词
相关文件推荐
