Control-Certified Wireless Resource Allocation for Digital-Twin-Enabled UAV Swarms

TL;DR

This paper presents a novel certificate-guided wireless resource allocation framework for digital-twin-enabled UAV swarms, ensuring network feasibility and safety in closed-loop control through QoS certificates and dynamic scheduling.

Contribution

It introduces a digital twin-based QoS certification method combined with Lyapunov drift analysis for optimized, safe resource allocation in UAV swarms.

Findings

Outperforms baseline methods in tracking accuracy.

Suppresses high-risk states effectively.

Ensures network feasibility and safety.

Abstract

Wireless resource allocation in digital-twin-enabled unmanned aerial vehicle (UAV) swarms must be both network-feasible and certifiably safe for closed-loop control. Existing packet-level or scalar-priority schedulers cannot meaningfully compare heterogeneous multi-hop actions that differ simultaneously in route, retransmission depth, blocklength, bidirectional delay, delivery probability, and TDMA slot cost. This paper introduces a certificate-guided resource allocation framework for low-altitude multi-hop UAV swarms. A digital twin maps predicted topology, channel, route, and controller-side state into a shared five-dimensional quality-of-service (QoS) certificate comprising uplink/downlink delay bounds, directional delivery guarantees, and a certified upper bound on the interval between successful bidirectional interactions. A state-conditioned stochastic drift test then admits only certificates whose augmented Lyapunov drift is nonpositive under the current controller state. Admitted actions are reduced to certified supply frontiers by removing dominated route-slot configurations, and the online scheduler maximizes Lyapunov-drift reduction under a shared TDMA slot budget via exact dynamic programming. Closed-loop ns-3 simulations demonstrate that the proposed framework outperforms fixed-service, certificate-filtered fixed-priority, dynamic-transmission-count, and value-of-information baselines in both tracking accuracy and high-risk state suppression under identical communication budgets.