×
罗、二台;尼古拉斯·科奇杜普尔;斯坦利·巴克

利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 （英语） Zbl 07807958号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023年）。

MSC公司：

65年第68季度 形式语言和自动机
60年第68季度 规范和验证（程序逻辑、模型检查等）
93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）

关键词：

形式验证;参数不确定的线性系统;多项式分区;可达性分析

软件：

CORA公司;SpaceEx公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Luo}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023；Zbl 07807958）
全文： 内政部

参考文献：

[1] M.阿尔托夫。2010年，可达性分析及其在自动汽车安全评估中的应用。论文。慕尼黑理工大学。
[2] 阿尔特霍夫先生。2013.使用保守多项式化和非凸集的非线性系统可达性分析。程序中。混合系统国际会议：计算与控制。173-182. ·Zbl 1362.93011号
[3] 阿尔特霍夫先生。2015年CORA 2015简介。程序中。连续和混合系统应用验证研讨会。120-151.
[4] M.阿尔托夫。2019.Krylov子空间中输入不确定的大型线性系统的可达性分析。《自动控制交易》65，2（2019），477-492·Zbl 1533.93047号
[5] M.Althoff等人，2021。ARCH-COMP21类别报告：具有线性连续动力学的连续和混合系统。程序中。连续和混合系统应用验证国际研讨会。1-31.
[6] M.Althoff和B.H.Krogh。2011.可达集高效计算的Zonotope束。程序中。国际决策和控制会议。6814-6821.
[7] M.Althoff和B.H.Krogh。2012.混合系统可达性分析中避免几何交叉操作。程序中。混合系统：计算与控制国际会议。45-54. ·Zbl 1362.93012号
[8] M.Althoff、B.H.Krogh和O.Stursberg，2011年。不确定系统的建模、设计和仿真。Springer，《分析具有参数不确定性的线性动态系统的可达性》一章，69-94。
[9] M.Althoff、C.Le Guernic和B.H.Krogh。2011.不确定时变线性系统的可达集计算。程序中。混合系统国际会议：计算与控制。93-102. ·Zbl 1362.93013号
[10] M.Althoff、O.Stursberg和M.Buss。2007.具有不确定参数和输入的线性系统的可达性分析。程序中。国际决策和控制会议。726-732.
[11] S.Bak和P.S.Duggirala。2017.具有输入的大型线性系统的模拟等效可达性。程序中。国际计算机辅助验证会议。401-420. ·Zbl 1497.93010号
[12] S.Bak等人，2022年。使用随机傅立叶特征可观测值和多项式区域图精化的库普曼线性化系统的可达性。程序中。计算机辅助验证国际会议。490-510. ·Zbl 1518.93012号
[13] S.Bak和H.-D.Tran。2022.ACAS Xu早期原型的神经网络压缩不安全：通过量化状态可回溯性进行闭环验证。程序中。NASA正式方法研讨会。280-298.
[14] S.Bak、H.D.Tran和T.T.Johnson。2019.十亿维仿射系统的数值验证。程序中。混合系统：计算与控制国际会议。23-32. ·Zbl 07120137号
[15] D.V.Balandin和M.M.Kogan。2020年。基于椭球可达集的线性时变系统的控制和估计。自动化和远程控制81，8（2020），1367-1384·Zbl 1454.93020号
[16] S.Bogomolov等人，2018年。通过低维集和高维矩阵分解实现到达集近似。程序中。混合系统：计算与控制国际会议。41-50. ·Zbl 1417.93059号
[17] A.Chutinan和B.H.Krogh。2003.混合系统验证的计算技术。《自动控制学报》48，1（2003），64-75·Zbl 1364.93457号
[18] L.H.de Figueiredo和J.Stolfi。2004.仿射算术：概念和应用。《数值算法》37，1-4（2004），147-158·Zbl 1074.65050号
[19] P.S.Duggirala和S.Bak。2019.混合系统可达集计算中的聚合策略。《嵌入式计算系统交易》18，5s，第99条（2019年）。
[20] P.S.Duggirala和M.Viswanathan。2016.线性系统的节约、基于仿真的验证。程序中。国际计算机辅助验证会议。477-494. ·Zbl 1411.68064号
[21] M.Forets和C.Schilling。2022.保守时间离散化：一项比较研究。程序中。综合形式方法国际会议。149-167. ·Zbl 1504.93022号
[22] G.Frehse等人，2011年。SpaceEx：混合系统的可扩展验证。程序中。计算机辅助验证国际会议。379-395.
[23] G.Frehse、R.Kateja和C.Le Guernic。2013年，《流管近似和时空聚类》（Flowpipe Approximation and Clustering in Space-Time）。程序中。混合系统国际会议：计算与控制。203-212. ·Zbl 1362.93015号
[24] B.Ghosh和P.S.Duggirala。2019.鲁棒可达集：线性动力系统中不确定性的解释。《嵌入式计算系统交易》18，5s，第97条（2019年）。
[25] B.Ghosh和P.S.Duggirala。2021.线性不确定系统的可达性：基于抽样的方法。arXiv预印arXiv:2109.07638（2021）。
[26] B.Ghosh和P.S.Duggirala。2021.线性动力系统的安全稳健性：符号和数值方法。arXiv预印arXiv:2109.07632（2021）。
[27] A.吉拉德。2005.使用分区图的不确定线性系统的可达性。程序中。混合系统：计算与控制国际会议。291-305. ·Zbl 1078.93005号
[28] A.Girard和C.Le Guernic。2008年。混合系统可达性分析的分区域/超平面交叉口。程序中。混合系统：计算与控制国际会议。215-228. ·Zbl 1144.93324号
[29] L.Jaulin、M.Kieffer和O.Didrit，2006年。应用区间分析。斯普林格·Zbl 1023.65037号
[30] N.Kochdumper公司。2022.多项式分区图的扩展及其在网络物理系统验证中的应用。论文。慕尼黑理工大学。
[31] N.Kochdumper和M.Althoff。2020年，限制多项式分区。arXiv预印arXiv:2005.08849（2020）·Zbl 07727460号
[32] N.Kochdumper和M.Althoff。2021.稀疏多项式分区图：可达性分析的新集合表示。《自动控制交易》66，9（2021），4043-4058·Zbl 1471.93026号
[33] N.Kochdumper、B.Schürmann和M.Althoff。2020.利用依赖关系获取可达集的子集。程序中。混合系统：计算与控制国际会议。第1条·Zbl 07300842号
[34] A.B.Kurzhanski和P.Varaiya。2000.可达性分析的椭球技术。程序中。混合系统：计算与控制国际会议。202-214. ·Zbl 0962.93009号
[35] R.Lal和P.Prabhakar。2015.参数化线性系统的有界误差流管计算。程序中。嵌入式软件国际会议。237-246.
[36] C.Le Guernic和A.Girard。2010.使用支持函数的线性系统可达性分析。非线性分析：混合系统4，2（2010），250-262·Zbl 1201.93018号
[37] H.罗宾斯。1955.关于斯特林公式的评论。《美国数学月刊》62，1（1955），26-29·兹比尔0068.05404
[38] M.Serry和G.Reissig。2018.线性不确定系统可达集的超矩形超逼近。程序中。国际决策和控制会议。6275-6282.
[39] M.Serry和G.Reissig。2022.线性时变系统的超逼近可达管。《自动控制交易》67，1（2022），443-450·Zbl 07480789号
[40] 丹尼尔·西尔维斯特。2022.使用约束凸发生器对不确定LPV进行精确保证状态估计。程序中。国际决策和控制会议。4957-4962.
[41] M.Wetzlinger、N.Kochdumper和M.Althoff。2020年，线性系统可达性分析的自适应参数调整。程序中。国际决策和控制会议。5145-5152.
[42] Z.Zhang等人，2020年。具有已知输入的不确定线性系统的可达集估计。《国际控制、自动化和系统杂志》18，10（2020），2445-2455。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。