亚历山德罗·西马蒂;卢克·亨斯伯格;安德烈亚·米凯利;罗伯托·波塞纳托;马可·罗维里 通过定时游戏自动机实现动态可控性。 （英语） Zbl 1350.68251号 学报信息。 53，第6-8号，681-722（2016）. 摘要：时态网络是用于表示和推理活动的时态约束的数据结构。文献中定义了许多种时间网络，它们的表现力不同。最简单的网络类型都有多项式算法来确定其时间一致性或不同的可控性水平，但迄今为止，还没有针对更具表现力的网络（例如，那些包含观测节点或析取约束的网络）的相应算法。本文介绍了一种新的方法来确定一类非常有表现力的时态网络的动态可控性，该类时态网络具有观测节点和析取约束。该方法基于将动态可控性问题编码为时间博弈自动机（TGA）的可达性博弈。这是确定此类网络的动态可控性的第一个健全和完整的方法。编码还强调了各种类型的时间网络和TGA。这些新算法在正在开发的工作流模型的设计和分析中有直接的应用，以自动化业务流程，包括医疗领域的工作流。 引用于8文件 MSC公司： 68T42型 Agent技术与人工智能 68第05页 数据结构 65年第68季度 形式语言和自动机 关键词：动态可控性;时态网络;时间博弈自动机 软件：UPPAAL TIGA公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《学报》第53期，第6--8、681--722号（2016年；Zbl 1350.68251） 全文： 内政部 链接 参考文献： [1] Abdedaim，Y.，Asarin，E.，Sighireanu，M.：简单计时游戏的简单算法。收录于：《时代》杂志，第99-106页（2009年）·Zbl 1074.68616号 [2] Allen，J.F.：保持对时间间隔的了解。Commun公司。ACM 26（11），832-843（1983）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434 [3] Alur，R.，Dill，D.L.：时间自动机理论。西奥。计算。科学。126(2), 183-235 (1994) ·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8 [4] Augusto，J.C.：医学决策支持的时间推理。Artif公司。智力。医学33（1），1-24（2005）·doi:10.1016/j.artmed.2004.07.006 [5] 贝尔曼，G。；Cougnard，A。；大卫·A。；弗勒里，E。；Larsen，K。；石灰，D。；Damm，W.（编辑）；Hermanns，H.（编辑），《Uppaal-Tiga：游戏时间到了！》！，第4590号，121-125（2007），柏林·doi:10.1007/978-3-540-73368-3_14 [6] Cassez，F.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D.：用于分析计时游戏的高效实时算法。收录于：CONCUR，第66-80页（2005年）·Zbl 1134.68382号 [7] Cesta，A.、Fratini，S.、Orlandini，A.和Finzi，A.：灵活的计划验证：可行性结果。芬丹。通知。107(2-3), 111-137 (2011) ·Zbl 1230.68177号 [8] Cheikhrouhou，S.、Kallel，S.，Guermouche，N.、Jmaiel，M.：走向BPMN 2.0中以时间为中心的业务流程建模。摘自：信息集成与基于Web的应用程序和服务国际会议，第154-163页。ACM（2013）·Zbl 0519.68079号 [9] Cimatti，A.、Hunsberger，L.、Micheli，A.、Posenato，R.、Roveri，M.：用于检查具有不确定性、分离和观测的时间网络的动态可控性的完善算法。摘自：Cesta，A.，Combi，C.，Laroussinie，F.（eds.）第21届时间表征和推理国际研讨会，《时代》2014，意大利维罗纳，2014年9月8日至10日，第27-36页。IEEE计算机学会（2014）。doi:10.1109/TIME.2014.21·Zbl 0803.68071号 [10] Cimatti，A.，Hunsberger，L.，Micheli，A.，Roveri，M.：使用时间博弈自动机来综合具有不确定性的简单时间网络的执行策略。摘自：2014年7月27日至31日在加拿大魁北克省魁北克市举行的第二十届AAAI人工智能会议记录，第2242-2249页（2014） [11] Cimatti，A.，Micheli，A.，Roveri，M.：使用SMT解决时间问题：弱可控性。收录于：AAAI，第448-454页（2012年）·Zbl 1314.90043号 [12] Cimatti，A.，Micheli，A.，Roveri，M.：使用SMT解决具有不确定性的时间问题的强可控性。约束20（1），1-29（2015）·Zbl 1314.90043号 ·doi:10.1007/s10601-014-9167-5 [13] Combi，C.，Gambini，M.，Migliorini，S.，Posenato，R.：通过以时间为中心的工作流建模语言表示业务流程：临床路径管理的应用程序。IEEE传输。系统。人类网络。系统。44(9), 1182-1203 (2014). doi:10.10109/TSMC2014.2300055·doi:10.10109/TSMC2014.2300055 [14] Combi，C.，Gozzi，M.，Posenato，R.，Pozzi，G.：灵活时间工作流的概念建模。ACM事务处理。Autono公司。适应。系统。（TAAS）7（2），19（2012）。doi:10.1145/2240166.2240169·doi:10.1145/2240166.2240169 [15] Combi，C.，Hunsberger，L.，Posenato，R.：检查具有不确定性的条件简单时间网络的动态可控性的算法。载于：Filipe，J.，Fred，A.L.（编辑）ICAART 2013-第五届代理和人工智能国际会议的进展，第2卷，西班牙巴塞罗那，2013年2月15-18日，第144-156页。科学技术出版社（2013） [16] Combi，C.，Posenato，R.：时间概念工作流模式中的可控性。收录人：Dayal，U.、Eder，J.、Koehler，J、Reijers，H.A.（编辑）《业务流程管理》，第七届国际会议，BPM 2009，德国乌尔姆，2009年9月8日至10日。《计算机科学论文集》，第5701卷，第64-79页。施普林格（2009）。doi:10.1007/978-3-642-03848-86·Zbl 0737.68070号 [17] Combi，C.，Pozzi，G.：临时工作流管理系统的架构。摘自：2004年ACM应用计算研讨会论文集（SAC-2004），第659-666页。ACM，纽约（2004）·Zbl 0737.68070号 [18] Comin，C.，Posenato，R.，Rizzi，R.：简单时间网络及其与平均支付博弈的关系的一个易处理的推广。摘自：Cesta，A.，Combi，C.，Laroussinie，F.（eds.）第21届时间表征和推理国际研讨会，《时代》2014，意大利维罗纳，2014年9月8日至10日，第7-16页。IEEE计算机学会（2014）。doi:10.1109/TIME.2014.19·Zbl 1390.90102号 [19] Dechter，R.、Meiri，I.、Pearl，J.：时间约束网络。Artif公司。智力。49, 61-95 (1991) ·Zbl 0737.68070号 ·doi:10.1016/0004-3702（91）90006-6 [20] Eder，J。；Panagos，E。；拉比诺维奇，M。；Jarke，M.（编辑）；Oberweis，A.（编辑），《工作流系统中的时间约束》，第1626286-300号（1999），柏林·doi:10.1007/3-540-48738-7_22 [21] Hollingsworth，D.：工作流参考模型。http://www.wfmc.org/standards/model.htm (1995) ·Zbl 1314.90043号 [22] Hunsberger，L.：修正了动态可控性的语义，并为动态执行策略提供了更实际的特征。参见：Lutz，C.，Raskin，J.（编辑）《时代》2009，第16届时间表征和推理国际研讨会，布列萨诺内-布里森，意大利，2009年7月23日至25日，会议记录，第155-162页。IEEE计算机学会（2009）。doi:10.1109/TIME.2009.25 [23] Hunsberger，L.：一种管理动态可控时态网络执行的快速增量算法。摘自：Markey，N.，Wijsen，J.（编辑）《时代》2010-17第二届时间表征与推理国际研讨会，法国巴黎，2010年9月6-8日，第121-128页。IEEE计算机学会（2010）。doi:10.1109/TIME.2010.16·兹比尔1314.90043 [24] Hunsberger，L.：一种用于动态可控stnus的更快执行算法。In：Sánchez，C.，Venable，K.B.，Zimányi，E.（编辑）2013第20届时间表征与推理国际研讨会，美国佛罗里达州彭萨科拉，2013年9月26日至28日，第26-33页。IEEE计算机学会（2013）。doi:10.1109/TIME.2013.13 [25] Hunsberger，L.：一种快速算法，用于检查具有不确定性的简单时间网络的动态可控性。收录于：Duval，B.，van den Herik，H.J.，Loiseau，S.，Filipe，J.（编辑）ICAART 2014-第六届代理和人工智能国际会议论文集，第1卷，ESEO，Angers，Loire Valley，France，2014年3月6-8日，第63-73页。科学技术出版社（2014）。doi:10.5220/0004758100630073 [26] Hunsberger，L.，Posenato，R.，Combi，C.：具有不确定性的条件STN的动态可控性。摘自：ICAPS-2012《现实世界系统的规划和计划执行：原则和实践（PlanEx）研讨会论文集》，第1-8页（2012年）。arXiv:1212.2005·Zbl 1182.68266号 [27] Kleene，S.：数学逻辑。霍博肯·威利（1967）·Zbl 0149.24309号 [28] Lanz，A.、Posenato，R.、Combi，C.、Reichert，M.：运行时时间感知进程的可控性。摘自：Meersman，R.、Panetto，H.、Dillon，T.S.、Eder，J.、Bellahsene，Z.、Ritter，N.、Leenher，P.D.、Dou，D.（编辑）《迈向有意义的互联网系统：2013年OTM会议——联合国际会议：CoopIS、DOA-Trusted Cloud和ODBASE 2013》，2013年9月9日至13日，奥地利格拉茨。《计算机科学论文集》，第8185卷，第39-56页。施普林格（2013）。doi:10.1007/978-3-642-41030-74 [29] Lanz，A.、Posenato，R.、Combi，C.、Reichert，M.：具有部分可收缩不确定性的简单时间网络。收录于：Loiseau，S.、Filipe，J.、Duval，B.、van den Herik，H.J.（编辑）ICAART 2015-代理与人工智能国际会议进展，第2卷，葡萄牙里斯本，2015年1月10日至12日，第370-381页。科学技术出版社（2015）·Zbl 1054.68664号 [30] Lanz，A.、Weber，B.、Reichert，M.：过程软件信息系统的工作流时间模式。收录于：Mylopoulos，J.、Sadeh，N.M.、Shaw，M.J.、Szyperski，C.、Bider，I.、Halpin，T.、Krogstie，J.，Nurcan，S.、Proper，E.、Schmidt，R.、Ukor，R.（编辑）Enterprise，Business-Process and Information Systems Modeling 11th International Workshop，BPMDS 2010和第15届国际会议，EMMSAD 2010，第94-107页。柏林施普林格出版社（2010年）·Zbl 1314.90043号 [31] Lewis，H.R.，Papadimitriou，C.H.：《计算理论基础》，第2版。Prentice-Hall Inc，Upper Saddle River（1998年） [32] Maler，O.，Pnueli，A.，Sifakis，J.：关于定时系统离散控制器的综合。收录于：STACS，第229-242页（1995年）·兹比尔1379.68227 [33] Morris，P.：时间动态可控性的结构表征。摘自：约束编程原理与实践（CP-2006），《计算机科学讲义》，第4204卷，第375-389页。斯普林格（2006）·Zbl 1054.68664号 [34] Morris，P.：动态可控性和可调度性关系。摘自：Simonis，H.（ed.）《人工智能和操作规则技术在约束编程中的集成》，第11届国际会议（CPAIOR-2014），《计算机科学讲义》，第8451卷，第464-479页。斯普林格（2014）·兹比尔1407.68460 [35] Morris，P.，Mussettola，N.，Vidal，T.：具有时间不确定性的计划的动态控制。载：Nebel，B.（编辑）《第17届国际人工智能联合会议论文集》（IJCAI-2001），第494-499页。Morgan Kaufmann（2001） [36] Morris，P.H.，Muscettola，N.：重温时间动态可控性。收录于：AAAI，第1193-1198页（2005年） [37] Orlandini，A.、Finzi，A.，Cesta，A.和Fratini，S.：基于TGA的控制器，用于灵活的计划执行。收录于：KI，LNAI第7006号，第233-245页。施普林格（2011）·Zbl 1230.68177号 [38] Peintner，B.，Venable，K.B.，Yorke-Smith，N.：具有不确定性的析取时间问题的强可控性。In:约束编程的原理与实践（CP-2007），第856-863页（2007）·Zbl 1145.68528号 [39] Rossi，F.，Venable，K.B.，Yorke-Smith，N.：软时间约束问题中的不确定性：模糊情况的一般框架和可控性算法。J.人工制品。智力。第27号决议，617-674（2006年）·Zbl 1182.68266号 [40] Tsamardinos，I.，Pollack，M.E.：析取时态推理问题的有效解决技术。Artif公司。智力。151, 43-89 (2003) ·Zbl 1082.68825号 ·doi:10.1016/S0004-3702（03）00113-9 [41] Tsamardinos，I.、Vidal，T.、Pollack，M.：CTP：一种新的基于约束的形式主义，用于有条件的时间规划。约束8（4），365-388（2003）·Zbl 1074.68616号 ·doi:10.1023/A:1025894003623 [42] Venable，K.B.，Volpato，M.，Peintner，B.，Yorke-Smith，N.：具有析取和不确定性的时间问题的弱动态可控性。摘自：ICAPS-2010《规划与调度问题约束满足技术研讨会论文集》（COPLAS-2010），第50-59页（2010） [43] Venable，K.B.，Yorke-Smith，N.：具有不确定性的析取时间规划。摘自：《第19届国际人工智能联合会议论文集》（IJCAI-2005），第1721-1722页（2005）·Zbl 1074.68616号 [44] Vidal，T.：关联时间约束网络中的可控性表征和检查。收录于：KR，第559-570页（2000年） [45] Vidal，T.，Fargier，H.：时间CSPS中的偶然持续时间：从一致性到可控性。摘自：第四届时间表征与推理国际研讨会论文集（TIME-1997）（1997） [46] Vidal，T.，Fargier，H.：处理时间约束网络中的偶然事件：从一致性到可控性。J.实验理论。Artif公司。智力。11(1), 23-45 (1999) ·Zbl 1054.68664号 ·doi:10.1080/095281399146607 [47] Vidal，T.，Ghallab，M.：规划中的时间约束：自由还是非自由？摘自：FLAIRS-1995（1995）《基于约束推理国际研讨会论文集》 [48] Vidal，T.，Ghallab，M.：处理专门用于规划的时间约束网络中的不确定持续时间。摘自：Wahlster，W.（编辑）《第十二届欧洲人工智能会议论文集》（ECAI-1996），第48-54页。奇切斯特·威利（1996）·Zbl 1230.68177号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。