Reachability-based abstraction for an aircraft landing under shared control

TitleReachability-based abstraction for an aircraft landing under shared control
Publication TypeConference Paper
Year of Publication2008
AuthorsMatni, N., and M. Oishi
Conference NameAmerican Control Conference, 2008
Pagination2278 -2284
Date Publishedjun.
Keywordsaircraft landing, aircraft landing guidance, longitudinal aircraft dynamics, pilot-autopilot interaction, reachability analysis, reachability-based abstraction, safe pilot interaction, safety systems, shared control, state-space method, state-space methods

We extend techniques for a reachability-based abstraction to hybrid systems under shared control with application to pilot-autopilot interaction during an aircraft landing. A simple hybrid model of longitudinal aircraft dynamics and mode-logic is developed based on publicly available data. As the pilot and autopilot share control over some of the same inputs, it is possible for the pilot to "light" the autopilot. New types of safety are proposed to identify regions in the state-space in which pilot-autopilot conflict can occur, and then computed using level set methods. The results partition the state-space into different levels of safety. Cells of this partition form discrete modes in an abstraction of the reachability result, which can inform the design of a pilot display. Our results show how shared control contributed to violations of "safe" pilot interaction with the automation in the Nagoya 1994 A300 accident.


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