用布尔矩阵分析离散事件系统

本文用布尔矩阵研究了一类可用自动机描述的离散事件系统的有关性质。通过简单的矩阵运算，便可确定出系统状态间的距离（事件数）等参数。此外还讨论了用状态转移矩阵确定系统的可能逻辑迹集等问题。     

一类离散事件系统的混合型控制器设计

给出了状态机的混合型控制器的设计方法,首先设计了禁止库所的增量观测器和状态观测器,根据观测器的标识给出了允许标识和临界允许标识的判据,然后利用这两个判据给出的计算最大允许控制的算法.一个例子对本文的结论做了说明.