Controller; Discrete event systems; Liveness constraints; Manufacturing Systems; supervisory control theory;
机译:通过基于过渡的控制器,以Petri网为模型的柔性制造系统对生命力的最佳实施:
机译:基于代理的离散制造系统分布式控制器综合
机译:一类离散事件制造系统的产品驱动协调控制器的综合
机译:生命力提取综合离散制造系统最优控制器
机译:离散时间系统的形式验证和控制器综合。
机译:线性离散时间非因果多速率系统的最优预览控制器设计
机译:通过基于转换的控制器对Petri网建模的灵活制造系统的最佳强制执行