knowledge based systems; temporal logic; discrete event systems; fault diagnosis; polynomials; discrete event systems; rule based modeling formalism; first order linear temporal logic model checking; failure prone system model; failure diagnosis techniques; diagnosability test; online algorithm; diagnoser synthesis; discrete transforms; polynomials;
机译:具有线性时间时态逻辑规范的离散事件系统的重复故障诊断
机译:具有线性时间时序逻辑规范的离散事件系统的故障诊断
机译:使用基于规则的建模形式主义对带有故障的离散事件系统进行建模
机译:使用一阶线性时间逻辑诊断基于规则的模型中的离散事件系统
机译:离散事件系统的监督控制和故障诊断:一种时间逻辑方法。
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:具有线性时间时序逻辑故障规范的离散事件系统的故障诊断