Discrete-Event System; Fault Diagnosis; Diagnosability Analysis; K-diagnosability; Model-Checking;
机译:使用模型检查的输入/输出离散事件系统的可诊断性分析
机译:使用模型检查的输入/输出离散事件系统的可诊断性分析
机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
机译:使用模型检查输入/输出离散事件系统的诊断性分析
机译:通过利用AFD型算法,频域系统识别线性时间不变的单输入单输出二维系统和多输入多输出1维系统
机译:肌肉对龙虾(胃中断)气孔胃系统中神经元输入变化的反应:缓慢的肌肉特性可将节律性输入转化为补品输出
机译:离散事件系统的不对称诊断性分析