Abstract-Air Traffic Management (ATM) i framtiden ger möjlighet till fri flygning, där flygplan väljer sina egna optimala rutter, höjder och hastigheter. En säker lösning av kurskonflikter mellan luftfartyg är nödvändig för att ett sådant distribuerat kontrollsystem ska lyckas. I den här artikeln presenterar vi en metod för att syntetisera bevisligen säkra konfliktlösningsmanövrar. Metoden modellerar luftfartyget och manövern som ett hybridstyrsystem och beräknar den maximala uppsättningen säkra startvillkor för varje luftfartyg så att separation garanteras i närvaro av osäkerheter i det andra luftfartygets handlingar. Exempel på manövrar som använder både hastighets- och kursändringar utarbetas i detalj.
Säker konfliktlösning manövrar för distribuerad flygtrafikledning är utformade i REF.
Conflict Resolution for Air Traffic Management: A Study in Multiagent Hybrid Systems
{'venue': 'IEEE Transactions on Automatic Control', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Engineering']}