机译:用于离散事件系统的K损失稳健诊断性
Fault diagnosisRobust diagnosabilityDiscrete Event SystemsAutomataVerifiers;
机译:离散事件系统强大诊断相关概念的比较分析
机译:诊断离散事件系统:扩展“诊断方法”以处理电信网络
机译:自动机制建模的离散事件系统的最小诊断和诊断
机译:再论离散事件系统的鲁棒性和鲁棒性
机译:离散事件系统的分层鲁棒监督控制。
机译:遗传稳健性环境稳健性网络稳健性及其在生物网络中表型稳健性之间的权衡的统一数学框架第一部分:系统和进化生物学中的基因调控网络
机译:用于诊断具有部分有序观测的离散事件系统的自动切片