×
雨果·内斯托·维莱加斯·皮科；Aliprantis，Dionysios C。

具有常数、任意和Lipschitz连续输入的线性动态系统的可达性分析。 （英语） Zbl 1402.93051号

自动化 95, 293-305 (2018).
摘要：本文提出了一种连续时间线性动态系统可达性分析方法，可用于以浮点精度计算状态和输出的时域界。重点是使状态或输出轨迹及时达到极值的特定初始条件和输入。输入可以是恒定、任意或Lipschitz连续波形。初始条件和输入中的不确定性使用分区图建模。计算利用了分区图的定义和线性系统动力学的模态信息。

引用于1文件

MSC公司：

93个B03 可达集，可达性
93二氧化碳 控制理论中的线性系统
93立方厘米 信息不完整的控制/观测系统
93B40码 系统理论中的计算方法（MSC2010）

关键词：

可达性；系统分析

软件：

CLP公司；朱莉娅；X速度；CAPD（机顶盒）；CORA公司；舒适的；SpaceEx公司
PDF格式BibTeX公司 XML格式引用
\textit{H.N.Villegas Pico}和\textit{D.C.Aliprantis}，Automatica 95，293--305（2018；Zbl 1402.93051）
全文： DOI程序 链接

参考文献：

[1] Althoff，M.，可达性分析及其在自动驾驶汽车安全评估中的应用，（2010），慕尼黑理工大学，（博士论文）
[2] Althoff，M.，《使用可达集的电力系统的形式和组成分析》，IEEE电力系统汇刊，29，52227-2280，（2014）
[3] Althoff，M.，CORA 2016手册，（2016），德国慕尼黑工业大学，加兴，网址：http://www.i6.in.tum.de/pub/Main/SoftwareCORA/Cora2016手册.pdf
[4] 阿尔托夫，M。；Dolan，J.M.，使用可达性分析对自动化道路车辆进行在线验证，IEEE机器人交易，30，4，903-918，（2014）
[5] 阿尔托夫，M。；Krogh，B.H.，在混合系统可达性分析中避免几何交叉操作，混合系统：计算与控制，（2012），中国北京·Zbl 1362.93012号
[6] Althoff，M.、Stursberg，O.和Buss，M.（2008）。采用保守线性化方法对具有不确定参数的非线性系统进行可达性分析。在程序。第47届IEEE Conf.决策与控制; Althoff，M.、Stursberg，O.和Buss，M.（2008）。采用保守线性化方法对具有不确定参数的非线性系统进行可达性分析。在程序。第47届IEEE Conf.决策与控制
[7] 安德森，P.M。；Fouad，A.A.，（电力系统控制和稳定性，IEEE出版社电力工程系列，（2003），John Wiley&Sons）
[8] 安德森，P.M。；Mirheydar，M.，低阶系统频率响应模型，IEEE电力系统汇刊，5720-729，（1990）
[9] Barbarosie，C.，《减少包装效应》，《计算杂志》，54，4，347-357，（1995）·Zbl 0840.65065号
[10] M.Berz。；Hoffstätter，G.，带区间剩余界的泰勒多项式的计算和应用，可靠计算，483-97，（1998）·Zbl 0897.65005号
[11] Berz，M.和Makino，K.（2002年）。COSY INFINITY 8.1版用户指南和参考手册，密歇根州东兰辛，邮编48824。；Berz，M.和Makino，K.（2002年）。COSY INFINITY 8.1版用户指南和参考手册，密歇根州东兰辛48824。
[12] 贝赞森，J。；爱德曼，A。；卡宾斯基，S。；Shah，V.B.，Julia:《数值计算的新方法》，计算研究库（2014），网址http://arxiv.org/abs/1411.1607
[13] 布兰奇尼，F。；Miani，S.，《控制、系统和控制中的理论方法：基础与应用》，（2008年），纽约州波士顿市Birkhä用户·兹比尔1140.93001
[14] 博伊德，S。；El Ghaoui，L。；Feron，E。；Balakrishnan，V.，（系统和控制理论中的线性矩阵不等式，应用数学研究，第15卷，（1994），工业和应用数学学会，宾夕法尼亚州费城）·Zbl 0816.93004号
[15] 博伊德，S。；Vandenberghe，L.，《凸优化》，（2009），纽约剑桥大学出版社，第7版
[16] CAPD集团（2017年）。波兰克拉科夫贾吉隆大学计算机辅助动力学证明（CAPD）。网址：http://capd.ii.uj.edu.pl/people.php; CAPD集团（2017年）。波兰克拉科夫贾吉隆大学计算机辅助动力学证明（CAPD）。网址：http://capd.ii.uj.edu.pl/people.php
[17] Chen，Y.C。；Domínguez-García，a.D.，《研究可再生资源可变性对电力系统动力学影响的方法》，IEEE电力系统汇刊，271978-1989，（2012）
[18] Chutinan，A。；Krogh，B.H.，混合系统验证的计算技术，IEEE自动控制汇刊，48，1，64-75，（2003）·Zbl 1364.93457号
[19] Dit Sandretto，法学硕士。；Chapoutot，A.，《用Runge-Kutta方法验证微分代数方程的模拟》，《可靠计算》，22，56-77，（2016），专门讨论SWIM 2015材料的特刊
[20] 道尔，M。；Jarratt，P.，计算方程根的一种改进的正则falsi方法，BIT数值数学，11，2，168-174，（1971）·Zbl 0236.65036号
[21] Duggirala，P.S。；Viswanathan，M.，Parsimonious，基于仿真的线性系统验证，（Proc.28 Int.Conf.Compute.Aided verification，（2016），Springer Int.Publishing Toronto，ON，Canada）·Zbl 1411.68064号
[22] El-Guindy，A。；Han，D。；Althoff，M.，《汽包锅炉机组的形式化分析以最大限度地提高发电厂的负荷跟踪能力》，IEEE电力系统汇刊，31，6，4691-4702，（2016）
[23] Forrest，J.、Nuez，D.和Lougee-Heimer，R.（2004）。CLP用户指南，IBM Corporation。网址：https://projects.coin-or.org/Clp/wiki; Forrest，J.、Nuez，D.和Lougee-Heimer，R.（2004）。CLP用户指南，IBM Corporation。网址：https://projects.coin-or.org/Clp/wiki
[24] Frehse，G.（2015）。为可达性计算仿射动力学的最大化轨迹程序。2015 IEEE第54年。协调决策和控制; Frehse，G.（2015）。为可达性计算仿射动力学的最大化轨迹程序。2015 IEEE第54年。协调决策和控制
[25] Frehse，G。；Le Guernic，C。；A.Donzé。；棉花，S。；雷·R。；Lebeltel，O.，Spaceex：混合系统的可扩展验证，（Gopalakrishnan，G.；Qadeer，S.，计算机课堂讲稿，科学卷6806，（2012），Springer），379-395
[26] Gautschi，W.，《数值分析》（2012），纽约Birkhäuser·兹比尔1378.65002
[27] Girard，A.（2005年）。使用区域图的不确定线性系统的可达性。在程序。第八届国际会议混合动力系统; Girard，A.（2005）。使用区域图的不确定线性系统的可达性。在程序。第八届国际会议混合动力系统·Zbl 1078.93005号
[28] Girard，A。；Le Guernic，C。；Maler，O.，具有输入的线性时不变系统可达集的有效计算，（Hespanha，J.；Tiwari，A.，混合系统：计算和控制，Comp.Sci.讲义，第3927卷，（2006），Springer Berlin Heidelberg），257-271·兹比尔1178.93024
[29] Golub，G.H。；Van Loan，C.F.，矩阵计算，（2013），约翰·霍普金斯大学出版社·Zbl 1268.65037号
[30] 格兰杰，J。；Stevenson Jr.，W.，电力系统分析，电气与计算机工程，（1994），新泽西州麦格劳-希尔教育高中
[31] Jin，L。；刘，H。；库马尔，R。；麦卡利，J.D。；Elia，N。；Ajjarapu，V.，《使用基于可达性的稳定域计算的电力系统暂态稳定设计》，（《北美电力公司学报》，（2005年），艾姆斯IA）
[32] Kroposki，B。；约翰逊，B。；Zhang，Y。；格沃吉安，V。；Denholm，P。；Hodge，B.，获得100分
[33] Kurzhanski，A.B。；Varaiya，P.，关于可达性分析的椭球技术。第一部分：外部近似，优化方法与软件杂志，17，177-237，（2000）·Zbl 1017.93008号
[34] Kurzhanski，A.A。；Varaiya，P.，离散时间线性系统可达性分析的椭球技术，IEEE自动控制汇刊，52，1，26-38，（2007）·Zbl 1366.93039号
[35] Kurzhanski，A.B。；Varaiya，P.，《轨道管动力学与控制：理论与计算、系统与控制：基础与应用》，（2014年），瑞士伯克哈斯·Zbl 1336.93004号
[36] Le Guernic，C.，线性连续动力学混合系统的可达性分析，（2009），格勒诺布尔大学I-Joseph Fourier，（博士论文）
[37] Le Guernic，C。；Girard，A.，使用支持函数的线性系统可达性分析，非线性分析：混合系统，4，2，250-262，（2010）·兹比尔1201.93018
[38] Lohner，R.J.，《封闭普通初值和边值问题的解》，（Kaucher，E.W.；Kulisch，U.W.；Ullrich，C.，《计算机算法：科学计算和编程语言》，（1987），威利-特布纳-斯图加特），255-286·Zbl 0614.65001号
[39] 马伊加，M。；Ramdani，N。；TravéMassuyès，L。；Combastel，C.，《不确定非线性混合系统可达性分析的综合方法》，IEEE自动控制汇刊，61，9，2341-2356，（2016）·Zbl 1359.93044号
[40] 牧野，K。；Berz，M.，使用基于泰勒模型的范围边界验证全局优化，IEEE计算机学报，4，11，1611-1618，（2005）
[41] 牧野，K。；Berz，M.，《用基于泰勒模型的验证积分器抑制包裹效应：单步法》，《国际微分方程与应用杂志》，36，2，175-197，（2006）·Zbl 1131.65060号
[42] 米切尔，I。；Tomlin，C.J.，混合系统中计算的水平集方法，（Proc.3rd Int.Workshop hybrid syst.：计算与控制，（2000），英国斯普林格-弗拉格伦敦），310-323·Zbl 0952.93006号
[43] 摩尔，R.E。；Kearfott，R.B。；Cloud，M.J.，区间分析导论，（2009），宾夕法尼亚州费城SIAM·Zbl 1168.65002号
[44] Nedialkov，N.S.（2006年）。ODE和DAE的间隔工具。在程序。第12届GAMM——IMACS国际交响乐团。科学计算。算术和验证数字; Nedialkov，N.S.（2006年）。ODE和DAE的间隔工具。在程序。第12届GAMM——IMACS国际交响乐团。科学计算。算术和验证数字
[45] Raković，S.V.和Fiacchini，M.（2008）。利用同调和不变性对线性离散时间系统进行近似可达性分析。在程序。第17届世界大会。国际联合会自动。控制; Raković，S.V.和Fiacchini，M.（2008）。线性离散时间系统的近似可达性分析。在程序。第17届世界大会。国际联合会自动。控制
[46] Raković，S.V。；科里根，E.C。；D.Q.梅恩。；Lygeros，J.，离散时间扰动系统的可达性分析，IEEE自动控制汇刊，51，4，546-561，（2006）·Zbl 1366.93060号
[47] Ramdani，N。；Meslem，N。；Candau，Y.，《计算不确定非线性系统可达集超逼近的混合定界方法》，IEEE自动控制汇刊，54，2352-2364，（2009）·Zbl 1367.93063号
[48] Ray，R.、Gurung，A.、Das，B.、Bartocci，E.、Bogomolov，S.和Grosu，R.（2015）。XSpeed：加速多核处理器上的可达性分析。在计算机课堂讲稿。科学。硬件和软件：验证和测试; Ray，R.、Gurung，A.、Das，B.、Bartocci，E.、Bogomolov，S.和Grosu，R.（2015）。XSpeed：加速多核处理器上的可达性分析。在计算机课堂讲稿。科学。硬件和软件：验证和测试
[49] SpaceEx（2017）。法国Verimag实验室常见问题解答。网址：http://spaceex.imag.fr/documentation/user-documentment/frequently-asked-questions-21; SpaceEx（2017）。法国Verimag实验室常见问题解答。网址：http://spaceex.imag.fr/documentation/user-documentment/frequently-asked-questions-21
[50] Susuki，Y。；Koo，T.J。；埃比纳，H。；山崎，T。；Ochi，T。；Uemura，T.，《电网动态性能分析和设计的混合系统方法》，IEEE学报，100，1，225-239，（2012）
[51] 汤姆林，C.J。；米切尔，I。；Bayen，A.M。；Oishi，M.，混合系统验证的计算技术，IEEE学报，91，7，986-1001，（2003）
[52] Trefethen，L.N。；Bau，III，D.，数值线性代数，（1997），宾夕法尼亚州费城SIAM·Zbl 0874.65013号
[53] Villegas Pico，H.N。；Aliprantis，D.C.，《使用可达性分析对带有全额定变流器的风力涡轮机进行电压穿越能力验证》，IEEE能量转换交易，29，2，392-405，（2014）
[54] Villegas Pico，H.N。；Aliprantis，D.C.，使用可达性分析验证基于DFIG的风力涡轮机的电压穿越能力，IEEE能量转换交易，31，4，1387-1398，（2016）
[55] 伍德，A。；Wollenberg，B。；Sheblé，G.，《发电、运行和控制》，（2013年），新泽西州威利国际科学院霍博肯
[56] 2015年区间算术工作组。IEEE区间算术标准。IEEE标准1788-2015。；2015年区间算术工作组。IEEE区间算术标准。IEEE标准1788-2015。
[57] 萨拉特·米尼亚诺，R。；安格尔，M。；Milano，F.，基于随机微分方程的连续风速模型，《应用能源杂志》，104，42-49，（2013）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。