A stochastic reach-avoid problem with random obstacles

DOI10.1145/1967701.1967738MaRDI QIDQ2986736zbMATH OpenOpenAlexFDO

Authors Sean Summers, Maryam Kamgarpour, John Lygeros, Claire Tomlin

Publication date 16 May 2017

Published in Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1967701.1967738

zbMATH Keywords

dynamic programmingMarkov processesrandom setsreachability

Mathematics Subject Classification ID

Dynamic programming (90C39) Optimal stochastic control (93E20)

Recommendations

• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Stochastic system controller synthesis for reachability specifications encoded by random sets
• Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles
• The stochastic reach-avoid problem and set characterization for diffusions
• State constrained reachability for stochastic hybrid systems

Cited in

(16)

• Lagrangian approximations for stochastic reachability of a target tube
• Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles
• Optimal collision-avoiding deceleration when approaching a stochastically vanishing obstacle
• A stochastic games framework for verification and control of discrete time stochastic hybrid systems
• Stochastic system controller synthesis for reachability specifications encoded by random sets
• The stochastic reach-avoid problem and set characterization for diffusions
• Stochastic reachability based motion planning for multiple moving obstacle avoidance
• A stochastic approximation method for reachability computations
• Control synthesis for stochastic systems given automata specifications defined by stochastic sets
• Random obstacle problems. École d'Été de Probabilités de Saint-Flour XLV -- 2015
• Un algoritmo estocástico para resolver laberintos
• Robust model predictive control for obstacle avoidance: discrete time case
• The linear programming approach to reach-avoid problems for Markov decision processes
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Safe autonomy under perception uncertainty using chance-constrained temporal logic
• A learning-based approach to stochastic optimal control under reach-avoid constraint

This page was built for publication: A stochastic reach-avoid problem with random obstacles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986736)