模糊离散事件系统基于验证器的模式故障诊断
来源期刊：控制与决策2020年第6期
论文作者：刘富春 严飞 赵锐 崔洪刚
文章页码：1403 - 1408
关键词：模糊离散事件系统;故障诊断;模式故障;验证器自动机;
摘 要：针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入S类型模式故障和T类型模式故障两个概念,再分别对模糊离散事件系统的S类型和T类型模式故障的可诊断性进行形式化.为验证模糊系统模式故障的可诊断性,构造一个验证器自动机,并得到一个关于模糊离散事件系统模式故障可诊断性的充分必要条件,实现对模糊系统模式故障的诊断.
刘富春1，严飞1，赵锐1，崔洪刚1,2
1. 广东工业大学计算机学院
摘 要：针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入S类型模式故障和T类型模式故障两个概念,再分别对模糊离散事件系统的S类型和T类型模式故障的可诊断性进行形式化.为验证模糊系统模式故障的可诊断性,构造一个验证器自动机,并得到一个关于模糊离散事件系统模式故障可诊断性的充分必要条件,实现对模糊系统模式故障的诊断.
关键词：模糊离散事件系统;故障诊断;模式故障;验证器自动机;
