Запропоновано підхід до формування процедури виявлення існуючої області надмірності та її використання для забезпечення функціональної стійкості автоматизованої системи управління повітряним рухом. Оптимальне використання надмірності для забезпечення функціональної стійкості АСУПР базується на запропонованому методі поетапного зменшення потужності бази (базису) перестановочного багатогранника, а також принципі формування максимальної бази при зануренні множини допустимих рішень в частково упорядковану множину, для якої цільова функція і градієнт монотонні. Ключові слова: функціональна стійкість, надмірність, АСУ повітряним рухом.
