×

非线性控制系统可达集的有效多面体包围。 (英语) Zbl 1338.93064号

摘要:本文提出了一个具有时变输入和不确定初始条件的动态系统可达集(“多面体界”)的多面体外逼近的一般理论。这个理论的灵感来自于基于比较定理的区间界构造的有效方法。该理论的一个数值实现实例导致了一个可以用标准数值积分方法求解的微分方程组的辅助系统。同时,多面体的使用提供了更大的灵活性来定义可及集上的紧包围。通过几个例子说明了这些优点,表明对于一般的非线性系统可以有效地计算紧界。此外,还证明了使用多面体的能力提供了一种有意义地区分时变和恒定但不确定的输入的方法。

理学硕士:

93B03型 可达集,可达性
93C15型 常微分方程控制/观测系统
93C10型 控制理论中的非线性系统
90摄氏度 线性规划
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

参考文献:

[1] Althoff M,Stursberg O,Buss M(2008)参数不确定非线性系统的保守线性化可达性分析。在:第47届IEEE决策与控制会议论文集,第4042-4048页·Zbl 1091.49028
[2] B时代,A;莫拉里,M;加鲁利,A(编辑版);Tesi,A(ed.),鲁棒模型预测控制:调查,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)参数ODE解的边界:当Taylor模型满足微分不等式时。In:Bogle IDL,Fairweather M(eds)《第22届欧洲计算机辅助工艺工程研讨会论文集》,第17-20页·Zbl 1225.93026
[6] Chutinan A,Krogh BH(1998)动态系统流动管道的多面体近似计算。第37届IEEE决策与控制会议论文集,第2卷,2089-2094页·Zbl 1111.34030
[7] 楚蒂南,A;Krogh,BH,混合系统验证的计算技术,IEEE Trans Autom控制,48,64-75,(2003)·Zbl 1364.93457
[8] 当,T;马勒,哦;亨津格,T(编辑);Sastry,S(ed.),通过整容进行可达性分析,96-109,(1998),柏林
[9] 阿拉巴马州顿切夫;Lempio,F,《微分包含的差分方法:调查》,暹罗修订版,34263-294,(1992)·Zbl 0757.34018
[10] Filippov-AF(1988)具有不连续右边的微分方程。波士顿Kluwer学院
[11] 戈麦斯,JA;霍夫纳,K;Barton,PI,Dfbalab:快速可靠的MATLAB动态流量平衡分析代码,BMC Bioinform,15,1-10,(2014)
[12] 格林斯特里特先生;米切尔,我;亨津格,T(编辑);Sastry,S(编辑),《整合预测》,159-174,(1998),柏林
[13] 格林斯特里特先生;米切尔,我;瓦安德拉格,FW(编辑版);Schuppen,JH(编辑),《使用多边形投影的可达性分析》,103-116,(1999),柏林·Zbl 1038.93509
[14] Harrison-GW(1977)具有不确定参数的动态模型。在:Avula XJR(ed)《第一届数学建模国际会议论文集》,第1卷,第295-304页。密苏里罗拉大学
[15] 山猫哈伍德;霍夫纳,K;Barton,PI,嵌入参数字典线性程序的常微分方程有效解,Numerische Mathematik,(2015)·Zbl 1351.65048
[16] Harwood SM,Scott JK,Barton PI(2013)使用嵌入线性程序的常微分方程可及集的界。In:Tarbouriech S,Krstic M(eds)《非线性控制系统》,第9卷,第62-67页
[17] 山猫哈伍德;斯科特,JK;Barton,PI,使用嵌入线性程序的常微分方程可及集的界,IMA J Math Control Inf,(2015)·Zbl 1397.93020
[18] 南卡罗来纳州印德马什;棕色,PN;格兰特,克;李,SL;塞尔维亚语,R;德舒梅克;伍德沃德,CS,日晷:非线性和微分/代数方程解算器套件,ACM Trans Math软件,31363-396,(2005)·Zbl 1136.65329
[19] 黄一,施蒂帕诺维奇,汤姆林(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] 卡佩拉,T;张立群,P,控制系统与常微分包含的lohner型算法,离散控制系统B,11365-385,(2009)·Zbl 1185.65079
[22] 基弗,M;华特,E,合作系统的保证非线性状态估计器,数值算法,37187-198,(2004)·Zbl 1074.65071
[23] Lambert JD(1991)常微分系统的数值方法:初值问题。威利,纽约
[24] Le Guernic C(2009)具有线性连续动力学的混合系统的可达性分析。约瑟夫·傅立叶大学博士论文·Zbl 1242.93059
[25] 林,Y;Stadtherr,MA,参数ODE初值问题的有效解,应用数值数学,571145-1162,(2007)·Zbl 1121.65084
[26] 林,Y;马士泰,等,具有不确定参数的非线性连续时间系统的故障检测,艾哲,542335-2345,(2008)
[27] Makino K,Berz M(1996)余微分代数及其应用。在:Berz M,Bischof C,Corliss G,Griewank A(eds),《计算微分:技术、应用和工具》,第5章,第63-75页·Zbl 0867.68062
[28] 马里兰州曼加萨里亚;李希茨,线性不等式解的连续性,规划与互补问题,控制最优化,25583-595,(1987)·津保0613.90066
[29] Mattheij R,Molenaar J(2002)常微分方程理论与实践。暹罗,费城·Zbl 1016.34001
[30] 米切尔,我;汤姆林,CJ;林奇,N(编辑);Krogh,BH(ed.),混合系统中计算的水平集方法,310-323,(2000),柏林·Zbl 0952.93006
[31] 米切尔,IM;巴彦,美国;张志明,张志明,连续动态对策可达集的时间依赖哈密顿-雅可比公式,IEEE Trans-Autom控制,50947-957,(2005)·Zbl 1366.91022号
[32] 米索斯,A;查查特,B;Barton,PI,Mccormick基于松弛算法,SIAM J Optim,20573-601,(2009)·Zbl 1192.65083
[33] Nedialkov NS(1999)计算常微分方程初值问题解的严格界。多伦多大学博士论文·Zbl 1364.93457
[34] Neumaier A(1990)方程组的区间方法。纽约剑桥大学出版社·Zbl 0715.65030
[35] 拉姆达尼,N;梅斯勒姆,N;陈国平,王国强,不确定非线性系统可达集的超逼近计算的混合边界法,IEEE Trans-Autom控制,54,2352-2364,(2009)·Zbl 1367.93063
[36] 拉姆达尼,N;奈迪亚科夫,NS,利用区间约束传播技术计算不确定非线性混合系统的可达集,非线性混合系统,5149-162,(2011)·Zbl 1225.93026
[37] Scott JK(2012)微分代数系统的可达性分析和确定性全局优化。麻省理工学院博士论文·Zbl 1074.65071
[38] 斯科特,JK;Barton,PI,化学动力学模型解的紧有效界,计算机化学工程,34717-731,(2010)
[39] 斯科特,JK;Barton,PI,非线性控制系统可达集的界,Automatica,4993-100,(2013)·Zbl 1257.93015号
[40] 斯科特,JK;Barton,PI,利用微分不等式对常微分方程参数解的改进松弛法,J Glob Optim,57143-176,(2013)·Zbl 1273.49034
[41] 斯科特,JK;查查特,B;Barton,PI,参数常微分方程解的非线性凸和凹松弛,最优控制应用方法,34145-163,(2013)·Zbl 1273.93089号
[42] 歌手,AB;巴顿,皮,参数相关非线性常微分方程解的边界条件,上海理工大学学报,27,2167-2182,(2006)·Zbl 1111.34030
[43] 歌手,AB;巴顿,皮,非线性常微分方程全局优化,全球优化杂志,34159-190,(2006)·Zbl 1091.49028
[44] 斯里尼瓦桑,B;阿姆利因,M;Bonvin,D.具有入口和出口流的化学反应系统中的反应和流动变量/不变量,AIChE J,44,1858-1867,(1998)
[45] Szarski J(1965)微分不等式。波兰科学公司,华沙·Zbl 0135.25804
[46] 韦茨,RJB,关于线性规划和相关多面体值多函数值的连续性,数学程序研究,24,14-29,(1985)·Zbl 0578.90080
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。