×
斯图亚特·哈伍德。;保罗·巴顿。

非线性控制系统可达集的有效多面体封闭。 （英语） Zbl 1338.93064号

数学。控制信号系统。 28，第1号，第8号论文，33页（2016年）.
摘要：这项工作提出了一种构造动态系统的可达集（“多面体边界”）的多面体外部近似的一般理论，该系统具有时变输入和不确定初始条件。该理论受到了基于比较定理构造区间界的有效方法的启发。该理论的一个可在数值上实现的例子导致了一个辅助的微分方程系统，该系统可以用标准的数值积分方法求解。同时，多面体的使用为在可达集上定义紧密封闭提供了更大的灵活性。通过几个例子证明了这些优点，这些例子表明可以有效地计算一般非线性系统的紧界。此外，还证明了使用多面体的能力提供了一种有意义地区分时变和恒定但不确定输入的方法。

引用于8文件

MSC公司：

93个B03 可达集，可达性
93立方厘米 由常微分方程控制的控制/观测系统
93立方厘米 控制理论中的非线性系统
90C05（二氧化碳） 线性规划

关键词：

控制系统;可达性;线性规划;仿射松弛

软件：

DFBA实验室;日晷;利比亚中央银行;CPLEX公司
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Harwood}和\textit{P.I.Barton}，数学。控制信号系统。28，第1号，第8号文件，第33页（2016年；兹bl 1338.93064）
全文： 内政部 链接

参考文献：

[1] Althoff M，Stursberg O，Buss M（2008）使用保守线性化对参数不确定的非线性系统进行可达性分析。摘自：第47届IEEE决策与控制会议记录，第4042-4048页·Zbl 1091.49028号
[2] Bemporad，A。；莫拉里，M。；Garulli，A.（编辑）；Tesi，A.（编辑），鲁棒模型预测控制：一项调查，207-226（1999），伦敦·Zbl 0979.93518号
[3] Ben-Israel A，Greville TNE（2003）《广义逆：理论与应用》，第2版。纽约州施普林格·Zbl 1026.15004号
[4] Bertsimas D，Tsitsiklis JN（1997）《线性优化导论》。雅典娜科技公司，贝尔蒙特
[5] Chachuat B，Villanueva M（2012），参数常微分方程解的边界：当泰勒模型满足微分不等式时。In:Bogle IDL，Fairweather M（编辑）第22届欧洲计算机辅助过程工程研讨会论文集，第17-20页·Zbl 1225.93026号
[6] Chutinan A，Krogh BH（1998）计算动态系统流动管道的多面体近似。收录：第37届IEEE决策与控制会议记录，第2卷，第2089-294页·Zbl 1111.34030号
[7] Chutinan A，Krogh BH（2003）混合系统验证的计算技术。IEEE Trans Autom Control 48（1）：64-75·Zbl 1364.93457号 ·doi:10.1109/TAC.2002.806655
[8] Dang，T。；马勒，O。；Henzinger，T.（编辑）；Sastry，S.（编辑），通过面部提升进行可达性分析，96-109（1998），柏林·doi:10.1007/3-540-64358-3_34
[9] Dontchev AL，Lempio F（1992），微分包含的差异方法：一项调查。SIAM版本34（2）：263-294·Zbl 0757.34018号 ·数字对象标识代码：10.1137/1034050
[10] Filippov AF（1988）具有不连续右手边的微分方程。Kluwer学院，波士顿·Zbl 0664.34001号 ·doi:10.1007/978-94-015-7793-9
[11] Gomez JA，Höffner K，Barton PI（2014）DFBAlab：用于动态通量平衡分析的快速可靠MATLAB代码。BMC生物信息15（409）：1-10
[12] 格林斯特雷特，MR；米切尔，I。；Henzinger，T.（编辑）；Sastry，S.（编辑），《综合预测》，159-174（1998），柏林·doi:10.1007/3-540-64358-3_38
[13] 格林斯特雷特，MR；米切尔，I。；Vaandrager，FW（编辑）；Schuppen，JH（编辑），使用多边形投影的可达性分析，103-116（1999），柏林·Zbl 1038.93509号 ·doi:10.1007/3-540-48983-5_12
[14] Harrison GW（1977）不确定参数的动态模型。摘自：Avula XJR（ed）《第一届数学建模国际会议论文集》，第1卷，第295-304页。密苏里大学罗拉分校
[15] Harwood SM，Höffner K，Barton PI（2015）嵌入参数词典线性程序的常微分方程的有效解。Numerische Mathematik。doi:10.1007/s00211-015-0760-3·Zbl 1351.65048号 ·doi:10.1007/s00211-015-0760-3
[16] Harwood SM，Scott JK，Barton PI（2013），嵌入线性程序的常微分方程在可达集上的界。收录：Tarbouriech S，Krstic M（eds）非线性控制系统，第9卷，第62-67页
[17] Harwood SM，Scott JK，Barton PI（2015）使用嵌入线性程序的常微分方程在可达集上的界。IMA J数学控制信息doi:10.1093/imamci/dnu054·Zbl 1397.93020号 ·doi:10.1093/imamci/dnu054
[18] Hindmarsh AC、Brown PN、Grant KE、Lee SL、Serban R、Shumaker DE、Woodward CS（2005）SUNDIALS：非线性和微分/代数方程求解器套件。ACM Trans数学软件31（3）：363-396·Zbl 1136.65329号 ·数字对象标识代码：10.1145/1089014.1089020
[19] Hwang I，Stipanovic DM，Tomlin CJ（2003）可达集的多面体逼近在线性动态博弈和一类非线性系统中的应用。摘自：《美国控制会议记录》，第6卷，第4613-4619页·Zbl 1121.65084号
[20] IBM:IBM ILOG CPLEX：高性能数学编程求解器。http://www-01.ibm.com/software/commerce/optimization/cplex-optimizer/ (2014) ·Zbl 1074.65071号
[21] Kapela T，Zgliczyñski P（2009）控制系统和常微分包含的Lohner型算法。离散控制动态系统序列B 11（2）：365-385·兹比尔1185.65079 ·doi:10.3934/cdsb.2009.11.365
[22] Kieffer M，Walter E（2004）合作系统的保证非线性状态估计器。数字算法37（1-4）：187-198·Zbl 1074.65071号 ·doi:10.1023/B:NUMA.000049466.96588.a6
[23] Lambert JD（1991）常微分系统的数值方法：初值问题。纽约威利·Zbl 0745.65049号
[24] Le Guernic C（2009）线性连续动力学混合系统的可达性分析。约瑟夫·福里埃大学博士论文·兹比尔1242.93059
[25] Lin Y，Stadtherr MA（2007）验证了参数ODE初值问题的解决方案。应用数字数学57（10）：1145-1162·Zbl 1121.65084号 ·doi:10.1016/j.apnum.2006.10.006
[26] Lin Y，Stadtherr MA（2008）具有不确定参数的非线性连续时间系统的故障检测。AIChE期刊54（9）：2335-2345·doi:10.1002/aic.11535
[27] Makino K，Berz M（1996）剩余微分代数及其应用。摘自：Berz M、Bischof C、Corliss G、Griewank A（eds）《计算微分：技术、应用和工具》，第5章，第63-75页。SIAM公司·Zbl 0867.68062号
[28] Mangasarian OL，Shiau TH（1987）线性不等式、程序和互补问题解的Lipschitz连续性。SIAM J控制优化25（3）：583-595·Zbl 0613.90066号 ·doi:10.1137/0325033
[29] Mattheij R，Molenaar J（2002）《理论与实践中的常微分方程》。费城SIAM·Zbl 1016.34001号 ·数字对象标识代码：10.1137/1.9780898719178
[30] 米切尔，I。；CJ汤姆林；Lynch，N.（编辑）；Krogh，BH（编辑），混合系统中计算的水平集方法，310-323（2000），柏林·Zbl 0952.93006号 ·doi:10.1007/3-540-46430-1_27
[31] Mitchell IM，Bayen AM，Tomlin CJ（2005）连续动态博弈可达集的含时Hamilton-Jacobi公式。IEEE Trans Autom Control 50（7）：947-957·Zbl 1366.91022号 ·doi:10.1109/TAC.2005.851439
[32] Mitsos A，Chachuat B，Barton PI（2009）基于麦考密克的算法松弛。SIAM J Optim 20（2）：573-601·兹比尔1192.65083 ·doi:10.1137/080717341
[33] Nedialkov NS（1999）计算常微分方程初值问题解的严格界。多伦多大学博士论文·Zbl 1130.65312号
[34] Neumaier A（1990）方程组的区间方法。剑桥大学出版社，纽约·Zbl 0715.65030号
[35] Ramdani N，Meslem N，Candau Y（2009）计算不确定非线性系统可达集的过逼近的混合定界方法。IEEE Trans Autom Control 54（10）：2352-2364·兹比尔1367.93063 ·doi:10.1109/TAC.2009.2028974
[36] Ramdani N，Nedialkov NS（2011）使用区间约束传播技术计算不确定非线性混合系统的可达集。非线性模拟混合系统5:149-162·Zbl 1225.93026号 ·doi:10.1016/j.nahs.2010.05.010
[37] Scott JK（2012）微分代数系统的可达性分析和确定性全局优化。麻省理工学院博士论文·Zbl 1074.65071号
[38] Scott JK，Barton PI（2010）化学动力学模型解的严格有效边界。计算机化学工程34（5）：717-731·doi:10.1016/j.compchemeng.2009.11.021
[39] Scott JK，Barton PI（2013）非线性控制系统可达集的界。自动化49（1）：93-100·Zbl 1257.93015号 ·doi:10.1016/j.automatica.2012.09.020
[40] Scott JK，Barton PI（2013）使用微分不等式改进常微分方程参数解的松弛。《全球优化杂志》57:143-176·Zbl 1273.49034号 ·doi:10.1007/s10898-012-9909-0
[41] Scott JK，Chachuat B，Barton PI（2013）参数常微分方程解的非线性凸松弛和凹松弛。最优控制应用方法34（2）：145-163·Zbl 1273.93089号 ·doi:10.1002/oca.2014年
[42] Singer AB，Barton PI（2006），参数相关非线性常微分方程解的边界。SIAM科学计算杂志27（6）：2167-2182·Zbl 1111.34030号 ·数字对象标识代码：10.1137/040604388
[43] Singer AB，Barton PI（2006）非线性常微分方程的全局优化。《环球优化杂志》34（2）：159-190·Zbl 1091.49028号 ·doi:10.1007/s10898-005-7074-4
[44] Srinivasan B、Amrhein M、Bonvin D（1998），化学反应系统中的反应和流动变量/不变量，包括入口和出口流。AIChE J 44（8）：1858-1867·数字对象标识代码：10.1002/aic.690440815
[45] Szarski J（1965）微分不等式。波兰科学公司，华沙·Zbl 0135.25804号
[46] Wets-RJB（1985）关于线性规划和相关多面体值多函数的值的连续性。数学程序学习24:14-29·Zbl 0578.90080号 ·doi:10.1007/BFb0121040
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。