Drones, Volume 10, Issue 1
2026 January - 76 articles
Cover Story: Applications of Innovative Air Mobility (IAM) place high demands on the safe coordination of multiple UAVs and UAV-tailored takeoff and landing pads to mitigate unforeseen adverse effects. This paper presents a unified bigraph-based digital twin framework for formally modeling, verifying, and executing multi-UAV landing operations. Using Bigraphical Reactive Systems and a bigrid spatial model, it enforces one-to-one UAV–pad assignments via reaction rules and provides model-checking proofs of conflict-free landings. A cyber–physical synchronization layer maps the formal model to runtime through modular APIs and state-machine control, and an instantiation on the Crazyflie platform demonstrates the safety, scalability, and consistency of the proposed framework for IAM scenarios. View this paper - Issues are regarded as officially published after their release is announced to the table of contents alert mailing list .
- You may sign up for email alerts to receive table of contents of newly released issues.
- PDF is the official format for papers published in both, html and pdf forms. To view the papers in pdf format, click on the "PDF Full-text" link, and use the free Adobe Reader to open them.