Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems

DOI10.1109/TAC.2020.3010490zbMath1467.93292arXiv1811.11445OpenAlexW3044908040MaRDI QIDQ5002059

Sadegh Soudjani, Sofie Haesaert

Publication date: 26 July 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.11445

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Dynamic programming (90C39) Stochastic systems in control theory (general) (93E03) Temporal logic (03B44)

Related Items (6)

Similarity quantification for linear stochastic systems: a coupling compensator approach ⋮ Symbolic control for stochastic systems via finite parity games ⋮ SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱ ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

This page was built for publication: Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems