×
玛尔塔·恰尔迪亚·梅耶;安德烈亚·奥兰迪尼;亚历山德罗·乌姆布里科

具有灵活时间表的计划和执行：正式账户。 （英语） Zbl 1351.90092号

学报信息。 53，编号6-8，649-680（2016）.
摘要：具有明确时间约束的现实世界问题的规划是一个具有挑战性的问题。在几种方法中，在规划和调度中使用灵活的时间表已被证明在一些具体应用中取得了成功，例如自治空间系统。本文在前人工作的基础上，提出了一个修改和扩展的灵活时间表的形式描述，旨在为相关规划概念（如领域、目标、问题、约束和灵活计划）提供通用语义。在所提出的框架中也对一些不确定性来源进行了建模，并在有效计划的表征中考虑到这些不确定性来源，假设这些计划不会对规划者无法控制的组件做出决策。还提出了不同形式的计划可控性的形式化定义。

引用于7文件

MSC公司：

90B35型 运筹学中的确定性调度理论
PDF格式BibTeX公司 XML格式引用
\textit{M.Cialdea Mayer}等人，《学报》第53期，第6--8649--680号（2016年；Zbl 1351.90092）
全文： 内政部 链接

参考文献：

[1] Abdedaim，Y.，Asarin，E.，Gallien，M.，Ingrand，F.，Lesire，C.，Sighireanu，M.：规划稳健的时间计划：CBTP和TGA方法之间的比较。摘自：第17届国际自动规划与调度会议记录（ICAPS 2007），第2-10页（2007）
[2] Allen，J.F.：保持对时间间隔的了解。Commun公司。ACM 26（11），832-843（1983）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434
[3] Barrero，J.，Boyce，M.，Do，M.、Frank，J.、Iatauro，M.和Kichkaylo，T.、Morris，P.、Ong，J.和Remolina，E.、Smith，T.和Smith D：EUROPA：人工智能规划、调度、约束编程和优化的平台。参加：第四届国际规划与调度知识工程竞赛（ICKEPS 2012）（2012）
[4] Bensalem，S.、Havelund，K.、Orlandini，A.：验证和确认符合计划和进度。国际期刊软件。技术工具。转账16（1），1-12（2014）·doi:10.1007/s10009-013-0294-x
[5] Bernardini，S.：基于约束的时间规划：领域建模和搜索控制问题。特伦托大学博士论文（2008）
[6] Castillo，L.、Cortellessa，G.、Yorke-Smith，N.：日程安排和计划应用程序专刊：SPARK研讨会系列精选论文。计算。智力。27(1) (2011)
[7] Cesta，A.，Fratini，S.：作为规划和调度软件开发环境的时间线表示框架。收录：英国规划与日程安排特别兴趣小组第27次研讨会会议记录（PlanSIG-08）（2008年）·Zbl 1184.93053号
[8] 塞斯塔，A。；奥迪，A。；Ghallab，M.（编辑）；Milani，A.（ed.），DDL.1：物理域约束表示语言的形式化描述，341-352（1996），阿姆斯特丹
[9] Cesta，A.，Cortellessa，G.，Fratini，S.，Oddi，A.，Policella，N.：空间任务规划的创新产品：后验评估。摘自：第十七届国际自动规划和调度会议记录（ICAPS 2007），第57-64页（2007）
[10] Cesta，A.，Cortellessa，G.，Fratini，S.，Oddi，A.：从时间线表示框架开发端到端规划应用程序。摘自：《第21届人工智能创新应用会议论文集》（IAAI-09），第66-71页（2009）
[11] Cesta，A.，Finzi，A.、Fratini，S.、Orlandini，A.和Tronci，E.：分析基于时间线的灵活计划。摘自：《第19届欧洲人工智能会议论文集》（ECAI 2010），第471-476页（2010）·Zbl 1211.68247号
[12] Cesta，A.，Cortellessa，G.，Fratini，S.，Oddi，A.：MrSPOCK：开发端到端太空应用程序的步骤。计算。智力。27(1), 83-102 (2011) ·doi:10.1111/j.1467-8640.2010.00373.x
[13] Chien，S.、Tran，D.、Rabideau，G.、Schaffer，S.、Mandl，D.、Frye，S.：具有外部约束的基于时间轴的空间作战调度。载：《第20届国际自动化规划与调度会议论文集》（ICAPS 2010），第34-41页（2010）·Zbl 1074.68609号
[14] Chien，S.A.、Johnston，M.、Frank，J.、Giuliano，M.，Kavelaars，A.、Lenzen，C.、Policella，N.：自动化空间任务操作的通用时间线表示、服务和接口。收录：2012年（2012年）《空间操作学报》
[15] Cialdea Mayer，M.，Orlandini，A.：时间游戏自动机中灵活计划的可执行语义。摘自：第22届时间表征与推理国际研讨会论文集（时代周刊，2015），第160-169页（2015）
[16] Cialdea Mayer，M.，Orlandini，A.，Umbrico，A.：具有灵活时间表的规划的正式说明。摘自：《第21届时间表征与推理国际研讨会论文集》（TIME 2014），第37-46页（2014）·Zbl 1351.90092号
[17] Cimatti，A.，Micheli，A.，Roveri，M.：具有时间不确定性的时间线。摘自：第27届AAAI人工智能会议记录，第195-201页（2013年）
[18] Finzi，A.，Pirri，F.：在情境演算中表现灵活的时间行为。摘自：第19届国际人工智能联合会议记录（IJCAI-05），第436-441页（2005）
[19] 弗兰克·J：什么是时间表？摘自：第四届规划与调度知识工程研讨会论文集（KEPS 2013），第31-38页（2013）
[20] Frank，J.，Jónsson，A.：基于约束的属性和区间规划。约束8（4），339-364（2003）·Zbl 1074.68609号 ·doi:10.1023/A:1025842019552
[21] Fratini，S.、Pecora，F.、Cesta，A.：从基于组件的角度将计划和调度统一为时间表。架构（architecture）。控制科学。18(2), 231-271 (2008) ·Zbl 1184.93053号
[22] Hunsberger，L.：修正了动态可控性的语义，并为动态执行策略提供了更实际的特征。摘自：《第16届时间表征与推理国际研讨会论文集》（TIME 2009），第155-162页（2009）
[23] Hunsberger，L.：一种管理动态可控时态网络执行的快速增量算法。摘自：《第17届时间表征与推理国际研讨会论文集》（TIME 2010），第121-128页（2010）
[24] Jonsson，A.，Morris，P.，Muscettola，N.，Rajan，K.，Smith，B.：星际空间规划：理论与实践。摘自：《第五届人工智能规划系统国际会议论文集》（AIPS’00），第177-186页（2000）
[25] Laborie，P.，Ghallab，M.：IxTeT：计划生成和调度的综合方法。In:INRIA/IEEE新兴技术和工厂自动化研讨会论文集（ETFA'95），第485-495页（1995）
[26] Morris，P.：动态可控性和可调度性关系。In:《人工智能和操作规则技术在约束编程中的集成》，《第十一届国际会议论文集》，CPAIOR 2014，Springer，LNCS，第8451卷，第464-479页（2014）·Zbl 1407.68460号
[27] Morris，P.H.，Muscettola，N.，Vidal，T.：具有时间不确定性的计划的动态控制。载：《第17届国际人工智能联合会议论文集》（IJCAI 2001），第494-502页（2001）·Zbl 1184.93053号
[28] Muscettola，N。；Zweben，M.（编辑）；Fox，MS（编辑），HSTS:集成规划和调度，169-212（1994），伯灵顿
[29] Orlandini，A.、Finzi，A.，Cesta，A.和Fratini，S.：基于TGA的控制器，用于灵活的计划执行。收录于：KI 2011:《人工智能进展》，第34届德国人工智能年会论文集，斯普林格，LNCS，第7006卷，第233-245页（2011）·Zbl 1230.68177号
[30] Orlandini，A.、Suriano，M.、Cesta，A.和Finzi，A.：安全关键规划的控制器综合。摘自：IEEE第25届人工智能工具国际会议记录（ICTAI 2013），第306-313页（2013）
[31] Orlandini，A.、Bernardi，G.、Cesta，A.和Finzi，A.：规划满足知识工程环境中的验证和确认。智力。Artif公司。8(1), 87-100 (2014)
[32] Simpson，R.M.、Kitchin，D.E.、McCluskey，T.L.：使用GIPO规划域定义。知识。工程版本22（2），117-134（2007）·网址：10.1017/S0269888907001063
[33] Umbrico，A.，Orlandini，A.，Cialdea Mayer，M.：用资源和基于层次的启发式方法丰富时间规划师。收录于：AIxIA 2015《人工智能进展》，《意大利人工智能协会第十四届国际会议论文集》，斯普林格，LNCS，第9336卷，第410-423页（2015）·Zbl 1054.68664号
[34] Vaquero，T.S.、Silva，J.R.、Tonidandel，F.、Beck，J.C.：itSIMPLE：面向实际规划应用的集成设计系统。知识。工程版本28（2），215-230（2013）·网址：10.1017/S0269888912000434
[35] Vidal，T.，Fargier，H.：处理时间约束网络中的偶然事件：从一致性到可控性。J.实验理论。Artif公司。智力。11, 23-45 (1999) ·Zbl 1054.68664号 ·doi:10.1080/095281399146607
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。