离散事件动态系统的D—自动机模型

摘要

首先引入Ｄ－子集和Ｄ－语言的概念，在此基础上给出了一类离散事件动态系统的一般形式化表述－Ｄ－自动机模型，并讨论了受控系统的动态行为。最后研究了系统的状态可达性问题。