{"id":"arxiv/2607.15583","url":"https://arxiv.org/abs/2607.15583","tags":["eess.SY","math.LO"],"score":0,"title":"Distributed Continuous Aerial Surveillance by UAS Swarms Under Formal Mission Specifications","domain":"eess.SY","source":"arxiv","authors":["Hossein Rastgoftar"],"reviews":0,"subject":"eess.SY","summary":"Persistent aerial surveillance using multi-unmanned aerial systems (UASs) requires decentralized coordination, continuous team reconfiguration, and provable mission correctness despite limited onboard energy and communication constraints. This paper develops a distributed framework for continuous aerial surveillance under bounded Linear Temporal Logic (LTL) mission specifications. The proposed approach partitions the UAS team into stationary anchors and mobile workers operating under cyclic replacement modes, and constructs a deep neural network (DNN)-inspired communication topology that…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-07-17","reactions":{}}