[发明专利]一种随机离散事件系统安全可诊断性确定方法及系统

摘要

本申请公开了一种随机离散事件系统安全可诊断性确定方法及系统，该方法中，在确定出与随机离散事件系统对应的随机自动机之后，将会创建用于表示随机离散事件系统的规范语言的无错自动机，然后基于无错自动机，创建非法语言集上的用于区分禁止事件串的非法语言识别器，接着基于非法语言识别器，创建安全验证器，并确定出用于判断随机离散事件系统是否安全可诊断的充要条件，最后根据安全验证器以及上述充要条件，可以判断出随机离散事件系统是否安全可诊断。上述创建安全验证器的过程对应的时间复杂度以及基于上述安全验证器的安全可诊断的判断过程的时间复杂度均为多项式时间，由此能够进一步降低随机离散事件系统安全诊断的复杂度。

主权项

一种随机离散事件系统安全可诊断性确定方法，其特征在于，包括：确定与随机离散事件系统对应的自动机，得到随机自动机；创建与所述随机自动机对应的用于表示所述随机离散事件系统的规范语言的自动机，得到无错自动机；其中，所述规范语言为所述随机离散事件系统中与非故障事件对应的语言；基于所述无错自动机，创建非法语言集上的用于区分所述随机离散事件系统的禁止事件串的识别器，得到非法语言识别器；基于所述非法语言识别器，创建相应的验证器，得到安全验证器，并确定出与所述安全验证器对应的用于判断所述随机离散事件系统是否安全可诊断的充要条件；根据所述安全验证器以及所述充要条件，判断所述随机离散事件系统是否安全可诊断，得到相应的判定结果。