\textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems

DOI10.1007/978-3-030-53291-8_24zbMath1481.93037arXiv2005.06191OpenAlexW3046763300MaRDI QIDQ2226754

Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani

Publication date: 9 February 2021

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

zbMATH Keywords

parallel algorithmsdiscrete-time stochastic systemsautomated controller synthesisfinite MDPshigh performance computing platform

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Synthesis problems (93B50) Markov and semi-Markov decision processes (90C40) Stochastic systems in control theory (general) (93E03) Large-scale systems (93A15) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Related Items (7)

Formal abstraction and synthesis of parametric stochastic processes ⋮ Similarity quantification for linear stochastic systems: a coupling compensator approach ⋮ Certified reinforcement learning with logic guidance ⋮ SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ AMYTISS ⋮ 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: \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems