Process Control Laboratory (BCI-AST) University of Dortmund 44221 Dortmund Germany. Email: olaf.stursberg@uni-dortmund.de;
Automata ; discrete event systems ; logic control ; timed systems ; verification;
机译:面向对象的分析和设计模型,通过混合自动机和实时UML专门化MDA的功能,为四旋翼无人机实现控制器
机译:具有逻辑控制器的控制设备的结构转换(“仲裁滤波器的谐波线性化的示例)
机译:具有逻辑控制器的控制设备的结构转换(“仲裁滤波器的谐波线性化的示例)
机译:SFC转换为定时自动机的逻辑控制器分析
机译:定时安全自动机和逻辑一致性。
机译:提取的基于规则的多元二型自组织模糊逻辑控制器在麻醉中的性能分析
机译:从故障树分析中获得逻辑控制器的时间和时间特性