Generating Procedures and Recovery Sequences: a Formal Approach
Michael A Heymann, Asaf Degani, Immanuel Barshi · Journal of Bioresource Management · 2007
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.