×
亚斯米娜·阿卜杜达伊姆；尤金·亚萨林；奥德·马勒

时间自动机调度。 （英语） Zbl 1088.68023号

西奥。计算。科学。 354，第2期，272-300（2006）.
摘要：我们将时间自动机作为提出和解决调度问题的自然工具。我们展示了时间自动机的高效最短路径算法如何找到经典job-shop问题的最优调度。然后，我们将这些结果推广到针对任务持续时间不确定问题的自适应调度策略。

引用于22文件

MSC公司：

68平方米 计算机系统环境下的性能评估、排队和调度
65年第68季度 形式语言和自动机

关键词：

行程安排；验证和合成；定时自动机

软件：

Uppaal公司；克洛诺斯；IF-2.0型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Abdeddaím}等人，Theor。计算。科学。354，第2号，272--300（2006；Zbl 1088.68023）
全文： 内政部

参考文献：

[1] Y.Abdedda，《时间自动机的调度》，博士论文，INPG，格勒诺布尔，2002年。；Y.Abdedda？？m，《时间自动机调度》，博士论文，INPG，格勒诺布尔，2002年。
[2] Y.Abdedda¨m，E.Asarin，O.Maler，《不确定性下的最优调度》，摘自：Proc。TACAS'03，计算机科学讲义，第2619卷，施普林格，柏林，2003年，第240-255页。；Y.Abdedda¨m，E.Asarin，O.Maler，《不确定性下的最优调度》，摘自：Proc。TACAS'03，计算机科学讲义，第2619卷，施普林格，柏林，2003年，第240-255页·Zbl 1031.68030号
[3] Y.Abdedda¨m，A.Kerbaa，O.Maler，《使用时间自动机的任务图调度》，摘自：Proc。2003年3月FMPPTA。；Y.Abdedda¨m，A.Kerbaa，O.Maler，《使用时间自动机的任务图调度》，摘自：Proc。FMPPTA’03，2003年。
[4] Y.Abdedda¨m，O.Maler，《使用时间自动机的作业车间调度》，in：Proc。CAV’01，《计算机科学讲义》，第2102卷，施普林格，柏林，2001年，第478-492页。；Y.Abdedda¨m，O.Maler，《使用时间自动机的作业车间调度》，in：Proc。CAV’01，《计算机科学讲义》，第2102卷，施普林格，柏林，2001年，第478-492页·Zbl 0991.68507号
[5] Y.Abdeda-¨m，O.Maler，《使用秒表自动机的抢先式作业车间调度》，摘自：Proc。TACAS'02，《计算机科学讲义》，第2280卷，施普林格，柏林，2002年，第113-126页。；Y.Abdeda-¨m，O.Maler，《使用秒表自动机的抢先式作业车间调度》，摘自：Proc。TACAS'02，《计算机科学讲义》，第2280卷，施普林格，柏林，2002年，第113-126页·Zbl 1043.68510号
[6] K.Altisen、G.Goessler、A.Pnueli、J.Sifakis、S.Tripakis和S.Yovine，调度器综合框架，见：Proc。RTSS'99，IEEE，纽约，1999年，第154-163页。；K.Altisen、G.Goessler、A.Pnueli、J.Sifakis、S.Tripakis和S.Yovine，调度器综合框架，见：Proc。RTSS’99，IEEE，纽约，1999年，第154-163页。
[7] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Dill，D.L.，密集实时模型检查，Inform。和计算。，104, 2-34 (1993) ·Zbl 0783.68076号
[8] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Henzinger，T.A.，实时系统中的计算累积延迟，形式化方法系统设计，11，137-155（1997）
[9] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，Theoret。计算。科学。，126, 183-235 (1994) ·Zbl 0803.68071号
[10] R.Alur，S.La Torre，G.J.Pappas，加权时间自动机中的最优路径，in：Proc。HSCC’01，《计算机科学讲义》，第2034卷，施普林格，柏林，2001年，第49-64页。；R.Alur，S.La Torre，G.J.Pappas，加权时间自动机中的最优路径，in：Proc。HSCC’01，《计算机科学讲义》，第2034卷，施普林格，柏林，2001年，第49-64页·Zbl 0991.93076号
[11] E.Asarin，O.Maler，《尽快：时间自动机的时间最优控制》，in：Proc。HSCC’99，《计算机科学讲义》，第1569卷，施普林格，柏林，1999年，第19-30页。；E.Asarin，O.Maler，《尽快：时间自动机的时间最优控制》，in：Proc。HSCC’99，《计算机科学讲义》，第1569卷，施普林格，柏林，1999年，第19-30页·Zbl 0952.93064号
[12] E.Asarin，O.Maler，A.Pnueli，离散和定时系统的符号控制器综合，混合系统II，计算机科学讲义，第999卷，Springer，柏林，1995年，第1-20页。；E.Asarin，O.Maler，A.Pnueli，离散和定时系统的符号控制器合成，混合系统II，计算机科学讲义，第999卷，施普林格，柏林，1995年，第1-20页。
[13] E.Asarin，O.Maler，A.Pnueli，J.Sifakis，《时间自动机的控制器合成》，摘自：Proc。IFAC交响乐团。《系统结构与控制》，阿姆斯特丹爱思唯尔出版社，1998年，第469-474页。；E.Asarin，O.Maler，A.Pnueli，J.Sifakis，《时间自动机的控制器合成》，摘自：Proc。IFAC交响乐团。《系统结构与控制》，阿姆斯特丹爱思唯尔出版社，1998年，第469-474页。
[14] G.Behrmann，A.Fehnker T.S.Hune，K.G.Larsen，P.Pettersson，J.Romijn，《UPPAAL成本优化的有效指导》，摘自：Proc。TACAS'01，《计算机科学讲义》，第2031卷，施普林格，柏林，2001年，第174-188页。；G.Behrmann，A.Fehnker T.S.Hune，K.G.Larsen，P.Pettersson，J.Romijn，《UPPAAL成本优化的有效指导》，摘自：Proc。TACAS'01，《计算机科学讲义》，第2031卷，施普林格，柏林，2001年，第174-188页·Zbl 0978.68541号
[15] G.Behrmann，A.Fehnker T.S.Hune，K.G.Larsen，P.Pettersson，J.Romijn，F.W.Vaandrager，线性定价时间自动机的最小成本可达性，in：Proc。HSCC’01，《计算机科学讲义》，第2034卷，施普林格，柏林，2001年，第147-161页。；G.Behrmann，A.Fehnker T.S.Hune，K.G.Larsen，P.Pettersson，J.Romijn，F.W.Vaandrager，线性定价时间自动机的最小成本可达性，in：Proc。HSCC’01，《计算机科学讲义》，第2034卷，施普林格，柏林，2001年，第147-161页·Zbl 0991.68037号
[16] 伯托米厄，B。；Diaz，M.，使用时间petri网对时间相关系统进行建模和验证，IEEE Trans。软件工程，17，259-273（1991）
[17] R.Boel，G.Stremersch，VHS案例研究5：SIDMAR钢铁厂调度的建模和验证，草案，1999年。；R.Boel，G.Stremersch，VHS案例研究5：SIDMAR钢铁厂调度的建模和验证，草案，1999年。
[18] Boutiler，C。；迪恩，T。；Hanks，S.，《决策理论规划：结构假设和计算杠杆》，J.Artif。智力。决议，11，1-94（1999）·兹伯利0918.68110
[19] M.Bozga、C.Daws、O.Maler、A.Olivero、S.Tripakis、S.Yovine、Kronos：实时系统的模型检查工具，见：Proc。CAV’98，《计算机科学讲义》，第1427卷，施普林格，柏林，1998年。；M.Bozga、C.Daws、O.Maler、A.Olivero、S.Tripakis、S.Yovine、Kronos：实时系统的模型检查工具，见：Proc。CAV’98，《计算机科学讲义》，第1427卷，施普林格，柏林，1998年。
[20] M.Bozga，S.Graf，L.Mounier，IF-2.0：基于组件的实时系统验证环境，见：Proc。CAV’02，计算机科学讲稿，第2404卷，施普林格，柏林，2002年。；M.Bozga，S.Graf，L.Mounier，IF-2.0：基于组件的实时系统验证环境，见：Proc。CAV’02，《计算机科学讲义》，第2404卷，施普林格，柏林，2002年·Zbl 1010.68751号
[21] S.Campos，E.Clarke，W.Marrero，M.Minea，H.Hiraishi，有限状态实时系统的计算定量特征，收录于：Proc。RTSS’94，IEEE，纽约，1994年。；S.Campos，E.Clarke，W.Marrero，M.Minea，H.Hiraishi，有限状态实时系统的计算定量特征，收录于：Proc。RTSS’94，IEEE，纽约，1994年。
[22] W.Y.Chiang，M.S.Fox，《确定性计划中的不确定性保护》，摘自：Proc。第四国际。Conf.《生产和运营管理中的专家系统和领先优势》，1990年，第184-197页。；W.Y.Chiang，M.S.Fox，《确定性计划中的不确定性保护》，摘自：Proc。第四国际。Conf.《生产和运营管理中的专家系统和前沿》，1990年，第184-197页。
[23] C.Courcoubetis，M.Yannakakis，实时系统中的最小和最大延迟问题，摘自：Proc。CAV’91，《计算机科学讲义》，第575卷，施普林格，柏林，1991年，第399-409页。；C.Courcoubetis，M.Yannakakis，实时系统中的最小和最大延迟问题，摘自：Proc。CAV’91，《计算机科学讲义》，第575卷，施普林格，柏林，1991年，第399-409页·Zbl 0777.68045号
[24] A.J.Davenport，J.Ch.Beck，《管理日程安排中的不确定性：一项调查》，2000年，预印本。；A.J.Davenport，J.Ch.Beck，《管理日程安排中的不确定性：调查》，2000年，预印本。
[25] C.Daws，S.Yovine，减少时间自动机的时钟变量数量，in：Proc。RTSS’96，IEEE，纽约，1996年，第73-81页。；C.Daws，S.Yovine，减少时间自动机的时钟变量数量，in：Proc。RTSS’96，IEEE，纽约，1996年，第73-81页。
[26] M.Drummond、J.Bresina、K.Swanson，《案例调度》，摘自：Proc。AAAI-941994年。；M.Drummond，J.Bresina，K.Swanson，《以防万一》，载于：Proc。AAAI-941994年。
[27] A.Fehnker，《用时间自动机调度钢铁厂》，摘自：Proc。RTCSA’99，1999。；A.Fehnker，用时间自动机调度钢铁厂，在：Proc。RTCSA’99，1999年。
[28] E.Fersman，P.Pettersson，W.Yi，《异步进程的时间自动机：可调度性和可判定性》，摘自：Proc。TACAS'02，计算机科学讲义，第2280卷，施普林格，柏林，2002年，第67-82页。；E.Fersman，P.Pettersson，W.Yi，《异步进程的时间自动机：可调度性和可判定性》，摘自：Proc。TACAS'02，《计算机科学讲义》，第2280卷，施普林格，柏林，2002年，第67-82页·Zbl 1043.68589号
[29] 费希尔，H。；Thompson，G.L.，本地车间调度规则的概率学习组合，（Muth，J.F.；Thompsson，G.L，《工业调度》（1963），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州），225-251
[30] H.Gao，使用时间保护构建稳健时间表，多伦多大学工业工程系硕士论文，1995年。；H.Gao，使用时间保护构建稳健时间表，多伦多大学工业工程系硕士论文，1995年。
[31] S.Ghosh，《通过实时系统中的调度保证容错》，匹兹堡大学博士论文，1996年。；S.Ghosh，《通过实时系统中的调度保证容错》，匹兹堡大学博士论文，1996年。
[32] S.Ghosh，R.Melhem，D.Mosse，《增强实时调度以容忍瞬态故障》，摘自：Proc。RTSS’95，1995年，第120-129页。；S.Ghosh，R.Melhem，D.Mosse，《增强实时调度以容忍瞬态故障》，摘自：Proc。RTSS’95，1995年，第120-129页。
[33] Henzinger，T.A。；尼克林，X。；西法基斯，J。；Yovine，S.，实时系统的符号模型检查，Inform。和计算。，111, 193-244 (1994) ·Zbl 0806.68080号
[34] D.W.Hildum，解决动态资源受限调度问题的基于知识系统的灵活性，马萨诸塞大学计算机科学系博士论文，1994年。；D.W.Hildum，《基于知识的系统中解决动态资源受限调度问题的灵活性》，马萨诸塞大学计算机科学系博士论文，1994年。
[35] Jain，A.S。；Meeran，S.，《确定性车间调度：过去、现在和未来》，《欧洲期刊》。决议，113，390-434（1999）·Zbl 0938.90028号
[36] K.G.Larsen，P.Pettersson，W.Yi，UPPAAL，技术转让软件工具1/2，1997年。；K.G.Larsen，P.Pettersson，W.Yi，UPPAAL简而言之，技术转让软件工具1/2，1997年·Zbl 1060.68577号
[37] 列昂·V·J。；Wu，S.D。；Storer，R.H.，《车间鲁棒性度量和鲁棒调度》，IIE Trans。，26, 32-43 (1994)
[38] O.Maler，《关于任务调度问题》，草案，1999年2月。；O.Maler，《任务调度问题》，草案，1999年2月。
[39] O.Maler，《关于存在对手时的最优和次优控制》，摘自：Proc。WODES’04，2004年，第1-12页。；O.Maler，关于对手存在时的最优和次最优控制，在：Proc。WODES’042004，第1-12页。
[40] O.Maler，A.Pnueli，J.Sifakis，《关于定时系统离散控制器的综合》，摘自：Proc。STACS’95，《计算机科学讲义》，第900卷，施普林格，柏林，1995年，第229-242页。；O.Maler，A.Pnueli，J.Sifakis，关于定时系统离散控制器的合成，在：Proc。STACS’95，《计算机科学讲义》，第900卷，施普林格，柏林，1995年，第229-242页·Zbl 1379.68227号
[41] McKay，K.N。；萨法耶尼，F.R。；Buzacott，J.A.，Job-shop调度理论：什么是相关的？，接口，18，84-90（1998）
[42] P.Niebert，S.Tripakis，S.Yovine，时间自动机的最小时间可达性，IEEE地中海控制会议，2000年。；P.Niebert，S.Tripakis，S.Yovine，时间自动机的最小时间可达性，IEEE地中海控制会议，2000年。
[43] 尼伯特，P。；Yovine，S.，《计算多批次模式下化工厂的最佳操作方案》，《欧洲控制杂志》，第7440-453页（2001年）·Zbl 1293.93526号
[44] J.Sifakis，S.Yovine，《定时系统的组成规范》，摘自：Proc。STACS’96，《计算机科学讲义》，第1046卷，施普林格，柏林，1996年，第347-359页。；J.Sifakis，S.Yovine，《定时系统的组成规范》，摘自：Proc。STACS’96，《计算机科学讲义》，第1046卷，施普林格，柏林，1996年，第347-359页·Zbl 1379.68240号
[45] H.Wong-Toi，G.Hoffmann，稠密实时离散事件系统的控制，技术报告STAN-CS-92-1411，斯坦福大学，1992年。；H.Wong-Toi，G.Hoffmann，稠密实时离散事件系统的控制，技术报告STAN-CS-92-1411，斯坦福大学，1992年。
[46] Yovine，S.，Kronos：实时系统的验证工具，国际。J.技术转让软件工具，1（1997）·Zbl 1060.68606号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。