A.贝姆普拉德。;F.D.托里西。;M.莫拉里。 间歇蒸发器过程基准的离散时间混合建模和验证。 （英语） Zbl 1293.93081号 欧洲药典控制 7，第4期，382-399（2001）. 摘要：对于由线性离散时间动态系统、自动机和命题逻辑规则的互连描述的混合系统，我们最近提出了混合逻辑动态（MLD）系统形式主义和语言HYSDEL（混合系统描述语言）作为建模工具。对于MLD模型，我们开发了一种可达性分析算法，该算法将前向可达集计算与通过线性规划和混合整数线性规划对轨迹进行的可行性分析相结合。本文在间歇蒸发器基准过程中说明了整体分析工具的多功能性。 引用于5文件 MSC公司： 93A30型 系统数学建模（MSC2010） 93C55 离散时间控制/观测系统 93个B03 可达集，可达性 90立方厘米 混合整数编程 90C05（二氧化碳） 线性规划 关键词：离散时间建模;混合系统;可达性分析;验证 软件：高超声速;Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Bempoad}等人，《欧洲期刊控制》第7卷，第4期，第382--399页（2001年；Zbl 1293.93081） 全文： 内政部 链接 参考文献： [1] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Henzinger，T.A。；Ho，P.-H.，《混合自动机：混合系统规范和验证的算法方法》，（Ravn，A.P.；Grossman，A.；Nerode，A.；Rischel，H.，《混合系统》，计算机科学讲义（1993）第736卷，Springer-Verlag），209-229 [2] Antsaklis，P.J.，《混合系统理论和应用简介》（IEEE会议录，混合系统专题：理论和应用（2000年7月）），879-886，88（7） [3] 阿萨林，A。；马勒，O。；Pnueli，A.，《关于具有分段常数导数的动力系统的分析》，《Theor Computer Sci》，138，35-65（1995）·Zbl 0884.68050号 [4] Asarin，E。；O.伯内兹。；Dang，T。；Maler，O.，分段线性动力系统的可达性分析，（Krogh，B.；Lynch，N.，Hybrid systems:Computation and Control，vol 1790 of Teach notes in computer science（2000），Springer-Verlag），20-31·Zbl 0938.93502号 [5] Asarin，E。；博兹加，M。；科尔布拉特，A。；马勒，O。；普努利，A。；Rasse，A.，《验证时间自动机的数据结构》，（Maler，O.，《混合和实时系统》，计算机科学讲义（1997）第1201卷，Springer-Verlag），346-360 [6] A.巴卢奇。；Benvenuti，L。；Di Benedetto，M。；Pinello，C。；Sangiovanni-Vincentelli，A.，《汽车发动机控制和混合动力系统：挑战和机遇》，IEEE会议记录，88，7，888-912（2000年7月） [7] Bemporad，A。；费拉里·特雷卡特，G。；Morari，M.，分段仿射和混合系统的可观测性和可控性，IEEE Trans-Autom Control，45,101864-1876（2000）·Zbl 0990.93010号 [8] Bemporad，A。；乔瓦纳尔迪，L。；Torrisi，F.D.，混合系统最优调度和控制的性能驱动可达性分析，（第39届IEEE决策与控制会议论文集。第39届EEE决策与控制大会论文集，澳大利亚悉尼（2000年12月）） [9] Bemporad，A。；Morari，M.，《集成逻辑、动力学和约束的系统控制》，Automatica，35，3，407-427（1999）·Zbl 1049.93514号 [10] Bemporad A、Morari M、Dua V、Pistikopoulos EN。约束系统的显式线性二次调节器。Automatica（出现）；Bemporad A、Morari M、Dua V、Pistikopoulos EN。约束系统的显式线性二次调节器。Automatica（待显示）·Zbl 1145.93345号 [11] Bemporad，A。；Torrisi，F.D.，《使用超矩形的多面体的内外近似法》（技术报告AUT00-02，自动控制实验室。技术报告AUT_00-02，苏黎世ETH自动控制实验室（2000）） [12] Bemporad，A。；托里西，F.D。；Morari，M.，分段仿射和混合系统的基于优化的验证和稳定性表征，（Krogh，B.；Lynch，N.，混合系统：计算和控制，计算机科学讲义（2000）第1790卷，Springer-Verlag），45-58·Zbl 0939.93523号 [13] Bemporad，A。；托里西，F.D。；Morari，M.，分段线性系统和模型预测控制系统的性能分析，（第39届IEEE决策与控制会议论文集。第39届EEE决策与控制大会论文集，澳大利亚悉尼（2000年12月））·兹比尔1293.93081 [14] Bengtsson，J。；Larsen，K.G。；Larsson，F。；Pettersson，P。；Wang，Y。；Weise，C.，新一代UPPAAL（技术转让软件工具国际研讨会（1998年6月）） [15] 布隆德尔，V.D。；Tsitsiklis，J.N.，基本混合系统稳定性和可控性的复杂性，Automatica，35，479-489（1999）·Zbl 0943.93044号 [16] 混合系统研究：建模、分析和控制。博士论文，LIDS-TH 2304，麻省理工学院，马萨诸塞州剑桥市，1995年；混合系统研究：建模、分析和控制。1995年马萨诸塞州剑桥市麻省理工学院LIDS-TH 2304博士论文 [17] Branicky，M.S.，开关和混合系统的多Lyapunov函数和其他分析工具，IEEE Trans-Autom Control，43，4，475-482（1998）·Zbl 0904.93036号 [18] Branicky，M.S。；博卡尔，V.S。；Mitter，S.K.，《混合控制的统一框架：模型和最优控制理论》，IEEE Trans-Autom control，43，1，31-45（1998）·Zbl 0951.93002号 [19] Cavalier，T.M。；帕尔达洛斯，P.M。；Soyster，A.L.，应用于命题演算的建模和整数编程技术，计算机运筹学，17，6，561-570（1990）·Zbl 0707.03009号 [20] Chutinan，A。；Krogh，B.H.，使用多边形流管近似验证多面体不变混合自动机，（Vaandrager，F.；van Schuppen，J.，《混合系统：计算与控制》，计算机科学讲义第1569卷，（1999），Springer-Verlag），76-90·Zbl 0954.93020号 [21] Heemels，W.P.M.H。；德舒特，B。；Bempoad，A.，混合动力模型的等效性，Automatica，371085-1091（2001）·Zbl 0990.93056号 [22] Henzinger，T.A。；Ho，P.-H。；Wong-Toi，H.，HYTECH：混合系统模型检查器，技术转让软件工具，1110-122（1997）·Zbl 1060.68603号 [23] Huuck R.验证VHS案例研究1技术报告的时间方面http://www-verimag.imag.fr/VHS/year1/cs11i.ps; Huuck R.验证VHS案例研究1技术报告的时间方面http://www-verimag.imag.fr/VHS/year1/cs11i.ps [24] Johannson，M。；Rantzer，A.，混合系统分段二次Lyapunov函数的计算，IEEE Trans-Autom Control，43，4，555-559（1998）·Zbl 0905.93039号 [25] Johansson，K.H。；埃格施泰特，M。；Lygeros，J。；Sastry，S.，关于Zeno混合自动机的正则化，《系统与控制快报》，38，141-150（1999）·Zbl 0948.93031号 [26] Kesten，Y。；普努利，A。；Sifakis，J。；Yovine，S.，积分图：一类可判定的混合系统，（Grossman，R.L.；Nerode，A.；Ravn，A.P.；Rischel，H.，混合系统，计算机科学讲义第736卷（1993），Springer Verlag），179-208 [27] Kfoury，A.J。；莫尔，R.N。；Arbib，M.A.，《可计算性编程方法》（1982），Springer-Verlag·Zbl 0497.68025号 [28] Kowalewski S.VHS案例研究描述。实验配料厂，http://astwww.chemitetechnik.uni-dortmund.de/vhs/cs1descr.zip; Kowalewski S.VHS案例研究描述。实验配料厂，http://astwww.chemicetechnik.uni-dortmund.de/_vhs/cs1descr.zip [29] 科瓦列夫斯基，S。；Stursberg，O.，《间歇蒸发器：逻辑控制下处理系统安全分析的基准示例》，（第四届离散事件系统国际研讨会（WODES98）。第四届离散事件系统国际研讨会（WODES98），意大利卡利亚里（1998） [30] Kristoffersen K、Larsen K、Petterson P、Weise C。使用时间自动机和UPPAAL的实验批处理厂-VHS案例研究1。http://www-verimag.imag.fr/VHS/year1/cs11f.ps; Kristoffersen K、Larsen K、Petterson P、Weise C。使用时间自动机和UPPAAL的实验批处理厂-VHS案例研究1。http://www-verimag.imag.fr/VHS/year1/cs11f.ps [31] 拉斐列尔，G。；帕帕斯，G。；Yovine，S.，《一类新的可判定混合系统》（Vaandrager，F.W.；van Schuppen，J.H.，《混合系统：计算与控制》，计算机科学讲义第1569卷（1999年），Springer-Verlag），137-151·Zbl 0926.93036号 [32] 利伯松，D。；Morse，A.S.，交换系统稳定性和设计的基本问题，IEEE控制系统杂志，19，5，59-70（1999）·Zbl 1384.93064号 [33] Lygeros，J。；Godbole，D.N。；Sastry，S.，混合系统设计的博弈论方法，（Alur，R.；Henzinger，T.，hybrid systems III，第1066卷，计算机科学讲义，（1996），Springer-Verlag），1-12 [34] Lygeros，J。；Tomlin，C.，Sastry S.混合系统可达性规范控制器。Automatica，35，3，349-370（1999）·Zbl 0943.93043号 [35] 普鲁西，J。；斯特斯伯格，O。；Kowalewski，S.，通过积分矩形近似和矩形分析对一类切换连续系统的可达性分析，（Vanndrager；van Schuppen，J.，Hybrid systems:Computation and control，vol 1569 of Teach notes in computer science，（1999），Springer-Verlag），210-222·Zbl 0925.93117号 [36] Raman，R。；Grossmann，I.E.，MILP建模与化学过程合成逻辑推理之间的关系，计算机化学工程，15，2，73-84（1991） [37] Sontag，E.D.，非线性调节：分段线性方法，IEEE Trans-Atom Control四月，26，2，346-358（1981）·Zbl 0474.93039号 [38] Sontag，E.D.，《互连自动机和线性系统：离散时间的理论框架》，（Alur，R.；Henzinger，T.A.；Sontak，E.D，《混合系统III-验证和控制》，计算机科学讲稿1066号，（1996），Spinger-Verlag），436-448 [39] Stursberg O.分批蒸发器基准示例-简化公式。http://astwww.chemicetechink.uni-dortmund.de/olaf/；Stursberg O.分批蒸发器基准示例-简化公式。http://astwww.chemicetechink.uni-dortmund.de/奥拉夫/ [40] Torrisi FD、Bemporad A、Mignone D.HYSDEL——一种描述混合系统的语言。技术报告AUT00-03，苏黎世ETH，2000年。网址：http://control.ethz.ch/杂交/hysdel；Torrisi FD、Bemporad A、Mignone D.HYSDEL——一种描述混合系统的语言。技术报告AUT00-03，苏黎世ETH，2000年。网址：http://control.ethz.ch/混合型/hysdel [41] 泰勒，M.L。；Morari，M.，控制和监控问题中的命题逻辑，Automatica，35，4，565-583（1999）·Zbl 0925.93245号 [42] 维达尔，R。；沙弗特，S。；Lygeros，J。；Sastry，S.，《离散时间系统的受控不变性》（Krogh，B.；Lynch，N.，《混合系统：计算与控制》，计算机科学讲义（2000）第1790卷，Springer-Verlag），437-450·Zbl 0954.93022号 [43] Williams，H.P.，逻辑问题整数规划，数学及其应用研究所公报，13（1977），18-20 [44] Williams，H.P.，《数学规划中的模型构建》（1993），John Wiley&Sons·Zbl 0788.90053号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。