Design Tools; Modelling Control and Verification; Petri Nets; Process Automation; Supervisory Control;
机译:离散事件系统的鲁棒监控控制器的模块化实现
机译:模糊离散事件系统的模块化监督控制和分层监督控制
机译:离散事件系统的模块化监督控制设计
机译:批处理流程模块化监控系统的设计与实现
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:用于微电网测试台的低成本基于Web的监控和数据采集系统:在学术和研究应用程序的设计和实现中的案例研究
机译:实施化学批处理的监督控制
机译:智能监控过程控制环境下的批量调度