Key points are not available for this paper at this time.
De nombreuses tâches futures de contrôle de la circulation aérienne nécessiteront des algorithmes d'optimisation critiques pour la sécurité en ligne. Parmi ces tâches, la résolution de conflits en temps réel de la circulation aérienne impliquant plus de deux aéronefs est l'une des plus difficiles. Les systèmes de contrôle de la circulation aérienne basés sur des algorithmes d'optimisation en ligne doivent faire face à des problèmes de certification de sécurité tels que la faisabilité garantie et le temps de calcul garanti. Cet article traite de la question de la faisabilité garantie et présente un effort initial pour développer une procédure hors ligne destinée à prouver la sécurité d'un tel algorithme. La procédure repose sur la technologie d'optimisation convexe combinée avec ce qu'on appelle la procédure S.
Oh et al. (Thu,) ont étudié cette question.