Immediate observability of discrete event systems with application to user-interface design
Immediate observability of discrete event systems with application to user-interface design
复制标题
DOI：
10.1109/cdc.2003.1273026
复制
发表时间：
2003-12
期刊：
影响因子：
--
通讯作者：
Meeko Oishi;Inseok Hwang;C. Tomlin
中科院分区：
文献类型：
--
作者：
Meeko Oishi;Inseok Hwang;C. Tomlin
与混合系统交互的人类通常通过信息显示呈现底层系统的简化表示。该界面不应该用不必要的信息淹没人类，因此通常只包含有关真实系统模型的信息子集，但是，如果设计得当，它代表了人类能够用来安全地与系统交互的真实系统的抽象[M.海曼和 A.德加尼，2002]。对于人类从远程位置与全部或部分系统进行交互且通信成本较高的情况来说，对减少必须传输的信息量的简单抽象的需求至关重要。用户应该能够根据界面显示的信息立即确定系统的实际状态。在本文中，我们推导了立即可观察性的条件，其中可以根据与当前状态和上一个或下一个事件相关的输出明确地重建系统的当前状态。然后，我们展示如何构造一个离散事件系统输出函数，使系统立即可观察，并将其应用于表示接口的简化状态机。
A human interacting with a hybrid system is often presented, through information displays, with a simplified representation of the underlying system. This interface should not overwhelm the human with unnecessary information, and thus usually contains only a subset of information about the true system model, yet, if properly designed, represents an abstraction of the true system which the human is able to use to safely interact with the system [M. Heymann and A. Degani, 2002]. For cases in which the human interacts with all or part of the system from a remote location, and communication has a high cost, the need for a simple abstraction, which reduces the amount of information that must be transmitted, is of the utmost importance. The user should be able to immediately determine the actual state of the system, based on the information displayed through the interface. In this paper, we derive conditions for immediate observability in which the current state of the system can be unambiguously reconstructed from the output associated with the current state and the last or next event. Then, we show how to construct a discrete event system output function, which makes a system immediately observable, and apply this to a reduced state machine, which represents an interface.