Control synthesis for stochastic systems given automata specifications defined by stochastic sets

详细信息    查看全文

• 作者：Maryam Kamgarpour ^{mkamgar@control.ee.ethz.ch}Author Vitae ; Tony A. Wood ^{woodt@control.ee.ethz.ch}Author Vitae ; Sean Summers ^{ssummers@control.ee.ethz.ch}Author Vitae ; John Lygeros ^{lygeros@control.ee.ethz.ch}Author Vitae
• 关键词：Stochastic ; Dynamics ; Control synthesis ; Hybrid ; Automaton ; Reachability
• 刊名：Automatica
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：76
• 期：Complete
• 页码：177-182
• 全文大小：1075 K
• 卷排序：76

文摘

The problem of control synthesis to maximize the probability of satisfying automata specifications for systems with uncertainty is addressed. Two types of uncertainty are considered; stochasticity in the dynamical system and in the sets defining the specifications. We model the uncertain dynamical sets as stochastic set processes. We show that the optimal control policy can be computed by solving a reachability problem for a hybrid stochastic system, which evolves on product state spaces of the automaton, stochastic sets, and the dynamical system. We derive an approximation to the stochastic set processes to alleviate the complexity of reachability computation. A case study illustrates the framework and the solution approach.