×
徐凯尔;鲁帕克·马朱姆达尔;考希·马利克;安妮·凯瑟琳·施穆克

基于惰性抽象的控制器综合。 （英语） Zbl 1447.93060号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11781, 23-47 (2019).
摘要：基于抽象的控制器综合（ABCS）是针对时间规范的连续非线性动力系统自动综合控制器的一般过程。ABCS首先通过符号有限状态模型抽象出开环系统连续动力学的时间采样版本。
关于整个系列，请参见[Zbl 1428.68012号].

MSC公司：

93B30型 系统标识
93立方厘米 控制理论中的非线性系统

关键词：

基于抽象的控制器综合;非线性动力系统

软件：

爆炸;CPA检查器;p面;ROCS公司;科西马;斯科特
PDF格式BibTeX公司 XML格式引用
\textit{K.Hsu}等人，Lect。注释计算。科学。11781、23-47（2019年；Zbl 1447.93060）
全文： 内政部 arXiv公司

参考文献：

[1] 艾姆斯，A.D.等人：双足机器人正式控制器综合的第一步。摘自：《第18届混合系统国际会议论文集：计算与控制》，第209-218页。ACM（2015）·Zbl 1364.93506号
[2] Gol，E.A.，Lazar，M.，Belta，C.：离散时间线性系统的语言制导控制器综合。收录于：HSCC，第95-104页。ACM（2012年）·Zbl 1361.68114号
[3] Beyer，D.，Henzinger，T.A.，Jhala，R.，Majumdar，R.：软件模型检查器爆炸。国际期刊软件。技术工具。Transf公司。9（5-6），505-525（2007）·doi:10.1007/s10009-007-0044-z
[4] Beyer，D.，Keremoglu，M.E.：CPAchecker：一种用于可配置软件验证的工具。收录：Gopalakrishnan，G.，Qadeer，S.（编辑）CAV 2011。LNCS，第6806卷，第184-190页。斯普林格，海德堡（2011）。https://doi.org/10.1007/978-3-642-22110-1_16 ·doi:10.1007/978-3642-22110-16
[5] Borri，A.、Dimarogonas，D.V.、Johansson，K.H.、Di Benedetto，M.D.、Pola，G.：互联系统的分散符号控制，应用于车辆排成。IFAC程序。第46卷（27），285-292（2013）·doi:10.3182/20130925-2-DE-4044.00056
[6] Bulancea，O.L.，Nilsson，P.，Ozay，N.：使用新型BDD编码的非均匀抽象、细化和控制器合成。arXiv预印arXiv:1804.04280（2018）
[7] Cámara，J.，Girard，A.，Gössler，G.：使用多尺度符号模型的切换系统安全控制器综合。收录于：CDC，第520-525页（2011年）
[8] Cámara，J.，Girard，A.，Gössler，G.：使用近似双相似的多尺度抽象合成开关控制器。收录于：HSCC，第191-200页（2011年）·Zbl 1362.93056号
[9] Cassez，F.：部分可观测时间游戏的高效实时算法。收录：Raskin，J.-F.，Thiagarajan，P.S.（编辑）FORMATS 2007。LNCS，第4763卷，第5-24页。斯普林格，海德堡（2007）。https://doi.org/10.1007/978-3-540-75454-1_3 ·Zbl 1141.93377号 ·doi:10.1007/978-3-540-75454-1_3
[10] Clarke，E.，Grumberg，O.，Jha，S.，Lu，Y.，Veith，H.：符号模型检查的反例引导抽象求精。J.ACM 50（5），752-794（2003）·Zbl 1325.68145号 ·doi:10.1145/876638.876643
[11] Coogan，S.，Arcak，M.：混合单调系统的有效有限抽象。摘自：《第18届混合系统国际会议论文集：计算与控制》，第58-67页。ACM（2015）·Zbl 1364.93238号
[12] de Alfaro，L.，Roy，P.：通过三值抽象求精解决游戏。Inf.计算。208(6), 666-676 (2010) ·Zbl 1205.68225号 ·doi:10.1016/j.ic.2009.05.007
[13] Fribourg，L.，Kühne，U.，Soulat，R.：构建非线性动力系统的吸引子。收录于：OASIcs-OpenAccess Series In Informatics，vol.31。Dagstuhl-Leibniz-Zentrum fuer Informatik学校（2013年）·Zbl 1303.93121号
[14] Fribourg，L.，Kühne，U.，Soulat，R.：采样切换系统的有限控制不变量。形式方法系统。设计。45(3), 303-329 (2014) ·Zbl 1303.93121号 ·doi:10.1007/s10703-014-0211-2
[15] Girard，A.：线性控制的多分辨率方法。TAC 51（8），1261-1270（2006）·Zbl 1366.93178号
[16] Girard，A.，Gössler，G.，Mouelhi，S.：使用多尺度符号模型的增量稳定切换系统的安全控制器综合。TAC 61（6），1537-1549（2016）·Zbl 1359.93350号
[17] Girard，A.，Pola，G.，Tabuada，P.：增量稳定切换系统的近似双相似符号模型。TAC 55（1），116-126（2010）·Zbl 1368.93413号
[18] Gruber，F.，Kim，E.S.，Arcak，M.：稀疏感知有限抽象。2017年IEEE第56届决策与控制年会（CDC），第2366-2371页。IEEE（2017）
[19] Grüne，L.：离散Hamilton-Jacobi-Bellman方程的自适应网格格式。数字。数学。75(3), 319-337 (1997) ·Zbl 0880.65045号 ·doi:10.1007/s002110050241
[20] Henzinger，T.A.、Jhala，R.、Majumdar，R.：反例引导控制。收录人：Baeten，J.C.M.，Lenstra，J.K.，Parrow，J.，Woeginger，G.J.（编辑）ICALP 2003。LNCS，第2719卷，第886-902页。斯普林格，海德堡（2003）。https://doi.org/10.1007/3-540-45061-0_69 ·Zbl 1039.68555号 ·doi:10.1007/3-540-45061-069
[21] Henzinger，T.A.、Jhala，R.、Majumdar，R.和Sutre，G.：懒惰抽象。ACM SIGPLAN非。37(1), 58-70 (2002) ·Zbl 1323.68374号 ·电话：10.1145/565816.503279
[22] Herbreteau，F.，Srivathsan，B.，Walukiewicz，I.：时间自动机的惰性抽象。收录：Sharygina，N.，Veith，H.（编辑）CAV 2013。LNCS，第8044卷，第990-1005页。斯普林格，海德堡（2013）。https://doi.org/10.1007/978-3-642-39799-8_71 ·兹比尔1360.68560 ·doi:10.1007/978-3-642-39799-871
[23] Hsu，K.、Majumdar，R.、Mallik，K.和Schmuck，A.-K.：安全规范的基于惰性抽象的控制。参见：2018年IEEE决策与控制会议（CDC），第4902-4907页。IEEE（2018）
[24] Hsu，K.、Majumdar，R.、Mallik，K.和Schmuck，A.-K.：基于惰性抽象的控制器综合。arXiv预印arXiv:1804.02722（2018）·Zbl 1417.93061号
[25] Hsu，K.，Majumdar，R.，Mallik，K.，Schmuck，A.-K.：连续时间系统的基于多层抽象的控制器综合。载于：HSCC，第120-129页。ACM（2018）·Zbl 1417.93061号
[26] Khaled，M.，Zamani，M.：pFaces:符号控制的加速生态系统。摘自：第22届ACM混合系统国际会议论文集：计算与控制，第252-257页。ACM（2019年）·Zbl 07120161号
[27] Li，Y.，Liu，J.：ROCS：非线性动力系统的鲁棒完整控制综合工具。收录于：HSCC，第130-135页。ACM（2018）·Zbl 1417.93122号
[28] Maler，O.，Pnueli，A.，Sifakis，J.：关于定时系统离散控制器的综合。收录：Mayr，E.W.，Puech，C.（编辑）STACS 1995。LNCS，第900卷，第229-242页。斯普林格，海德堡（1995）。https://doi.org/10.1007/3-540-59042-0_76 ·Zbl 1379.68227号 ·doi:10.1007/3-540-59042-076
[29] Mallik，K.，Schmuck，A.-K.，Soudjani，S.，Majumdar，R.：有限状态抽象的合成。IEEE传输。自动。控制64（6），2629-2636（2018）·Zbl 1482.93263号 ·doi:10.1109/TAC.2018.2869740
[30] Mitchell，I.M.：将正向和反向可达性作为安全分析的工具进行比较。收录人：Bemporad，A.、Bicchi，A.、Buttazzo，G.（编辑）HSCC 2007。LNCS，第4416卷，第428-443页。施普林格，海德堡（2007）。https://doi.org/10.1007/978-3-540-71493-4_34 ·Zbl 1221.93029号 ·doi:10.1007/978-3-540-71493-4_34
[31] Mouelhi，S.，Girard，A.，Gössler，G.：CoSyMA：使用多尺度抽象的控制器合成工具。收录于：HSCC，第83-88页。ACM（2013）
[32] Nilsson，P.等人：结构正确的自适应巡航控制：两种方法。IEEE传输。合同。系统。技术24（4），1294-1307（2016）·doi:10.1109/TCST.2015.2501351
[33] Nilsson，P.，Ozay，N.，Liu，J.：作为控制综合抽象的增广有限过渡系统。谨慎。事件动态。系统。27(2), 301-340 (2017) ·Zbl 1379.93050号 ·doi:10.1007/s10626-017-0243-z
[34] Pola，G.，Borri，A.，Di Benedetto，M.D.：非线性系统符号控制器的集成设计。战术手册57（2），534-539（2012）·Zbl 1369.93255号
[35] Reissig，G.，Weber，A.，Rungger，M.：符号控制器综合的反馈细化关系。TAC 62（4），1781-1796（2017）·Zbl 1366.93363号
[36] Rungger，M.，Stursberg，O.：控制器综合的实时模型抽象。摘自：ACC，第2645-2650页。IEEE（2012）
[37] Rungger，M.，Zamani，M.：SCOTS：符号控制器合成工具。收录于：HSCC，第99-104页。ACM（2016）·Zbl 1364.93267号
[38] Saoud，A.，Girard，A.，Fribourg，L.：车辆排成符号控制器的基于合同的设计。收录于：HSCC，第277-278页。ACM（2018）
[39] Tabuada，P.：混合系统的验证和控制：符号方法。斯普林格，海德堡（2009）。https://doi.org/10.1007/978-1-4419-0224-5 ·Zbl 1195.93001号 ·doi:10.1007/978-1-4419-0224-5
[40] Vizel，Y.，Grumberg，O.，Shoham，S.：硬件模型检查中的惰性抽象和基于sat的可达性。收录于：FMCAD，第173-181页。IEEE（2012）
[41] O.侯赛因。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。