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

DOI10.1016/J.AUTOMATICA.2016.10.013zbMATH Open1352.93045OpenAlexW2560497328MaRDI QIDQ503162FDOQ503162

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

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

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)

Cites Work

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

Cited In (1)

• 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)