Stochastic system controller synthesis for reachability specifications encoded by random sets

DOI10.1016/j.automatica.2013.06.016zbMath1364.93871OpenAlexW2066909430MaRDI QIDQ2628510

Claire J. Tomlin, Sean Summers, Maryam Kamgarpour, John Lygeros

Publication date: 2 June 2017

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2013.06.016

zbMATH Keywords

optimal controldynamic programminghybrid systemsreachabilitysafetystochastic systemstarget hitting

Mathematics Subject Classification ID

Dynamic programming in optimal control and differential games (49L20) Optimal stochastic control (93E20) Synthesis problems (93B50) Generation, random and stochastic difference and differential equations (37H10) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• On reachability and minimum cost optimal control
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• On the connections between PCTL and dynamic programming
• A stochastic reach-avoid problem with random obstacles
• Ergodic Control of Switching Diffusions
• Approximate Dynamic Programming
• The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
• Viability theory

This page was built for publication: Stochastic system controller synthesis for reachability specifications encoded by random sets