Document Type
Article
Publication Date
2007
City
Dayton
Abstract
This paper presents a formal approach for the analysis and development of effective, safe, and efficient procedures for abnormal and emergency situations. The focus is on methods for describing the behavior of the underlying machine, specification of desirable and unsafe regions of operation, and an algorithmic approach for computation of optimal action sequences. We discuss current gaps in procedure development and conclude with some of the challenges that lie ahead.
Repository Citation
Heymann, M.,
Degani, A.,
& Barshi, I.
(2007). Generating Procedures and Recovery Sequences: a Formal Approach. 2007 International Symposium on Aviation Psychology, 252-258.
https://corescholar.libraries.wright.edu/isap_2007/92
