×
金·古德斯特兰·拉森;马吕斯·米库奇奥尼斯;雅各布·哈哈尔·塔安克维斯特

安全且最佳的自适应巡航控制。 （英语） 兹比尔1444.68183

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 260-277 (2015).
总结：在一系列贡献中，Olderog等人制定并验证了多车道道路上许多车道操纵的安全控制器。他们的工作特点是非常清晰和优雅，部分原因是引入了一种特殊用途的多车道空间逻辑。在本文中，我们想说明当前的模型检查技术在自动综合最优但安全（无碰撞）控制器方面的潜力。我们在自适应巡航控制问题上展示了这一潜力，这是Olderog考虑的整体安全问题的一小部分。
关于整个系列，请参见[Zbl 1320.68024号].

引用于三文件

MSC公司：

68T27型 人工智能中的逻辑
60年第68季度 规范和验证（程序逻辑、模型检查等）
90B20型 运筹学中的交通问题
93C85号 控制理论中的自动化系统（机器人等）

软件：

Uppaal公司;UPPAAL TIGA公司
PDF格式BibTeX公司 XML格式引用
\textit｛K.G.Larsen｝等人，Lect。注释计算。科学。9360260-277（2015年；Zbl 1444.68183）
全文： 内政部

参考文献：

[1] Alur，R.，Dill，D.L.：时间自动机理论。理论。计算。科学。126(2), 183–235 (1994) ·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[2] Behrmann，G.，Cougnard，A.，David，A.，Fleury，E.，Larsen，K.G.，Lime，D.：UPPAAL-tiga：游戏时间到了！。摘自：Damm，W.，Hermanns，H.（编辑）CAV 2007。LNCS，第4590卷，第121-125页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-73368-3_14
[3] Behrmann，G.、David，A.、Larsen，K.G.、Hákansson，J.、Pettersson，P.、Yi，W.、Hendriks，M.：Uppaal 4.0。摘自：《第三届系统定量评估国际会议论文集》，QEST 2006，第125-126页。IEEE计算机协会，华盛顿（2006）
[4] Bulychev，P.E.，David，A.，Larsen，K.G.，Mikučonis，M.，Poulsen，D.B.，Legay，A.，Wang，Z.：UPPAAL-SMC：定价时间自动机的统计模型检查。摘自：Wiklicky，H.，Massink，M.（编辑）《程序设计语言和系统的定量方面第十次研讨会论文集》，QAPL 2012。EPTCS，爱沙尼亚塔林，第85卷，第1-16页，2012年3月·doi:10.4204/EPTCS.85.1
[5] Chaochen，Z.，Hoare，C.A.R.，Ravn，A.P.：持续时间演算。信息处理信函40（5）、269–276（1991）·Zbl 0743.68097号 ·doi:10.1016/0020-0190（91）90122-X
[6] David，A.，Jensen，P.G.，Larsen，K.G.，Legay，A.，Lime，D.，Sörensen，M.G.，Taankvist，J.H.：以最低的预期成本按时完成！。收录：Cassez，F.、Raskin，J.-F.（编辑）ATVA 2014。LNCS，第8837卷，第129-145页。斯普林格，海德堡（2014）·Zbl 1448.68294号 ·doi:10.1007/978-3-319-11936-4_10
[7] David，A.、Jensen，P.G.、Larsen，K.G.、Mikučonis，M.、Taankvist，J.H.：Uppaal Stratego。收录：Baier，C.，Tinelli，C.（编辑）TACAS 2015。LNCS，第9035卷，第206-211页。斯普林格，海德堡（2015）·doi:10.1007/978-3-662-46681-0_16
[8] Habets，L.C.G.J.M.，Collins，P.J.，van Schuppen，J.H.：单纯形上分段仿射混合系统的可达性和控制综合。IEEE自动控制汇刊51（6），938–948（2006）·Zbl 1366.93348号 ·doi:10.1109/TAC.2006.876952
[9] Haddon，J.A.、Godbole，D.N.、Deshpande，A.、Lygeros，J.：混合系统的验证：AHS控制系统中的单调性。收录人：Alur，R.，Sontag，E.D.，Henzinger，T.A.（编辑）HS 1995。LNCS，第1066卷。斯普林格，海德堡（1996）
[10] Hilscher，M.，Linker，S.，Olderog，E.-R.：证明乡村道路上交通操纵的安全性。收录：Liu，Z.，Woodcock，J.，Zhu，H.（编辑）《编程理论与形式化方法》。LNCS，第8051卷，第196-212页。斯普林格，海德堡（2013）·Zbl 1390.68429号 ·doi:10.1007/978-3-642-39698-4_12
[11] Hilscher，M.，Linker，S.，Olderog，E.-R.，Ravn，A.P.：证明多车道交通操纵安全性的抽象模型。收录：秦，S.，邱，Z.（编辑）ICFEM 2011。LNCS，第6991卷，第404-419页。斯普林格，海德堡（2011）·doi:10.1007/978-3-642-24559-6_28
[12] Larsen，K.G.，Pettersson，P.，Yi，W.：简而言之，Uppaal。国际技术转让软件工具杂志1（1–2），134–152（1997）·Zbl 1060.68577号 ·doi:10.1007/s100090050010
[13] Linker，S.，Hilscher，M.：多车道空间逻辑的证明理论。作者：Liu，Z.，Woodcock，J.，Zhu，H.（编辑）ICTAC 2013。LNCS，第8049卷，第231-248页。施普林格，海德堡（2013）·Zbl 1433.03055号 ·doi:10.1007/978-3-642-39718-9_14
[14] Lygeros，J.、Pappas，G.J.、Sastry，S.：中心TRACON自动化系统验证方法。In:Henzinger，T.A.，Sastry，S.S.（编辑）HSCC 1998。LNCS，第1386卷，第289-304页。斯普林格，海德堡（1998）·doi:10.1007/3-540-64358-346
[15] Moor，T.，Raisch，J.，O'Young，S.：基于l-完全近似的混合系统离散监督控制。离散事件动态系统12（1），83–107（2002）·Zbl 1002.93016号 ·doi:10.1023/A:1013339920783
[16] Moszkowski，B.：关于硬件的多级推理的时序逻辑。计算机18（2），10–19（1985）·doi:10.1109/MC.1985.1662795
[17] Schäfer，A.：时空形状的微积分。收录：Liu，Z.，Araki，K.（编辑）ICTAC 2004。LNCS，第3407卷，第463-477页。斯普林格，海德堡（2005）·Zbl 1109.68068号 ·数字对象标识代码：10.1007/978-3-540-31862-0-33
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。