Discrete event systems; Supervisory control; Timed-automaton; Dense-time; Digital-clock;
机译:使用数字时钟实时控制密集系统
机译:对带有命题和事件的公平密集时间系统进行模型检查
机译:当主管观察到特定事件发生时,离散事件系统的分散控制
机译:使用数字时钟的致密时间离散事件系统控制遵守事件发生时间
机译:监视和控制集中式和分散式部分观测的离散事件系统。
机译:在100 mg和300 mg canagliflozin治疗的2型糖尿病患者中观察到不良药物事件:已发表的随机对照试验的系统评价和荟萃分析
机译:离散和密集时间系统的实时控制器综合
机译:部分观测离散事件系统的控制中的共同作用..建模,分析和模拟(mas)