基于非齐整自动机模型的离散事件系统监控

本文研究了一类不能用齐整自动机建模的离散事件系统的监控问题。首先介绍了自动机齐整性的定义及检验方法，接着给出了将系统分解为若干个子系统的算法，最后讨论了系统监控问题。所得结果具有一定的参考价值。