线性离散事件动态系统的可达性

可达性是动态系统的重要性质之一。本文讨论离散事件动态系统的可达性,给出了系统完全可达的充要条件,得到了利用系统的特征矩阵判断系统可达性的判据,证明了系统可按可达性进行分解、状态反馈不影响系统可达性等结论,还进一步讨论了一类流水线生产加工系统的可达性,本文的结果对于这类系统的分析和控制是有意义的。

ON THE REACHABILITY OF LINEAR DISCRETE EVENT DYNAMIC SYSTEMS

Reachability is one of the most important properties of dynamic systems. This paper deals with the Teachability of Discrete Event Dynamic Systems (DEDS). We give the necessary and sufficient condition for DEDS to be completely reachable and propose the reachability criterion based on the characteristic matrix of the system. The statements that the system can be decomposed according to its reachability and that slate feedback does not affect the reachability of the system are proved. We also discuss the reachability of a class of manufacturing systems. The results presented in this paper are believed to be of significance to the analysis and control of DEDS.