文件大小：0.62 MB 17页
具有不确定性和决策的条件简单时态网络
作者
-
部分： 体积： 第24届时间表征与推理国际研讨会（TIME 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 时间表示与推理国际研讨会（TIME） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2017-09-25
文件
文件标识符
引用为 获取BibTex
摘要
关键词
cstnud公司 动态可控性 时间博弈自动机 控制器综合 不确定性条件下的先进时间规划
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Rajeev Alur和David L.Dill。 时间自动机理论。 理论计算机科学，126（2）：183-2351994。 网址： http://dx.doi.org/10.1016/0304-3975 (94)90010-8 . -
Gerd Behrmann、Agnès Cougnard、Alexandre David、Emmanuel Fleury、Kim G.Larsen和Didier Lime。 Uppaal-tiga：游戏时间到了！ 2007年CAV。 施普林格-柏林-海德堡，2007年。 网址： http://dx.doi.org/10.1007/978-3-540-73368-3_14 . -
Massimo Cairo、Carlo Combi、Carlo Commin、Luke Hunsberger、Roberto Posenato、Romeo Rizzi和Matteo Zavateri。将决策节点纳入条件简单时间网络。 S.Schewe、T.Schneider和J.Wijsen主编，《第24届时间表征与推理国际研讨会》（TIME 2017），LIPIcs第91卷，第9:1-9:17页。 Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2017年。 网址： http://dx.doi.org/10.4230/LIPIcs.TIME.2017.9 . -
亚历山德罗·西马蒂（Alessandro Cimatti）、卢克·亨斯伯格（Luke Hunsberger）、安德烈亚·米凯利（Andrea Micheli）、罗伯托·波塞纳托（Roberto Posenato）和马可·罗维里（Marco Roveri）。用于检查具有不确定性、分离性和观察性的时间网络的动态可控性的完善算法。 在2014年第21届时间表征与推理国际研讨会上，第27-36页。 网址： http://dx.doi.org/10.109/TIME.2014.21 . -
亚历山德罗·西马蒂（Alessandro Cimatti）、卢克·亨斯伯格（Luke Hunsberger）、安德烈亚·米切利（Andrea Micheli）、罗伯托·波塞纳托（Roberto Posenato）和马可·罗维里（Marco Roveri）。通过定时游戏自动机实现动态可控性。 《信息学报》，53（6-8）：681-7222016年。 网址： http://dx.doi.org/10.1007/s00236-016-0257-2 . -
亚历山德罗·西马蒂（Alessandro Cimatti）、卢克·亨斯伯格（Luke Hunsberger）、安德烈亚·米凯利（Andrea Micheli）和马可·罗维里（Marco Roveri）。使用时间博弈自动机综合具有不确定性的简单时态网络的执行策略。 2014年7月27日至31日，加拿大魁北克省魁北克市，第二十八届AAAI人工智能会议记录。， 第2242-2249页，2014年。 网址： http://www.aaai.org/ocs/index.php/aaai/AAAI14/paper/view/8512 . -
卡洛·库比（Carlo Combi）、卢克·亨斯伯格（Luke Hunsberger）和罗伯托·波塞纳托（Roberto Posenato）。 一种检查具有不确定性的条件简单时间网络的动态可控性的算法。 《第五届国际智能体与人工智能大会论文集》第2卷：ICAART，第144-156页。 INSTICC，科学出版社，2013年。 网址： http://dx.doi.org/10.5220/0004256101440156 . -
Carlo Combi、Roberto Posenato、Luca Viganå和Matteo Zavatteri。访问控制的时间网络。 第九届代理与人工智能国际会议论文集第2卷：ICAART，第118-131页。 INSTICC，科学出版社，2017。 网址： http://dx.doi.org/10.5220/0006185701180131 . -
帕特里克·康拉德（Patrick R.Conrad）和布莱恩·威廉姆斯（Brian C.Williams）。 德雷克：有选择的时间计划的高效执行者。 J.阿蒂夫。 国际研究，42（1）：607-6592011年9月。 
-
Rina Dechter、Itay Meiri和Judea Pearl。 时间约束网络。 人工智能，49（1-3）：61-951991。 网址： http://dx.doi.org/10.1016/0004-3702 (91)90006-6 . -
约翰·埃德尔（Johann Eder）、尤西米奥斯·帕纳戈斯（Euthimios Panagos）、亨茨·波泽瓦尼（Heinz Pozewaunig）和迈克尔·拉宾诺维奇（Michael Rabinovich）。 工作流系统中的时间管理，第265-280页。 施普林格伦敦，1999年。 网址： http://dx.doi.org/10.1007/978-1-4471-0875-7_22 . -
约翰·霍普克罗夫特（John E.Hopcroft）和杰弗里·乌尔曼（Jeffrey D.Ullman）。 自动机理论、语言和计算导论。 Addison-Wesley，1979年。
-
Luke Hunsberger、Roberto Posenato和Carlo Combi。具有不确定性的条件STN的动态可控性。 2012年6月，在阿提巴亚举行的ICAPS-2012“现实世界系统规划和计划执行研讨会”（PlanEx）上，第1-8页。 网址： http://arxiv.org/abs/121.2005 . -
Luke Hunsberger、Roberto Posenato和Carlo Combi。一种基于声音和完整传播的算法，用于检查条件简单时态网络的动态一致性。 第22届时间表征与推理国际研讨会（时代周刊，2015），第4-18页。 网址： http://dx.doi.org/10.109/TIME.2015.26 . -
奥德·马勒（Oded Maler）、阿米尔·普努利（Amir Pnueli）和约瑟夫·西法基斯（Joseph Sifakis）。 关于定时系统离散控制器的综合。 1995年3月2日至4日，德国慕尼黑，STACS’95：第12届计算机科学理论方面年度研讨会，Ernst W.Mayr和Claude Puech编辑，《会议记录》，第229-242页，柏林，海德堡，1995年。 斯普林格。 网址： http://dx.doi.org/10.1007/3-540-59042-0_76 . -
保罗·莫里斯：重新审视了可调度性的数学。 《第二十六届国际自动规划和调度会议论文集》，ICAPS’16，第244-252页。 AAAI出版社，2016年。
-
保罗·莫里斯和尼古拉·马斯特托拉。 重新审视时间动态可控性。 《第二十届全国人工智能会议和第十七届人工智能创新应用会议论文集》，第1193-1198页。 AAAI修订版，2005年。
-
保罗·莫里斯（Paul H.Morris）、尼古拉·穆塞托拉（Nicola Muscettola）和蒂埃里·维达尔（Thierry Vidal）。 具有时间不确定性的计划的动态控制。 《第17届国际人工智能联合会议论文集》（IJCAI-01），第494-502页，2001年。
-
安德烈亚·奥兰迪尼、阿尔贝托·芬奇、阿梅迪奥·塞斯塔和西蒙·弗拉蒂尼。 用于灵活计划执行的基于TGA的控制器。 Joscha Bach和Stefan Edelkamp主编，《KI 2011：人工智能的进展：第34届德国人工智能年会》，2011年10月4日至7日，德国柏林。 会议记录，第233-245页。 施普林格-柏林-海德堡，2011年。 网址： http://dx.doi.org/10.1007/978-3642-24455-122 . -
Ioannis Tsamardinos、Thierry Vidal和Martha E.Pollack。 CTP：一种新的基于约束的形式主义，用于有条件的时间规划。 约束，8（4）：365-3882003。 网址： http://dx.doi.org/10.1023/A:1025894003623 .