Timed automata; Diagnostic tests; Model checking; Batch processes;
机译:基于并发相分区的基于故障的故障诊断和故障批次有限的多相批过程的相对变化分析
机译:基于定时自动机的批处理过程诊断测试综合方法
机译:基于质量的非线性故障诊断框架,重点是工业多模式批处理
机译:基于自动机的批处理故障诊断的测试计划
机译:具有二维策略的动态批处理过程的多元统计监视和故障诊断。
机译:大数据方法用于批处理过程监控:使用基于非线性支持向量机的特征选择同时进行故障检测和诊断
机译:基于KECA的相似性的监测和诊断多相批处理过程中的故障