机译:通过不确定自动机定性建模连续变量系统
机译:具有不确定输出函数的Mealy自动机建模的离散事件系统的无阻塞监督控制
机译:具有确定性输出函数的Mealy自动机建模的离散事件系统的协同诊断性验证
机译:随机自动机对动力学系统进行定性建模
机译:具有不确定输出功能的Mealy自动机建模的离散事件系统的分散诊断
机译:网络机器人系统的不确定性建模和验证。
机译:使用细胞自动机模型对微流体系统内的活细胞建模
机译:诊断由非定义输出函数模拟的Meally Automata模型的离散事件系统
机译:基于仿真的非确定性系统和罕见事件模型检验。