原文传递
Hybrid Verification of an Interface for an Automatic Landing
| 题名： | Hybrid Verification of an Interface for an Automatic Landing |
| 作者： | Degani, Asaf;Tomlin, Claire;Bayen, Alexandre;Mitchell, Ian;Oishi, Meeko; |
| 关键词： | COMMERCIAL AIRCRAFT |
| 摘要： | 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. |
| 总页数： | 8 |
| 报告类型： | 科技报告 |
相关文献
- Modeling Multiple Human-Automation Distributed Systems using Network-form Games.
- Flight-test of the glide-slope track and flare-control laws for an automatic landing system for a powered-lift STOL airplane
- Humans, Autonomy, and eVTOLs.
- Terminal area automatic navigation, guidance and control research using the Microwave Landing System (MLS). Part 5 Design and development of a Digital Integrated Automatic Landing System (DIALS) for steep final approach using modern control techniques
- Computing Science: Practical Formal Methods in Railways - The SafeCap Approach.
- Computing Science: Practical Formal Methods in Railways - The SafeCap Approach
检索历史
应用推荐
