Stochastic system controller synthesis for reachability specifications encoded by random sets

DOI10.1016/J.AUTOMATICA.2013.06.016MaRDI QIDQ2628510zbMATH OpenOpenAlexFDO

Authors Sean Summers, Maryam Kamgarpour, Claire Tomlin, 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

dynamic programminghybrid systemsoptimal controlreachabilitysafetystochastic systemstarget hitting

Mathematics Subject Classification ID

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

Recommendations

• Control synthesis for stochastic systems given automata specifications defined by stochastic sets
• Control design for specifications on stochastic hybrid systems
• A stochastic reach-avoid problem with random obstacles
• Stochastic reachability of a target tube: theory and computation
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem

Cites work

• A stochastic reach-avoid problem with random obstacles
• Approximate Dynamic Programming
• Ergodic Control of Switching Diffusions
• scientific article; zbMATH DE number 425394 (Why is no real title available?)
• scientific article; zbMATH DE number 1022658 (Why is no real title available?)
• scientific article; zbMATH DE number 1956626 (Why is no real title available?)
• On reachability and minimum cost optimal control
• On the connections between PCTL and dynamic programming
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• 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
• Viability theory

Cited in

(6)

• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
• A stochastic reach-avoid problem with random obstacles
• Control design for specifications on stochastic hybrid systems
• Scalable underapproximative verification of stochastic LTI systems using convexity and compactness
• Control synthesis for stochastic systems given automata specifications defined by stochastic sets
• The linear programming approach to reach-avoid problems for Markov decision processes

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

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