Scheduling with timed automata
Scheduling with timed automata
复制标题
DOI：
10.1016/j.tcs.2005.11.018
复制
发表时间：
2006-03
期刊：
影响因子：
--
通讯作者：
Yasmina Abdeddaïm;E. Asarin;O. Maler
中科院分区：
文献类型：
--
作者：
Yasmina Abdeddaïm;E. Asarin;O. Maler
在这项工作中，我们提出时间自动机作为一个自然的工具，提出和解决调度问题。我们展示了如何有效的时间自动机的最短路径算法可以找到最佳的经典作业车间问题的时间表。然后，我们扩展这些结果合成自适应调度策略的任务持续时间的不确定性问题。
In this work, we present timed automata as a natural tool for posing and solving scheduling problems. We show how efficient shortest path algorithms for timed automata can find optimal schedules for the classical job-shop problem. We then extend these results to synthesize adaptive scheduling strategies for problems with uncertainty in task durations.