У грудні 2022 року Southwest Airlines зіткнулася з масштабною кризою, що виникла через несприятливі погодні умови в Денвері. Ця ситуація призвела до затримки понад 2 мільйонів пасажирів і фінансових втрат у розмірі 750 мільйонів доларів.

Дослідники з MIT взялися за дослідження цього випадку, щоб зрозуміти, як локальні погодні умови спричинили настільки масштабний збій. Вони розробили обчислювальну систему, яка дозволяє аналізувати рідкісні випадки збоїв, використовуючи дані про нормальні операції, щоб виявити кореневі причини проблеми.
Ця система була представлена на конференції ICLR в Сінгапурі. Вона здатна працювати з широким класом кібер-фізичних проблем, де автоматизовані рішення взаємодіють з реальним світом, наприклад, у сфері авіаперевезень.
Однією з ключових знахідок стало розуміння, що резервні літаки Southwest були розпорошені по всій мережі, що ускладнило їхнє використання під час кризи. Завдяки новій методології вдалося виявити, що саме розташування резервних літаків стало провісником проблем.
Завдяки цьому дослідженню можна створити систему моніторингу в реальному часі, яка відстежуватиме тенденції і попереджуватиме про можливі проблеми завчасно. Це дозволить авіакомпаніям ефективніше управляти своїми ресурсами і запобігати подібним кризам у майбутньому.