Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

• Published in: arXiv.org
• Main Authors: Schön, Oliver, Birgit van Huijgevoort, Haesaert, Sofie, Soudjani, Sadegh
• Format: Paper Journal Article
• Language: English
• Published: Ithaca Cornell University Library, arXiv.org 12.02.2024
• Subjects: Bayesian analysis; Computer Science - Logic in Computer Science; Computer Science - Systems and Control; Robust control; Safety critical; Statistical analysis; Stochastic systems; Temporal logic; Uncertainty

This paper addresses the problem of data-driven computation of controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. With a focus on continuous-space stochastic systems with parametric uncertainty, we propose a two-stage approa...