机译:一种确保实时离散事件系统一致性的监督控制方法
supervisory control; real-time discrete event systems (RTDES); conformance relation tioco; timed automata; Set-Exp-Automata;
机译:一种确保实时离散事件系统一致性的监督控制方法
机译:实时离散事件系统的集中和模块化监督控制的新方法
机译:一种新的实时离散事件系统集中和模块化监督控制方法
机译:使用监督控制确保反应性离散事件系统的一致性
机译:使用离散事件系统的监督控制,对实时系统的单处理器和多处理器调度进行形式化。
机译:离散选择实验方法在烟草控制中的应用:系统综述
机译:基于格点理论的实时离散事件系统监控
机译:离散事件系统的监督控制:超可控和可观察的语言。