×

随机集编码可达性规范的随机系统控制器综合。 (英语) Zbl 1364.93871号

摘要:我们考虑一个随机混合动力系统的可达无效规范,该规范定义为在某个有限时间达到目标集,同时避免了以前所有时间的不安全集。与早期将目标和避免集视为确定性的工作相比,我们认为这些集是概率的。导出了一种使可达失效概率最大的最优控制策略。利用随机集上的特殊结构,使计算易于处理大空间维数。

MSC公司:

93E20型 最优随机控制
93亿B50 合成问题
93个B03 可达集,可达性
93立方 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统)
49升20 最优控制与微分对策中的动态规划
37时10分 生成、随机和随机差分及微分方程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿巴特,A。;Prandini,M。;Lygeros,J。;Sastry,S.,受控离散时间随机混合系统的概率可达性和安全性,Automatica,44,11,2724-2734(2008)·Zbl 1152.93051号
[2] Aubin,J.-P.,《生存能力理论》(1991年),美国马萨诸塞州剑桥市博克豪斯波士顿公司·Zbl 0755.93003号
[3] Bertsekas,D.P。;Shreve,S.E.,《随机最优控制:离散时间情况》(2007),Athena Scientific
[4] Bujorianu,M.L。;Lygeros,J.,分段确定性马尔可夫过程中的可达性问题,(Maler,O.;Pnueli,A.,混合系统:计算和控制,计算机科学讲义,第2623卷(2003),Springer),126-140·Zbl 1032.93074号
[5] Davis,M.,马尔可夫模型与优化(1993),查普曼和霍尔出版社:伦敦查普曼和霍尔出版社·Zbl 0780.60002号
[6] Ghosh,M.K。;阿拉珀塔提斯,A。;Marcus,S.I.,开关扩散的遍历控制,SIAM控制与优化杂志,35,6,1952-1988(1997)·Zbl 0891.93081号
[10] Lygeros,J.,《可达性和最小成本最优控制》,Automatica,40,6,917-927(2004)·Zbl 1068.93011号
[11] Powell,W.B.,(近似动态规划。近似动态规划,概率和统计中的Wiley系列(2007),Wiley-Interscience,John Wiley&Sons:Wiley-Interscience、John Willey&Sons Hoboken,NJ)·Zbl 1156.90021号
[12] Ramponi,F。;查特吉,D。;萨默斯,S。;Lygeros,J.,《关于PCTL与动态规划之间的联系》(Johansson,K.H.;Yi,W.,HSCC(2010),ACM),第253-262页·Zbl 1361.68150号
[13] Rudin,W.,Real and complex analysis(1987),McGraw-Hill,Inc.:美国纽约州纽约市McGraw-Hill,Inc·Zbl 0925.00005
[15] 萨默斯,S。;Lygeros,J.,离散时间随机混合系统的验证:一个随机到达避免决策问题,Automatica,46,121951-1961(2010)·Zbl 1371.93220号
[16] 汤姆林,C.J。;米切尔,I。;Bayen,A.M。;Oishi,M.,混合系统验证的计算技术,IEEE学报,91,7,986-1001(2003)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。