Hybrid verification of an interface for an automatic landing

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2002, Pages 1607-1613

  Oishi, Meeko ^a   Mitchell, Ian ^a   Bayen, Alexandre ^a   Tomlin, Claire ^a   Degani, Asaf ^b  

^a STANFORD UNIVERSITY   (United States)

^b NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT LANDING; AUTOMATION; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; FLIGHT DYNAMICS; HUMAN COMPUTER INTERACTION; MATHEMATICAL MODELS; USER INTERFACES;

AUTOMATIC LANDING; DISCRETE EVENT SYSTEM; HUMAN AUTOMATION INTERACTION; PROCEDURAL MODEL; VERIFICATION;

MAN MACHINE SYSTEMS;

EID: 0036996197     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. C. Tomlin, J. Lygeros, and S. Sastry, "A game theoretic approach to controller design for hybrid systems," Proceedings of the IEEE, vol. 88, no. 7, pp. 949-970, 2000.
2. I. Mitchell, A. Bayen, and C. Tomlin, "Validating a Hamilton-Jacobi approximation to hybrid system reachable sets," in Hybrid Systems: Computation and Control (M. D. Benedetto and A. Sangiovanni-Vincentelli, eds.), LNCS 2034, pp. 418-432, Springer Verlag, March 2001.
3. I. Mitchell, A. M. Bayen and C. J. Tomlin, "Computing reachable sets for continuous dynamic games using level set methods," IEEE Transactions on Automatic Control. Submitted, December 2001.
4. 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.
5. A. Degani, M. Shafto, and A. Kirlik, "Modes in human-machine systems: Constructs, representation, and classification," International Journal of Aviation Psychology, vol. 9, no. 2 pp. 125-138, 1999.
6. Federal Aviation Administration, "Criteria for approval of Category III weather minima for takeoff, landing, and rollout," Advisory Circular 120-28D, U.S. Department of Transportation, July 1999.
7. A. Degani and M. Heymann, "Formal verification of human-automation interaction," Human Factors, vol. 44, no. 1, pp. 28-43, 2002.
8. N. Leveson and E. Palmer, "Designing automation to reduce operator errors," in In the Proceedings of the IEEE Conference on Systems, Man, and Cybernetics, (Orlando, FL), pp. 1144-1150, 1997.
9. N. Sarter, D. Woods, and C. Billings, "Automation surprises," in Handbook of Human Factors and Ergonomics, pp. 1295-1327, NY: John Wiley and Sons, Inc., 1999.
10. R. Parasuraman, T. Sheridan, and C. Wickens, "A model for types and levels of human interaction with automation," IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, vol. 30, May 2000.
11. C. Billings, Aviation Automation: The Search for a Human-Centered Approach. Hillsdale, NJ: Erlbaum, 1997.
12. E. Wiener, "The human factors of advanced technology ("glass cockpit") transport aircraft," NASA Contractor Report 177528, NASA Ames Research Center, Moffett Field, CA, 1989.
13. J. Rushby, "Using model checking to help discover mode confusions and other automation surprises," in Proceedings of the Workshop on Human Error, Safety, and System Development (HESSD), (Belgium), June 1999.
14. R. Butler, S. Miller, J. Potts, and V. Carreno, "A formal methods approach to the analysis of mode confusion," in Proceedings of the AIAA/IEEE Digital Avionics Systems Conference, pp. C41/1-C41/8, 1998.
15. J. Crow, D. Javaux, and J. Rushby, "Models and mechanized methods that integrate human factors into automation design," in International Conference on Human-Computer Interaction in Aeronautics, (Toulouse, France), September 2000.
16. A. Degani, M. Heymann, G. Meyer, and M. Shafto, "Some formal aspects of human-automation interaction," NASA Technical Memorandum 209600, NASA Ames Research Center, Moffett Field, CA, April 2000.
17. S. Vakil, A. Midkiff, T. Vaneck, and R. Hansman, "Mode awareness in advanced autoflight systems," in Proceedings of the 6th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Man-Machine Systems, (Cambridge, MA), 1995.
18. A. Bayen and C. Tomlin, "Nonlinear hybrid automation model for aircraft landing," SUDAAR 737, Dept. of Aeronautics and Astronautics, Stanford University, Stanford, CA, 2001.
19. S. Rogers, K. Roth, H. Cao, J. Slotnick, M. Whitlock, S. Nash, and M. Baker, "Computation of viscous flow for a Boeing 777 aircraft in landing configuration," in AIAA Conference Proceedings, no. 2000-4221, October 1992.
20. J. Roskam and C.-T. Lan, Airplane Aerodynamics and Performance. Lawrence, Kansas: Design, Analysis, and Research Corporation, 1997.
21. A. Flaig and R. Hilbig, "High-lift design for large civil aircraft," in AGARD Conference Proceedings 515, (France), October 1992.
22. L. Jenkinson, P. Simpkin, and D. Rhodes, Civil Jet Aircraft Design. Reston, VA: American Institute of Aeronautics and Astronautics, Inc., 1999. http://www.bh.com/companions/aerodata.
23. T. Lambregts, "Automatic flight control: Concepts and methods," FAA National Resource Specialist, Advanced Controls, 1995.
24. M. G. Crandall, L. C. Evans, and P.-L. Lions, "Some properties of viscosity solutions of Hamilton-Jacobi equations," Transactions of the American Mathematical Society, vol. 282, no. 2, pp. 487-502, 1984.
25. S. Osher and J. A. Sethian, "Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations," Journal of Computational Physics. vol. 79, pp. 12-49, 1988.
26. S. Osher and R. Fedkiw. The Level Set Method and Dynamic Implicit Surfaces. Springer-Verlag, 2002.
27. M. Heymann and A. Degani, "On abstractions and simplifications in the design of human-automation interfaces," NASA Technical Memorandum 211397, NASA Ames Research Center, Moffett Field, CA, 2002.