Abstract
Modern commercial aircraft have extensive automation which helps the pilot fly the aircraft by performing computations, obtaining data, and completing dull tasks. In such a safety-critical system, 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. How can we mathematically guarantee that the display provides the pilot with enough information that the pilot can safely and effectively control the aircraft? How can we ensure that the aircraft behaves as the pilot anticipates? My research addresses this issue by extending a theoretical framework, verification of hybrid systems, to include the pilot’s interactions with the aircraft automation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
M. Oishi, I. Mitchell, A. Bayen, C. Tomlin, and A. Degani. Hybrid verification of an interface for an automatic landing. Submitted to Proceedings of the IEEE Conference on Decision and Control, 2002.
M. Oishi, C. Tomlin, V. Gopal, and D. Godbole, “Addressing multiobjective control: Safety and performance through constrained optimization,” in Hybrid Systems: Computation and Control (M. D. Benedetto and A. Sangiovanni-Vincentelli, eds.), LNCS 2034, pp. 459–472, Springer Verlag, March 2001.
M. Oishi and C. Tomlin. Switching in nonminimum phase systems: Applications to a VSTOL aircraft. In Proceedings of the American Control Conference, June 2000.
M. Oishi and C. Tomlin. Switched nonlinear control of a VSTOL aircraft. In Proceedings of the IEEE Conference on Decision and Control, December 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oishi, M. (2002). Interface Verification: Discrete Abstractions of Hybrid Systems. In: Koenig, S., Holte, R.C. (eds) Abstraction, Reformulation, and Approximation. SARA 2002. Lecture Notes in Computer Science(), vol 2371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45622-8_35
Download citation
DOI: https://doi.org/10.1007/3-540-45622-8_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43941-7
Online ISBN: 978-3-540-45622-3
eBook Packages: Springer Book Archive