论文信息 - Generating Procedures and Recovery Sequences: a Formal Approach

Generating Procedures and Recovery Sequences: a Formal Approach

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.

[1] Asaf Degani,et al. Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm , 2007, Hum. Factors.

[2] Michael Heymann,et al. Formal Aspects of Procedures: The Problem of Sequential Correctness , 1999 .

[3] M. Heymann,et al. On stabilization of discrete-event processes , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[4] Asaf Degani,et al. On the design of flight-deck procedures , 1994 .

[5] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[6] M. Heymann,et al. Stabilization of discrete-event processes , 1990 .

[7] Feng Lin,et al. Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems , 1996, Hybrid Systems.

[8] Asaf Degani,et al. Taming HAL: Designing Interfaces Beyond 2001 , 2004 .

[9] Christopher D. Wickens,et al. Strategic workload management and decision biases in aviation , 1994 .