论文部分内容阅读
本文基于有限自动机,对一类离散事件动态系统进行代数表述、分析与综合。文中引入通道矩阵、可能状态等概念,建立了受控离散事件动态系统在不同状态迁移意义下的可能状态的迁移方程,从而将离散事件动态系统的某些分析与综合问题抽象为相应的布尔代数问题,并给出了一种利用布尔代数求解离散事件动态系统反馈综合问题的新方法。
In this paper, based on finite automaton, a class of discrete event dynamic system algebraic expression, analysis and synthesis. In this paper, the concept of channel matrix and possible state are introduced to establish the migration equation of the possible states of the controlled discrete event dynamic system under different state transitions, and abstract some analysis and synthesis problems of the discrete event dynamic system into the corresponding Boolean algebra Problem, and gives a new method of using Boolean algebra to solve the feedback synthesis of discrete-time dynamic system.