| タイトル | Hybrid Verification of an Interface for an Automatic Landing |
| 本文（外部サイト） | http://hdl.handle.net/2060/20020091923 |
| 著者（英） | Kega, Dennis; Oishi, Meeko; Bayen, Alexandre; Mitchell, Ian; Degani, Asaf; Tomlin, Claire |
| 著者所属（英） | NASA Ames Research Center |
| 発行日 | 2002-01-01 |
| 言語 | eng |
| 内容記述 | 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. |
| NASA分類 | Aircraft Communications and Navigation |
| 権利 | Copyright, Distribution as joint owner in the copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/223897 |
|
