离散事件系统监控理论已取得长足的进展,但是基于Petri网的DES监控理论的活性问题一直没有得到有效的解决。针对这一问题,本项目的研究旨在提出一种新颖的能保持系统活性并能实现最大容许控制的Petri网结构型控制器的设计理论,给出这一类型控制器存在的条件,证明所设计的控制器的最优性(即最大能控性)和活性,为设计具有离散事件系统特征的一类实际系统如离散制造系统提供理论依据,保证此类系统既满足期望的性能指标,又能平稳运行。
英文主题词Keywords: Discrete Event Systems; Supervisory Control; Petri Nets; Liveness