×
科斯塔斯·马杰洛斯；约翰·利格罗斯

混合系统的可行集计算。 （英语） Zbl 1291.93122号

非线性分析。，混合系统。 10, 45-62 (2013).
摘要：在本文中，我们重新讨论了具有非线性连续动力学和竞争输入的混合系统的生存集计算问题。与文献中常见的一样，采用了基于连续算子和离散算子交替应用的迭代算法。根据连续演化和离散跃迁的数量是有限的还是无限的，考虑了不同的情况。基于动态规划，提供了可达-无效计算（涉及连续时间计算）的完整特征。此外，对于某类自动机，我们使用Tarski不动点定理的构造版本来确定闭集完备格上单调算子的最大不动点，从而证明了迭代过程的收敛性。将生存算法应用于一个基准示例和线路故障情况下单机负荷系统的电压稳定性问题。

引用于5文件

MSC公司：

93B40码 系统理论中的计算方法（MSC2010）
93年2月28日 操作员理论方法
49升25 最优控制和微分对策中Hamilton-Jacobi方程的粘性解
90立方厘米 动态编程
47N10号 算子理论在最优化、凸分析、数学规划、经济学中的应用

关键词：

混合系统；生存能力；最优控制；微分博弈论；粘度溶液；晶格理论
PDF格式BibTeX公司 XML格式引用
\textit{K.Margellos}和\textit{J.Lygeros}，非线性分析。，混合系统。10、45-62（2013年；Zbl 1291.93122）
全文： 内政部 arXiv公司

参考文献：

[2] 谢赫，M。；Caines，P.，《关于混合最优控制问题：分析和算法》，IEEE自动控制汇刊，52，9，1587-1603（2007）·Zbl 1366.93061号
[3] 博卡多罗，M。；沃迪，Y。；埃格斯特德，M。；Verriest，E.，混合动力系统中切换面的最优控制，离散事件动力系统杂志，15，4，433-448（2005）·Zbl 1101.93054号
[4] Liberzon，D.，变分法和最优控制理论。《简明导言》（2011），普林斯顿大学出版社
[5] 马勒，O。；普努利，A。；Sifakis，J.，《关于定时系统离散控制器的综合》，（《计算机科学的理论方面》，《计算机科学理论方面》第900卷（1995）），229-242·Zbl 1379.68227号
[6] 海曼，M。；林，F。；Meyer，G.，混合系统最小干预法律控制器的合成与可行性，离散事件动态系统：理论与应用，8，2，105-135（1998）·Zbl 0926.93024号
[8] Lygeros，J。；托姆林，C。；Sastry，S.，《混合系统可达性规范的控制器》，Automatica，35，349-370（1999）·Zbl 0943.93043号
[9] 托姆林，C。；Lygeros，J。；Sastry，S.，混合系统控制器设计的博弈论方法，IEEE会议录，88，7，949-969（2000）
[10] Aubin，J.，《生存理论》（1991），Birkhäuser:Birkháuser Boston·兹比尔0755.93003
[11] 巴萨尔，T。；Olsder，G.J.，《动态非合作博弈论》（1982），学术出版社：纽约学术出版社·Zbl 0479.90085号
[12] Lygeros，J.，关于可达性和最小成本最优控制，Automatica，40，61917-927（2004）·Zbl 1068.93011号
[13] 米切尔，I。；Bayen，A.M。；Tomlin，C.，连续动态博弈可达集的含时Hamilton-Jacobi公式，IEEE自动控制汇刊，50947-957（2005）·Zbl 1366.91022号
[14] Gao，Y.G。；Lygeros，J。；Quincampoix，M.，关于不确定混合系统的可达性问题，IEEE自动控制汇刊，52，9，1572-1586（2007）·Zbl 1366.91021号
[15] Aubin，J.P。；Lygeros，J。；Quincampoix，医学博士。；Sastry，S。；Seube，N.，《脉冲微分包含：混合系统的可行性方法》，IEEE自动控制汇刊，47，1，2-20（2002）·Zbl 1364.49018号
[19] 马盖洛斯，K。；Lygeros，J.，可达无效微分对策的Hamilton-Jacobi公式，IEEE自动控制汇刊，56，8，1849-1861（2011）·Zbl 1368.49044号
[20] Fialho，I.J。；Georgiou，T.，非线性系统的最坏情况分析，IEEE自动控制汇刊，44，6，1180-1196（1999）·Zbl 0957.93022号
[21] Kurzhanski，A.B。；米切尔，I.M。；Varaiya，P.，状态约束控制和障碍问题的优化技术，优化理论与应用杂志，128，3，499-521（2006）·Zbl 1103.49014号
[22] Tarski，A.，《格理论不动点定理及其应用》，《太平洋数学杂志》，5285-309（1955）·Zbl 0064.26004号
[23] 戴维，B。；Priestley，H.，《格与序导论》（2002），剑桥大学出版社·Zbl 1002.06001号
[24] 库索特，P。；库索特，R.，塔斯基不动点定理的构造性版本，太平洋数学杂志，82，1，43-57（1979）·Zbl 0413.06004号
[25] Nerode，A。；雷梅尔，J.B。；Yakhnis，A.，控制器作为集值算子的不动点，（混合系统：计算与控制（1995），Springer-Verlag），344-358
[28] 莱格罗斯，J。；约翰逊，K。；西米奇，S。；张杰。；Sastry，S.，混合自动机的动力学特性，IEEE自动控制汇刊，48，1，2-17（2003）·Zbl 1364.93503号
[29] 埃文斯，L。；Souganidis，P.，Hamilton-Jacobi-Isaacs方程解的微分对策和表示公式，印第安纳大学数学期刊，33，5，773-797（1984）·Zbl 1169.91317号
[30] Varaiya，P.P.，关于微分对策解的存在性，SIAM控制与优化杂志，5，1，153-162（1967）·兹伯利0154.09901
[31] 巴迪，M。；Capuzzo-Dolectta，I.，Hamilton-Jacobi-Bellman方程的最优控制和粘度解（2008），Birkhäuser:Birkháuser Boston·Zbl 1134.49022号
[32] Cardaliaguet，P.，非光滑半透性障碍，Isaacs方程，以及在一个目标和两个参与者的微分对策中的应用，应用数学与优化，36，2，125-146（1997）·Zbl 0907.90292号
[33] Evans，L.，偏微分方程（1998），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0902.35002号
[34] Sethian，J.A.，《水平集方法：几何、流体力学、计算机视觉和材料科学中的进化接口》（1996），剑桥大学出版社：剑桥大学出版社，纽约·Zbl 0859.76004号
[36] Mitchell，I.，《比较前向和后向可达性作为安全分析工具》，（混合系统：计算和控制（2007）），428-443·Zbl 1221.93029号
[37] 郑浩。；Lee，E。；艾姆斯，A.，《超越芝诺》：继续！，（《混合系统程序：计算与控制》，HSCC。《混合系统的程序：计算和控制》，HSCC，LNCS，第3927卷（2006）），1-15·Zbl 1178.93079号
[38] 约翰逊，K。；埃格斯特德，M。；Lygeros，J。；Sastry，S.，Zeno混合自动机的正则化，系统与控制快报，141-150（1999）·Zbl 0948.93031号
[39] Birkhoff，G.（晶格理论。晶格理论，学术讨论会出版物，第25卷（1976年），Amer。数学。Soc.：美国。数学。罗德岛州普罗维登斯Soc.Providence）·Zbl 0126.03801号
[40] Barron，E。；Jensen，R.，具有凸哈密顿量的Hamilton-Jacobi方程的半连续粘性解，偏微分方程中的通讯，15，12，1713-1742（1990）·Zbl 0732.35014号
[41] Venkatasubramanian，V。；Schättler，H。；Zaborszky，J.，《电压动力学：具有电压控制、传输和匹配MW负载的发电机的研究》，IEEE自动控制汇刊，37，11，1717-1733（1992）·Zbl 0800.94316号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。