×
亚历山德罗·阿巴特;玛丽亚·普兰迪尼;约翰·莱杰罗斯;Shankar Sastry公司

受控离散时间随机混合系统的概率可达性和安全性。 （英文） Zbl 1152.93051号

Automatica公司 44，第11号，2724-2734（2008）.
摘要：研究了一类具有控制输入的离散时间随机混合系统在有限时域上的概率可达性。将可达性问题适当地嵌入到随机控制框架中，可以得到两种互补的解释，从而产生可达性计算的对偶算法。特别是，提供一定概率保证的初始条件集，即系统将在状态空间的期望“安全”区域内保持演化，其特征是值函数，“最大安全”马尔可夫策略通过动态规划确定。这些结果不仅对安全分析和设计有意义，而且对解决那些可以重新解释为安全问题的调节和稳定问题也有意义。本文中提出的温度调节问题就是这样一种情况。

引用于66文件

MSC公司：

93E03型 控制理论中的随机系统（一般）
93个B03 可达集，可达性
93C55美元 离散时间控制/观测系统
49升20 最优控制与微分对策中的动态规划

关键词：

混合系统;随机系统;可达性;安全;最优控制;动态程序设计

软件：

马蒂斯;工具箱LS
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，Automatica 44，No.11，2724--2734（2008；Zbl 1152.93051）
全文： 内政部

参考文献：

[1] Abate，A.、Amin，S.、Prandini，M.、Lygeros，J.和Sastry，S.（2006）。离散时间随机混合系统的概率可达性和安全集计算。在第45届IEEE决策与控制会议记录; Abate，A.、Amin，S.、Prandini，M.、Lygeros，J.和Sastry，S.（2006）。离散时间随机混合系统的概率可达性和安全集计算。在第45届IEEE决策与控制会议记录·Zbl 1178.93069号
[2] 阿鲁尔（Alur，R.）。；Henzinger，T。；拉弗里尔，G。；Pappas，G.J.，混合系统的离散抽象，IEEE学报，88，2，971-984（2000）
[3] Asarin，E。；O.伯内兹。；Dang，T。；Maler，O.，分段线性动力系统的近似可达性分析，（Lynch，N.；Krogh，B.，混合系统：计算和控制，计算机科学讲义，第1790卷（2000），Springer Verlag），21-31·Zbl 0938.93502号
[4] Balluchi，A。；Benvenuti，L。；医学博士Di Benedetto。；米科尼，G.M。；波齐，美国。；Villa，T.，汽车发动机怠速控制的最大安全集计算，（Lynch，N.；Krogh，B.，混合系统：计算和控制，计算机科学讲义，第1790卷（2000），Springer Verlag），32-44·Zbl 0962.93070号
[5] 贝尔塔，C。；菲宁，P。；哈贝茨，L。；Halász，A。；伊米林斯基，M。；Kumar，V.，《使用混合系统的可达性分析理解细菌的严格响应》，（Alur，R.；Pappas，G.J.，《混合系统：计算和控制》，计算机科学讲义，第2993卷（2004），Springer Verlag），111-126·Zbl 1135.93334号
[6] Bertsekas，D.P.，使用反馈控制的状态空间区域的无限时间可达性，IEEE自动控制汇刊，AC-17，5，604-613（1972）·Zbl 0264.93011号
[7] Bertsekas博士。；Shreve，S.E.，《随机最优控制：离散时间案例》（1996），雅典娜科学出版社
[8] Bujorianu，M.L.，《扩展随机混合系统及其可达性问题》，（Alur，R.；Pappas，G.，《混合系统：计算与控制》，计算机科学讲义，第2993卷（2004），Springer Verlag），234-249·Zbl 1135.93373号
[9] Bujorianu，M.L.和Lygeros，J.（2004年）。一般随机混合系统：建模和最优控制。在第43届IEEE决策与控制会议记录; Bujorianu，M.L.和Lygeros，J.（2004）。一般随机混合系统：建模和最优控制。在第43届IEEE决策与控制会议记录
[10] Davis，M.H.A.，《马尔可夫模型与优化》（1993），查普曼和霍尔/CRC出版社：查普曼与霍尔/CRC伦敦出版社·Zbl 0780.60002号
[11] Digailova，I.A.和Kurzhanski，A.B.（2005）。受控随机噪声下的可达性分析。在国际会计师联合会第十六届世界大会会议记录; Digailova，I.A.和Kurzhanski，A.B.（2005）。控制相关随机噪声下的可达性分析。在国际会计师联合会第十六届世界大会会议记录
[12] Fehnker，A。；Ivančić，F.，《混合系统验证基准》，（Alur，R.；Pappas，G.J.，《杂交系统：计算和控制》，计算机科学讲义，第2993卷（2004），施普林格出版社），326-341·Zbl 1135.93324号
[13] Ghosh，M.K。；Araposthasis，A。；Marcus，S.I.，开关扩散的遍历控制，SIAM控制与优化杂志，35，6，1952-1988（1997）·Zbl 0891.93081号
[14] Girard，A.，使用分区图的不确定线性系统的可达性，（Morari，M.；Thiele，L.，混合系统：计算和控制，计算机科学讲义，第3414卷（2005），Springer Verlag），291-305·Zbl 1078.93005号
[15] Girard，A.、Julius，A.和Pappas，G.J.（2006）。混合系统的近似仿真关系。在第二届IFAC混合动力系统分析和设计会议记录; Girard，A.、Julius，A.和Pappas，G.J.（2006）。混合系统的近似仿真关系。在第二届IFAC混合动力系统分析和设计会议记录·Zbl 1395.93113号
[16] 胡，J。；Lygeros，J。；Sastry，S.，《走向随机混合系统理论》，（Lynch，N.；Krogh，B.，《混合系统：计算与控制》，计算机科学讲义，第1790卷（2000），Springer Verlag），160-173·Zbl 0962.93082号
[17] 胡，J。；Prandini，M。；Sastry，S.，《存在空间相关风场的飞机冲突预测》，IEEE智能运输系统汇刊，3326-340（2005）
[18] Katoen，J.P.，随机模型检验，（Cassandras，C.G.；Lygeros，J.，随机混合系统，自动化和控制工程系列，第24卷（2006年），Taylor&Francis Group/CRC Press），79-106
[19] Kumar，P.R。；Varaiya，P.P.，《随机系统：估计、识别和自适应控制》（1986），普伦蒂斯·霍尔公司：新泽西普伦蒂斯霍尔公司·Zbl 0706.93057号
[20] Kurzhanski，A.B。；Varaiya，P.，《不确定性下的可达性》，SIAM控制与优化杂志，41，1，181-216（2002）·Zbl 1025.34061号
[21] 库什纳，H.J。；Dupuis，P.G.，连续时间随机控制问题的数值方法（2001），Springer-Verlag:Springer-Verlag纽约·Zbl 0968.93005号
[22] Lygeros，J.，关于可达性和最小成本最优控制，Automatica，40-63117-927（2004）·Zbl 1068.93011号
[23] Lygeros，J。；托姆林，C。；Sastry，S.，《混合系统可达性规范的控制器》，Automatica，35，3，349-370（1999）·Zbl 0943.93043号
[24] Lygeros，J.和Watkins，O.（2003年）。离散时间系统的随机可达性：飞机防撞应用。在第42届IEEE决策与控制会议记录; Lygeros，J.和Watkins，O.（2003年）。离散时间系统的随机可达性：飞机防撞应用。在第42届IEEE决策与控制会议记录
[25] 马勒姆，R。；Chong，C.-Y.，通过高阶混合状态随机系统的扩散近似进行电力负荷模型综合，IEEE自动控制汇刊，30，9，854-860（1985）·兹伯利0566.93050
[26] 米切尔，I。；Templeton，J.，《用于分析非确定性连续和混合系统的Hamilton-Jacobi解算器工具箱》，（Morari，M.；Thiele，L.，《混合系统：计算和控制》，LNCIS，第3414卷（2005），Springer Verlag），480-494·Zbl 1078.93522号
[27] 米切尔，I。；Tomlin，C.，混合系统中计算的水平集方法，（Krogh，B.；Lynch，N.，混合系统：计算和控制，计算机科学讲义（2000），Springer Verlag），310-323·Zbl 0952.93006号
[28] 毕加索，B。；Bicchi，A.，量子化线性系统实际稳定化的控制综合，都灵大学Rendiconti研讨会，63，4，397-410（2005）·Zbl 1150.93007号
[29] Prajna，S。；Jadbabaie，A。；Pappas，G.J.，使用屏障证书进行最坏情况和随机安全验证的框架，IEEE自动控制交易，52，8，1415-1429（2007）·Zbl 1366.93711号
[30] Prandini，M。；Hu，J.，可达性计算的随机近似方法，（Blom，H.A.P.；Lygeros，J.），随机混合系统：理论和安全应用，控制和信息科学讲义，卷337（2006），Springer），107-139·Zbl 1130.93050号
[31] Prandini，M。；Hu，J.，《随机可达性：理论与数值逼近》，（Cassandras，C.G.；Lygeros，J.《随机混合系统》，《自动化与控制工程系列》，第24卷（2006），Taylor&Francis Group/CRC Press），107-138
[32] Prandini，M。；胡，J。；Lygeros，J。；Sastry，S.，飞机冲突检测的概率方法，IEEE智能运输系统汇刊，1，4，199-220（2000）
[33] Puterman，M.L.，Markov决策过程（1994），John Wiley&Sons，Inc·Zbl 0336.93047号
[34] 俄勒冈州斯特斯伯格。；Krogh，B.H.，混合系统可达集的有效表示和计算，（Pnueli，A.；Maler，O.，混合系统：计算和控制。混合系统：计算和控制，计算机科学讲义，第2623卷（2003），Springer Verlag），482-497·Zbl 1032.93037号
[35] 托姆林，C。；Lygeros，J。；Sastry，S.，《非线性混合系统的综合控制器》，（Henzinger，T.；Sastry
[36] 托姆林，C。；米切尔，I。；巴彦，A。；Oishi，M.，混合系统验证和控制的计算技术，IEEE学报，91，7，986-1001（2003）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。