Användningen av ett differentialspel och en optimal kontrollteoretisk metod för beräkning av riskzoner för just detta problem är ny. Utrymmet utanför riskzonen anses vara bevisbart säkert, vilket innebär att nödmanövrar från och med utanför zonen under blundersituationer är garanterade att vara säkra inom gränserna för manöverns svårighetsgrad av både det felande och undflyende flygplanet. Dessutom kan dessa zoner beräknas online i realtid med kunskap om det nuvarande tillståndet. Algoritmen tillhandahåller också minsta banseparation för oberoende inflygningar och minsta längsgående separation mellan luftfartyg för beroende inflygningar. Algoritmen för beräkning av zonerna har validerats med över en miljon simuleringskörningar, där det intilliggande flygplanet utförde olika blunderbanor. Valideringen visar att algoritmen framgångsrikt kunde varna och förhindra kollisioner i 100% av simuleringarna som kördes.
Utanför sådana riskzoner är undanmanövrar bevisligen säkra REF.
Computing Danger Zones for Provably Safe Closely Spaced Parallel Approaches
{'venue': 'Journal of Guidance, Control, and Dynamics', 'journal': 'Journal of Guidance, Control, and Dynamics', 'mag_field_of_study': ['Engineering', 'Computer Science']}