判定非确定离散事件系统稳定性的梯度搜索算法

Algorithm analysis for sability of non-deterministic discrete event systems

讨论基于非确定自动机/形式语言模型的非确定离散事件系统(NDES)稳定性问题.引入非确定离散事件系统稳定性的定义,并得到了稳定性的判据定理.给出了基于梯度的搜索算法,该算法可有效消除观测器的冗余,从而降低了计算复杂度.

Stability of non-deterministic discrete event systems （DES） based on non-deterministic automata/languages is studied. The periodical stability of DES is defined and the criterions for checking periodical stability based on observer are discussed. Finally, an effective algorithm is derived and the computational complexity of the observer is reduced by eliminating the redundancy of the observer.