Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems

DOI10.1145/2461328.2461373zbMath1362.68189DBLPconf/hybrid/TkachevMKA13OpenAlexW2018087463WikidataQ57801130 ScholiaQ57801130MaRDI QIDQ2986934

Alexandru Mereacre, Ilya Tkachev, Alessandro Abate, Joost-Pieter Katoen

Publication date: 16 May 2017

Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

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

zbMATH Keywords

stochastic optimal controlformal verificationstochastic hybrid systemsprobabilistic reachabilityapproximate abstractions

Mathematics Subject Classification ID

Discrete-time Markov processes on general state spaces (60J05) Formal languages and automata (68Q45) Optimal stochastic control (93E20) Synthesis problems (93B50) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)

Related Items (12)

Compositional abstraction-based synthesis for networks of stochastic switched systems ⋮ Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Certified reinforcement learning with logic guidance ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Reachability for partially observable discrete time stochastic hybrid systems ⋮ Control synthesis for stochastic systems given automata specifications defined by stochastic sets ⋮ Quantitative model-checking of controlled discrete-time Markov processes ⋮ Compositional construction of infinite abstractions for networks of stochastic control systems ⋮ Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical 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

Cites Work

• A note on two problems in connexion with graphs
• Enhancing model checking in verification by AI techniques
• Receding horizon control for temporal logic specifications
• Model Repair for Probabilistic Systems
• Markov decision processes and regular events
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems