Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions

机译：具有不确定输出函数的Mealy自动机建模的离散事件系统的无阻塞监督控制

机译：具有确定性输出函数的Mealy自动机建模的离散事件系统的协同诊断性验证

机译：具有输出功能的自动机的监督者综合：一种模型转换方法

机译：具有不确定输出功能的Mealy自动机建模的离散事件系统的分散诊断

机译：组成混合离散事件系统和元胞自动机模型。

机译：使用细胞自动机模型对微流体系统内的活细胞建模

机译：采用非近期输出函数模型模型的离散事件系统的监督控制

机译：I / O自动机：离散事件系统的模型

机译：用于机器的局部系统的监视方法，尤其是内燃机的进气系统的监视方法，其中使用模型表示局部系统，并且其输出对应于离散事件

机译：基于网络建模，在自动机网络中自动生成嵌入式分布式控制应用程序，使用功能的UML建模和数据通信来驱动自动代码生成器

机译：能够显示关于GIS预防诊断系统的标准模型并包含该模型的逻辑节点的GIS预防诊断系统的外部通信方法