论文部分内容阅读
本文讨论基于非确定自动机，形式语言模型的非确定离散事件系统稳定性的多项式算法．在引入拟距离的概念之后，根据拟距离形式化地定义了非确定离散事件系统稳定性．以往判定非确定离散事件系统稳定性的算法基于系统的观测器实现，该观测器在结构上具有指数复杂度，因此本文分析系统结构和观测器结构之间的关系，基于对系统状态对的讨论，提出了判定系统稳定性的有效多项式搜索算法．