SWARM
基于形式化任务规范的无人机群分布式持续空中监视
Hossein Rastgoftar
- 发表年份
- 2026
- 访问权限
- 开放获取
摘要
本文提出了一种分布式框架，用于在有限线性时序逻辑任务规范下实现持续空中监视。该框架将无人机群分为固定锚点和移动工人，采用循环替换模式，并通过深度神经网络启发的通信拓扑实现完全去中心化协调，同时保证任务规范的有限时间满足。
关键词
aerial surveillanceUAS swarmsLTLdecentralized coordinationdeep neural network
相关论文
SWARM
📊 14,853 引用
A new optimizer using particle swarm theory
R.C. Eberhart, James Kennedy
2002
SWARM
📊 6,404 引用
Swarm Intelligence
Eric Bonabeau, Marco Dorigo, Guy Théraulaz
1999
SWARM
📊 3,446 引用
Design and use paradigms for gazebo, an open-source multi-robot simulator
Nathan Koenig, A. Howard
2005
SWARM
📊 1,708 引用
Swarm robotics: a review from the swarm engineering perspective
Manuele Brambilla, Eliseo Ferrante, Mauro Birattari 等 4 位作者
2013