尤格尼奥·米格尔·亚历山大·罗查;凯利·帕特里夏·穆里略 增量可达有界混合系统参数的有效选择。 （英语） Zbl 1495.93043号 架构（architecture）。控制科学。 31,4号，781-794（2021）. 概述：混合系统（HS）大致描述为一组离散状态转换和由微分方程建模的连续动力学。参数HS可以通过对微分方程、初始条件、跳跃条件或之前条件的组合使用参数来构造。在实际应用中，最佳解是通过一组度量函数获得的，该度量函数是由有限的参数集生成的解集的函数。本文研究了增量可到达有界混合系统的参数选择问题。我们提出了一种基于工具pHL-MT的高效模型来对HS解决方案进行基准测试（基于dReach），以及一种基于多向效率分析（MEA）的非参数前沿分析方法。给出了具有可变增长传染力的流行病模型的三个数值例子，即：当受感染个体的变量围绕某个地方病（非自治）平衡点振荡时；当存在渐近稳定的非平凡吸引子时；以及存在凹凸功能时。 MSC公司： 93立方 由微分方程以外的函数关系控制的控制/观测系统（如混合系统和开关系统） 93个B03 可达集，可达性 92天30分 流行病学 关键词：有界混合系统;安全性能;增量可访问性;多方向效率分析 软件：d到达 PDF格式BibTeX公司 XML格式引用 \textit{E.M.A.Rocha}和\textit{K.P.Murillo}，拱门。控制科学。31，第4号，781--794（2021；Zbl 1495.93043） 全文： 内政部 OA许可证 参考文献： [1] M.Althoff和J.M.Dolan：使用可达性分析对自动化道路车辆进行在线验证。IEEE传输。机器人学，30（4），（2014），903-918，DOI:10.1109/TRO.2014.2312453。 [2] P.Bogetoft和J.L.Hougaard：基于潜在（非比例）改进的效率评估。生产力分析杂志，12（3），（1999），233-247，DOI:10.1023/A:1007848222681。 [3] X.Chen、E.Abraham和S.Sankaranarayanan:Flow*：非线性混合系统的分析器。In：程序。CAV’13。LNCS，8044，258-263，施普林格出版社，2013年。 [4] E.M.Clarke和S.Gao：模型检查混合系统。收录：Margaria T.，Steffen B.（编辑）：利用形式方法的应用，验证和确认。专业技术和应用。ISoLA 2014年。计算机科学课堂讲稿，8803385-386，施普林格，柏林，海德堡，2014。 [5] M.Franzle、C.Herde、S.Ratschan、T.Schubert和T.Teige：具有复杂布尔结构的大型非线性算术约束系统的高效求解。可满足性、布尔建模与计算杂志，1（2007），209-236，DOI:10.3233/SAT190012·Zbl 1144.68371号 [6] G.Frehse、C.L.Guernic、A.Donze、R.Ray、O.Lebeltel、R.Ripado、A.Girard、T.Dang和O.Maler：SpaceEx：混合系统的可扩展验证。In：程序。CAV’11。LNCS，6806379-395，施普林格出版社，2011年。 [7] S.Gao：可计算分析、决策过程和混合自动机：一种新的网络物理系统形式验证框架。卡内基梅隆大学博士论文，2012年。 [8] S.Gao、S.Kong和E.M.Clarke:dReal:一个用于求解实域上非线性理论的SMT解算器。收录：M.P.Bonacina（编辑）CADE 2013。LNCS（LNAI），7898，208-214，斯普林格，海德堡（2013）。内政部：10.1007/9783-642-38574-2·Zbl 1381.68268号 [9] HyCreate：一个用于过度接近混合自动机可达性的工具，http://stanleybak.com/projects/hycreate/hycreate.html。 [10] S.Kong、S.Gao、W.Chen和E.Clarke:dReach:𝛿-混合系统的可达性分析。程序中。2015年国际系统构建和分析工具和算法会议。可用：http://link.springer.com/10.1007/978-3-662-46681-0。 [11] J.Lygeros、C.Tomlin和S.Sastry：混合系统：建模分析和控制。加利福尼亚大学伯克利分校电子研究实验室，技术代表UCB/ERL M，2008年·Zbl 0951.93012号 [12] A.Platzer和J.Quesel:Keymaera：混合系统的混合定理证明器（系统描述）。In：程序。IJCAR’08。LNCS，5195171-178，施普林格出版社，2008年·兹比尔1165.68469 [13] S.Ratschan和Z.She：通过基于约束传播的抽象求精对混合系统进行安全验证。In：程序。2005年HSCC。LNCS，3414573-589，斯普林格出版社，2005年·Zbl 1078.93508号 [14] E.M.Rocha：非自治混合SIR模型上的振荡行为。收录：M.Chaves和M.Martins（编辑），《分子逻辑与计算合成生物学》。2018年MLCSB。计算机科学讲义，11415，施普林格，商会，2019。 [15] L.Zhang、Z.She、S.Ratschan、H.Hermanns和E.Hahn：概率混合系统的安全验证。In：程序。计算机辅助核查国际会议（2010年），196-211·兹比尔1291.93294 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。