Design of Alarm Systems Based on State Feedback Control

Abstract

In human-machine systems, a user operates a machine with machine's partial information through an interface. Therefore, due to the inadequate interface, the user can not follow correctstates of the machine, and phenomena called automation surprises may arise. To avoid automation surprises, formal approach for verifying and designing a human-machine system have been proposed. In this paper, we propose a system which alarms to the user before automation surprises occur. The proposed system is based on the state feedback control of discrete event systems. By adding the system to the existing human-machine systems, redesigning of the user-interface is not needed and nonexistence of automation surprises is assured.