Secure Coordination for Vertiport Sequencing in Advanced Air Mobility

Technische Samenvatting: Veilige Coördinatie voor Vertiport-Sequencing in Geavanceerde Luchtmobiliteit

Probleemstelling
Operaties van Geavanceerde Luchtmobiliteit (AAM) in de buurt van vertiporten vereisen betrouwbare coördinatiemechanismen om dichte verkeersstromen te beheren onder beperkte landingscapaciteit en onzekere aankomsttijden. De huidige coördinatie is sterk afhankelijk van zelfgerapporteerde gegevens, zoals Remote-ID, die voertuigidentiteit en positie verschaffen. Deze afhankelijkheid creëert echter een kwetsbaarheid: eigenbelanghebbende voertuigen kunnen strategisch hun geraamde aankomsttijd (ETA) verkeerd rapporteren om gunstige landingsplekken te securen, terwijl kwaadwillende actoren data kunnen spoofen om sequencing te verstoren of congestie te veroorzaken.

Hoewel het vergelijken van zelfgerapporteerde gegevens met externe surveillance (bijvoorbeeld radar of optische tracking) een verdediging biedt, zijn surveillance-schattingen inherent onzeker door meetruis en schattingsfouten. Bijgevolg kunnen vervalste rapporten die consistent blijven met het onzekerheidsgebied van de surveillance niet onmiddellijk worden afgewezen. Dit creëert een strategisch coördinatieprobleem waarbij de coördinator aankomstschema's moet toewijzen die haalbaar zijn qua scheiding, ondanks de mogelijkheid van ondetecteerbare, maar potentieel schadelijke, valse rapporten.

Methodologie
Het artikel stelt een raamwerk voor voor veilige vertiport-sequencing dat onderscheid maakt tussen twee verschillende bronnen van valse informatie en robuuste sequenceringsregels formuleert om deze te counteren.

1. Systeemmodel:

   • Het systeem omvat $N$ voertuigen die een gedeelde vertiport naderen.
   • Elk voertuig $i$ heeft een ware ETA ($\tau_i$) en rapporteert een ETA ($\hat{\tau}_i = \tau_i + \delta_i$), waarbij $\delta_i$ de rapportage-afwijking is.
   • Een coördinator gebruikt een actieve surveillancesysteem om een onafhankelijke ETA-schatting af te leiden. Vanwege sensieonzekerheid zijn afwijkingen $\delta_i$ beperkt tot een onzekerheids-consistente set $\mathcal{U}_i$ (bijvoorbeeld een interval $[-\varepsilon_i, \varepsilon_i]$). Rapporten buiten deze set worden afgewezen; die binnen deze set worden behandeld als potentieel vals, maar niet te onderscheiden van ware rapporten.
   • Het doel is om de systeemniveau-sequencingkosten te minimaliseren, gedefinieerd als de som van de kwadratische aanpassingen tussen toegewezen aankomsttijden ($a_i$) en ware ETA's ($\tau_i$), onderworpen aan minimale tijdscheidingseisen ($s_{min}$).

2. Robuuste Formuleringen:
   Het artikel modelleert de interactie tussen de coördinator en de rapporterende entiteiten met behulp van twee robuuste optimalisatiebenaderingen:

   • Eigenbelanghebbende Valse Rapportage (Strategische Afwijking): Gemodelleerd als een Stackelberg-spel. Eigenbelanghebbende voertuigen observeren de robuustificatieparameter ($\theta$) van de coördinator en selecteren een afwijking $\delta_i \in \mathcal{U}_i$ om hun eigen schema-aanpassingskosten te minimaliseren. De coördinator voorspelt dit best-response-gedrag en selecteert $\theta$ om de resulterende systeemkosten te minimaliseren.
   • Kwaadwillende Spoofing (Adversariële Verstoring): Gemodelleerd als een min-max probleem. Een externe aanvaller injecteert valse rapporten voor een subset van voertuigen ($\mathcal{M}$) om de systeemniveau-sequencingkosten te maximaliseren (bijvoorbeeld congestie of vertragingen veroorzaken). De coördinator selecteert $\theta$ om de worst-case systeemkosten die door deze adversariële afwijkingen worden veroorzaakt, te minimaliseren.

3. Sequencingregel:
   De coördinator hanteert een geparametriseerde sequencingregel $S_\theta$ die gerapporteerde aankomsttijden mapt naar een toegewezen schema. De parameter $\theta$ vertegenwoordigt robuustificatiemaatregelen, zoals betrouwbaarheidsdrempels of onzekerheidsreductieregels, die zijn ontworpen om het sequencingresultaat minder gevoelig te maken voor rapporten binnen het onzekerheidsgebied.

Belangrijkste Bijdragen en Geplande Resultaten
Als een uitgebreid abstract vestigt dit artikel primair het theoretische raamwerk en schetst geplande numerieke studies in plaats van gefinaliseerde experimentele resultaten te presenteren. De bijdragen omvatten:

• Formele Onderscheiding van Bedreigingsmodellen: Het artikel onderscheidt expliciet tussen strategische valse rapportage (gericht op individueel gewin) en kwaadwillende spoofing (gericht op systeemdegradatie), en stelt voor elk afzonderlijke robuuste formuleringen voor.
• Robuust Ontwerp onder Sensieonzekerheid: Het formuleert vertiport-sequencing als een robuust ontwerpprobleem over surveillances-consistente onzekerheidssets, waarbij wordt erkend dat perfecte detectie onmogelijk is door sensornuis.
• Geplande Evaluatiestrategie: De auteurs stellen een uitgebreide numerieke studie voor om de voorgestelde regels te evalueren. De studie plant een vergelijking van:
  • Basissequencing: Directe toepassing van gerapporteerde tijden.
  • Eigenbelanghebbende Robuuste Sequencing: Geoptimaliseerd tegen strategische afwijkingen.
  • Kwaadwillende Robuuste Sequencing: Geoptimaliseerd tegen adversariële verstoringen.
• Metingen voor Evaluatie: De geplande experimenten beogen te kwantificeren:
  • Het efficiëntieverlies van robuustheid (vergelijking van robuuste versus basisprestaties onder ware rapportage).
  • Het veiligheidsvoordeel van robuustheid (vergelijking van prestaties onder valse rapportage met en zonder robuuste regels).
  • Gevoeligheid voor verkeersdichtheid, scheidingseisen, surveillanceruis en de omvang van de potentieel onbetrouwbare voertuigset ($\mathcal{M}$).

Betekenis
Het artikel betoogt dat naarmate de AAM-verkeersdichtheid toeneemt en sequencingmarges strakker worden, de operationele impact van valse informatie prominenter zal worden dan in conventioneel luchtverkeersmanagement. Door surveillancegegevens te integreren met zelfgerapporteerde informatie via robuuste optimalisatie, beoogt het voorgestelde raamwerk de betrouwbaarheid van sequencingmechanismen te behouden. Het streeft ernaar bescherming te bieden tegen zowel de "tragiek van de gemeenschap" (waarbij individuele voertuigen het systeem manipuleren) als actieve adversariële aanvallen, zodat vertiport-operaties veilig en efficiënt blijven, zelfs wanneer sensiecapaciteiten imperfect zijn.

De auteurs merken op dat toekomstig werk dit raamwerk zal uitbreiden met toewijzing van surveillanceresources, waarbij de coördinator dynamisch sensieresources (bijvoorbeeld resolutie of vermogen) toewijst om de onzekerheid voor specifieke voertuigen te verminderen, waardoor de sequencingbeslissingen worden gehard tegen waarschijnlijke bronnen van valse informatie.