Controller Synthesis for Reward Collecting Markov Processes in Continuous Space

DOI10.1145/3049797.3049827zbMath1369.93715OpenAlexW2606546905MaRDI QIDQ5275318

Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar

Publication date: 11 July 2017

Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

formal controller synthesiscontinuous-space stochastic systemsreward-collecting Markov processes

Mathematics Subject Classification ID

Continuous-time Markov processes on general state spaces (60J25) Automated systems (robots, etc.) in control theory (93C85) Optimal stochastic control (93E20) Synthesis problems (93B50) Markov and semi-Markov decision processes (90C40)

Related Items (2)

Collaborative models for autonomous systems controller synthesis ⋮ The Robot Routing Problem for Collecting Aggregate Stochastic Rewards

Uses Software

• PRISM
• FAUST2

This page was built for publication: Controller Synthesis for Reward Collecting Markov Processes in Continuous Space