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

DOI10.1016/J.AUTOMATICA.2016.10.013MaRDI QIDQ503162zbMATHOpenAlexFDO

Authors Maryam Kamgarpour, Tony A. Wood, Sean Summers, John Lygeros

Publication date 11 January 2017

Published in Automatica (Search for Journal in Brave)

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

zbMATH Keywords

dynamicsautomatonreachabilitycontrol synthesishybridstochastic systems

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Synthesis problems (93B50) Control/observation systems with incomplete information (93C41) Stochastic systems in control theory (general) (93E03)

Recommendations

• Control design for specifications on stochastic hybrid systems
• Stochastic system controller synthesis for reachability specifications encoded by random sets
• Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
• Abstraction-based synthesis for stochastic systems with omega-regular objectives

Cites work

• A stochastic games framework for verification and control of discrete time stochastic hybrid systems
• A stochastic reach-avoid problem with random obstacles
• Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
• Control design for specifications on stochastic hybrid systems
• Formal Verification and Synthesis for Discrete-Time Stochastic Systems
• Iterative temporal motion planning for hybrid systems in partially unknown environments
• Linear Time Logic Control of Discrete-Time Linear Systems
• On the connections between PCTL and dynamic programming
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Quantitative automata model checking of autonomous stochastic hybrid systems
• Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
• Receding horizon control for temporal logic specifications
• Stochastic system controller synthesis for reachability specifications encoded by random sets
• 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

Cited in

(4)

• Control design for specifications on stochastic hybrid systems
• Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
• Stochastic system controller synthesis for reachability specifications encoded by random sets
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

This page was built for publication: Control synthesis for stochastic systems given automata specifications defined by stochastic sets

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