Hybrid verification of an interface for an automatic landing

TitleHybrid verification of an interface for an automatic landing
Publication TypeConference Paper
Year of Publication2002
AuthorsOishi, M., I. Mitchell, A. Bayen, C. Tomlin, and A. Degani
Conference NameDecision and Control, 2002, Proceedings of the 41st IEEE Conference on
Pagination1607 - 1613 vol.2
Date Publisheddec.
Keywordsaerospace simulation, aircraft landing guidance, autoland/go-around maneuver, automatic landing, civil jet aircraft, commercial aircraft, discrete event simulation, discrete-event system techniques, flight envelope, human-automation interaction, hybrid interface verification, hybrid system techniques, longitudinal dynamics, nondeterministic behavior, nonlinear hybrid model, program verification, unpredictable behavior, user interfaces

Modern commercial aircraft have extensive automation which helps the pilot by performing computations, obtaining data, and completing procedural tasks. The pilot display must contain enough information so that the pilot can correctly predict the aircraft's behavior, while not overloading the pilot with unnecessary information. Human-automation interaction is currently evaluated through extensive simulation. In this paper, using both hybrid and discrete-event system techniques, we show how one could mathematically verify that an interface contains enough information for the pilot to safely and unambiguously complete a desired maneuver. We first develop a nonlinear, hybrid model for the longitudinal dynamics of a large civil jet aircraft in an autoland/go-around maneuver. We find the largest controlled subset of the aircraft's flight envelope for which we can guarantee both safe landing and safe go-around. We abstract a discrete procedural model using this result, and verify a discrete formulation of the pilot display against it. An interface which fails this verification could result in nondeterministic or unpredictable behavior from the pilot's point of view.


a place of mind, The University of British Columbia

Electrical and Computer Engineering
2332 Main Mall
Vancouver, BC Canada V6T 1Z4
Tel +1.604.822.2872
Fax +1.604.822.5949

Emergency Procedures | Accessibility | Contact UBC | © Copyright 2021 The University of British Columbia