An algorithm for the supremal controllable and deadlock-free subpredicate and its application to design of alarms

Abstract

In this paper, we propose an algorithm for the supremal controllable and deadlock-free subpredicate and apply the proposed algorithm to a design procedure of alarms in human-machine systems. The authors have proposed the design of alarm based on the state feedback control of discrete event systems. In the existing state feedback based alarm system, the user can avoid automation surprises, but may sometimes come to a deadlock. By applying the proposed algorithm to the human-machine systems, we design an alarm system which is able to avoid both automation surprises and deadlocks.