【摘要】 本文基于有限自动机,对一类离散事件动态系统进行代数表述、分析与综合。文中引入通道矩阵、可能状态等概念,建立了受控离散事件动态系统在不同状态迁移意义下的可能状态的迁移方程,从而将离散事件动态系统的某些分析与综合问题抽象为相应的布尔代数问题,并给出了一种利用布尔代数求解离散事件动态系统反馈综合问题的新方法。更多还原

【Abstract】 In this paper, a class of discrete event dynamic systems (DEDS) governed by finite automata are described , analysized and synthesized with Boolean algebra. Here, the concepts of path matrix and possible state etc. are introduced to present a algebraic equation to describe the transition of possible state of the DEDS. Based on this, a new method to solve the state feedback synthesis problem of DEDS is given in the paper.更多还原