×
沈凯;约瑟夫·斯科特。

利用非线性不变量和路径约束，利用微分不等式实现更紧密的可达集封闭。 （英语） Zbl 1436.93014号

数学。控制信号系统。 32，第1期，101-127（2020年）.
摘要：本文提出了一种新的方法，用于计算具有不确定初始条件、参数和时变输入的非线性动态系统解的锐界。此类边界广泛应用于不确定性传播、鲁棒状态估计、系统验证、全局动态优化等算法中。最近，已经证明，通过微分不等式计算的边界，通过利用已知适用于所有相关轨迹的状态约束，通常可以使其保守性大大降低（例如，在动态优化环境中描述可行轨迹的路径约束，或明确描述包含所有系统轨迹的不变集的约束）。然而，这种有效的边界算法目前仅适用于线性约束问题。此外，这些算法的理论结果不适用于依赖于时变输入的约束，也不适用于对非线性约束非常严格的假设。本文提供了一个新的微分不等式定理，该定理允许使用一类非常普遍的非线性状态约束。此外，还提出了一种新的算法，可以有效地利用非线性约束来获得更紧的边界。对于两个具有挑战性的案例研究，所提出的方法可以产生非常明确的界限。

引用于2文件

MSC公司：

93个B03 可达集，可达性
93立方厘米 由常微分方程控制的控制/观测系统

关键词：

可达性分析;不确定性量化;微分不等式;区间法;不变集

软件：

日晷
PDF格式BibTeX公司 XML格式引用
\textit{K.Shen}和\textit{J.K.Scott}，数学。控制信号系统。32，第1号，101--127（2020；Zbl 1436.93014）
全文： DOI程序

参考文献：

[1] 阿尔托夫，M。；Dolan，JM，使用可达性分析对自动化道路车辆进行在线验证，IEEE Trans-Rob，30，4，903-918（2014）
[2] Althoff M，Stursberg O，Buss M（2008）使用保守线性化对参数不确定的非线性系统进行可达性分析。摘自：第47届IEEE决策与控制会议，第4042-4048页
[3] O·伯纳德。；Hadj Sadok，Z。；Dochain，D。；Genovesi，A。；Steyer，JP，厌氧废水处理过程的动力学模型开发和参数识别，生物技术生物工程，75，4，424-438（2001）
[4] 布雷索林，D。；Geretti，L。；穆拉多·R。；菲奥里尼，P。；Villa，T.，通过可达性分析对机器人手术任务进行形式验证，Microprocess Microyst，39，8，836-842（2015）
[5] Geering，H.，《工程应用的最优控制》（2007），柏林：施普林格出版社，柏林·Zbl 1121.49001号
[6] Ghorbal，K。；Platzer，A。；E·阿尔布拉哈姆。；Havelund，K.，用微分根式不变量表征代数不变量，系统构建和分析的工具和算法，279-294（2014），柏林：施普林格出版社，柏林
[7] Hariprasad K，Bhartiya S（2014）基于区间包含的管道非线性系统自适应鲁棒模型预测控制。收录：第53届IEEE决策与控制会议，第2032-2037页
[8] Harrison GW（1977）不确定参数的动态模型。摘自：Avula X（编辑）《第一届数学建模国际会议论文集》，第1卷，第295-304页
[9] 山姆·哈伍德（SM Harwood）；Barton，PI，非线性控制系统可达集的高效多面体封闭，数学控制信号，28，1，8（2016）·Zbl 1338.93064号
[10] 山姆·哈伍德（SM Harwood）；Barton，PI，约束参数常微分方程解的仿射松弛，Optim Control Appl Methods，39，1-22（2017）
[11] 山姆·哈伍德（SM Harwood）；斯科特，JK；Barton，PI，使用嵌入线性程序的常微分方程的可达集的界，IMA J Math Control Inf，33，2，519-541（2016）·Zbl 1397.93020号
[12] Hindmarsh，AC；棕色，PN；格兰特，KE；Lee，SL；塞尔维亚人，R。；德国Shumaker；伍德沃德，CS，SUNDIALS，非线性和微分/代数方程求解器套件，ACM Trans Math Softw，31，363-396（2005）·Zbl 1136.65329号
[13] 胡斯卡，B。；Chachuat，B.，非线性最优控制中确定性全局优化的Branch-and-lift算法，J Optim Theor Appl，162，1，208-248（2014）·Zbl 1307.49034号
[14] Houska B、Villanueva M、Chachuat B（2013）使用泰勒模型和椭球演算验证非线性常微分方程的积分算法。摘自：第52届IEEE决策与控制会议，第484-489页
[15] Houska，B。；马萨诸塞州维拉努埃瓦；Chachuat，B.，使用仿射集参数的非线性动态系统的稳定集值积分，SIAM J Numer Ana，53，5，2307-2328（2015）·Zbl 1326.65088号
[16] AA朱利叶斯；Pappas，GJ，使用局部有限时间不变性进行基于轨迹的验证，223-236（2009），柏林：施普林格出版社，柏林·Zbl 1237.93020号
[17] Kishida，M。；Braatz，RD，《设计空间构建的基于斜结构奇异值的方法：理论与应用》，IET控制理论A，8，14，1321-1327（2014）
[18] Kurzhanski，A.，集员状态估计问题的哈密顿技术，国际J自适应控制信号处理，25，3，249-263（2011）·Zbl 1222.93217号
[19] Laumond，JPP，机器人运动规划和控制（1998），纽约：Springer，纽约
[20] 利蒙，D。；布拉沃，JM；阿拉莫，T。；Camacho，EF，基于区间算法的约束非线性系统鲁棒MPC，IEE Proc Control Theor Appl，152，3，325-332（2005）
[21] Lin，Y。；Stadtherr，MA，参数ODE初值问题的验证解决方案，应用数值数学，57，10，1145-1162（2007）·Zbl 1121.65084号
[22] Lin，Y。；Stadtherr，MA，不确定参数非线性连续时间系统的故障检测，AIChE J，54，9，2335-2345（2008）
[23] Maidens，J。；Arcak，M.，使用矩阵测度的非线性系统可达性分析，IEEE Trans Autom Control，60，1，265-270（2015）·Zbl 1360.65190号
[24] Makino，K。；Berz，M.，Taylor模型和其他经验证的函数包含方法，国际纯粹应用数学杂志，4，4，379-456（2003）·Zbl 1022.65051号
[25] 米切尔，IM；巴彦，AM；Tomlin，CJ，连续动态博弈可达集的含时Hamilton-Jacobi公式，IEEE Trans-Autom Control，50，7，947-957（2005）·Zbl 1366.91022号
[26] 莫伊桑，M。；O·伯纳德。；Gouze，JL，不确定生物反应器的近最优区间观测器束，Automatica，45，1291-295（2009）·Zbl 1154.93321号
[27] Nedialkov，NS；KR杰克逊；Corliss，GF，常微分方程初值问题的验证解，应用数学计算，105，1，21-68（1999）·Zbl 0934.65073号
[28] Neumaier，A.，方程组的区间方法（1990），剑桥：剑桥大学出版社，剑桥·Zbl 2009年6月7日
[29] 雷蒙多，D。；Marseglia，G。；布拉茨，R。；Scott，J.，使用集值观测器进行保证故障诊断的闭环输入设计，Automatica，74，107-117（2016）·Zbl 1348.93098号
[30] Raissi，T。；Ramdani，N。；Candau，Y.，非线性微分方程描述系统的集成员状态和参数估计，Automatica，40，10，1771-1777（2004）·Zbl 1067.93019号
[31] 斯科特·J。；Barton，P.，半显式指数DAE解的区间界。第2部分：计算，数值数学，125，1，27-60（2011）·Zbl 1282.65096号
[32] 斯科特·J。；巴顿，P。；艾尔奇曼。；Reis，T.，《DAE模型的可达性分析和确定性全局优化》，微分代数方程III调查，61-116（2015），柏林：施普林格出版社，柏林·Zbl 1343.65104号
[33] Scott JK（2012）微分代数系统的可达性分析和确定性全局优化。麻省理工学院博士论文
[34] 斯科特，JK；Barton，PI，化学动力学模型解的紧有效边界，计算化学工程，34717-731（2010）
[35] 斯科特，JK；Barton，PI，半显式指数DAE解的区间界。第1部分：分析，数值数学，125，1，1-25（2011）·Zbl 1282.65095号
[36] 斯科特，JK；Barton，PI，非线性控制系统可达集的界，Automatica，49，1，93-100（2013）·兹比尔1257.93015
[37] 斯科特，JK；莱蒙多，DM；马塞格里亚，GR；Braatz，RD，约束分区：基于集合的估计和故障检测的新工具，Automatica，69，126-136（2016）·Zbl 1338.93119号
[38] 沈，K。；Scott，JK，《利用模型冗余对非线性动态系统进行快速准确的可达性分析》，Compute Chem Eng，106，596-608（2017）
[39] Shen K，Scott JK（2018）使用非线性和不确定解不变量的非线性系统的紧可达界。致：2018年美国年度控制会议（ACC），第6236-6241页
[40] Sideris，T.，《常微分方程和动力系统》（2013），巴黎：亚特兰蒂斯出版社，巴黎·Zbl 1293.34001号
[41] 辛格，A。；Barton，P.，非线性常微分方程全局优化，J Glob Optim，34159-190（2006）·Zbl 1091.49028号
[42] Villanueva ME、Feng X、Paulen R、Chachuat B、Houska B（2019）《受限可达性管道的凸面外壳》。IFAC-PapersOnLine 52（1）：118-123。In:第12届IFAC过程系统动力学和控制研讨会，包括2019年生物系统DYCOPS
[43] 马萨诸塞州维拉努埃瓦；Houska，B。；Chachuat，B.，参数非线性常微分方程连续时间封闭传播的统一框架，J Glob Optim，62，3，575-613（2015）·Zbl 1320.49013号
[44] 马萨诸塞州维拉努埃瓦；Quirynen，R。；Diehl，M。；Chachuat，B。；Houska，B.，《通过最小最大微分不等式实现鲁棒MPC》，Automatica，77，311-321（2017）·Zbl 1355.93057号
[45] Zhao，Y。；Stadtherr，MA，《路径约束不等式动态系统的严格全局优化》，Ind Eng Chem Res，50，22，12678-12693（2011）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。