肖恩·萨默斯;玛丽亚姆·坎加普尔;克莱尔·汤姆林;约翰·莱杰罗斯 随机集编码可达性规范的随机系统控制器综合。 (英语) Zbl 1364.93871号 Automatica公司 第9号第49页,第2906-2910页(2013年). 摘要:我们考虑一个随机混合动力系统的可达无效规范,该规范定义为在某个有限时间达到目标集,同时避免了以前所有时间的不安全集。与早期将目标和避免集视为确定性的工作相比,我们认为这些集是概率的。导出了一种使可达失效概率最大的最优控制策略。利用随机集上的特殊结构,使计算易于处理大空间维数。 引用于1文件 MSC公司: 93E20型 最优随机控制 93亿B50 合成问题 93个B03 可达集,可达性 93立方 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统) 49升20 最优控制与微分对策中的动态规划 37时10分 生成、随机和随机差分及微分方程 关键词:混合系统;随机系统;可达性;安全;目标命中;最优控制;动态规划 PDF格式BibTeX公司 XML格式引用 \textit{S.Summers}等人,Automatica 49,第9期,2906--2910(2013;Zbl 1364.93871) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。