- Titel
- Towards a Bigraph-Based Digital Twin Framework for Multi-UAS Coordination in IAM
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-1052375
- Übersetzter Titel (DE)
- Hin zu einem Bigraph-basierten Digital-Twin-Framework für die Koordination mehrerer UAS im IAM
- Konferenz
- The 27th International Symposium on Formal Methods (FM 2026). Tokyo, May 18-22, 2026
- Erstveröffentlichung
- 2026
- Abstract (EN)
- Unmanned Aerial Systems (UAS) are expected to play a central role in Innovative Air Mobility (IAM), where multiple vehicles and infrastructure elements must be safely coordinated in dense, dynamic low-altitude airspace. Existing formal methods often struggle to capture rich spatial configurations and communication topologies and offer little integration with the physical system. This work proposes a bigraph-based digital twin (DT) framework that unifies formal modeling, verification, and runtime control for multi-UAS operations. Bigraphical Reactive Systems (BRS) with a bi-grid-based spatio-temporal structure can capture UAS–environment relationships and constraints. Preliminary results indicate that our DT framework facilitates adaptive formation coordination through modular IAM operations, dynamic trajectory adjustments, and collision-free navigation in complex environments.
- Freie Schlagwörter (EN)
- Digital twin, UAV, UAS, IAM, Bigraph
- Klassifikation (DDC)
- 006
- Klassifikation (RVK)
- ST 620
- ZO 7440
- SK 890
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Förder- / Projektangaben
- Deutsche Forschungsgemeinschaft (DFG)
RTGAirMetro
(GRK 2947/1)
ID: 508591287 - Version / Begutachtungsstatus
- publizierte Version / Verlagsversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-1052375
- Veröffentlichungsdatum Qucosa
- 11.06.2026
- Dokumenttyp
- Konferenzbeitrag
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0- Inhaltsverzeichnis
1. Introduction 2. Proposed Methods 3. Preliminary Results 4. Contributions