Institute of Mathematics Czech Academy of Sciences Brno Branch Zizkova 22 616 62 Brno Czech Republic. komenda@ipm.cz;
Coalgebra ; Modular supervisory control ; Partial normality ; Supremal sublanguages;
机译:非确定性混合控制系统离散事件模型中的最高可控制子语言
机译:对“离散事件系统及其至上子语言的相对可观察性”的更正
机译:离散事件系统及其至上子语言的相对可观性
机译:在离散事件系统中模块化控制中出现的一般规范语言的最高资格
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:受控词汇表索引编制和医学语言处理。受控词汇:作为受控医学词汇基础的子语言分析
机译:离散事件系统模块化控制中通用规范语言的超级子语言
机译:具有部分观测的监督综合问题中出现的极值和极大子语言。