Similarity quantification for linear stochastic systems: a coupling compensator approach

DOI10.1016/j.automatica.2022.110476zbMath1500.93133arXiv2007.09052OpenAlexW4285585399WikidataQ114204755 ScholiaQ114204755MaRDI QIDQ2165973

Sofie Haesaert, Birgit C. van Huijgevoort

Publication date: 23 August 2022

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

control synthesistemporal logicstochastic systemsapproximate simulation relations

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Stochastic systems in control theory (general) (93E03) Temporal logic (03B44)

Related Items (2)

SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱

Cites Work

• Unnamed Item
• Metrics for labelled Markov processes
• Hierarchical control system design using approximate simulation
• Approximating labelled Markov processes
• Formal methods for discrete-time dynamical systems
• Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
• \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
• Compositional construction of infinite abstractions for networks of stochastic control systems
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
• On approximation metrics for linear temporal model-checking of stochastic systems
• Linear Matrix Inequalities in System and Control Theory
• Approximations of Stochastic Hybrid Systems
• Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
• SReachTools
• StocHy - automated verification and synthesis of stochastic processes
• Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
• The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
• Set-theoretic methods in control
• Model checking of safety properties

This page was built for publication: Similarity quantification for linear stochastic systems: a coupling compensator approach