6 citations · 8 across the 5 of their papers we have counts for
5 papers
Specification-guided temporal logic control for stochastic systems: a multi-layered approach
Birgit C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani +1
Designing controllers to satisfy temporal requirements has proven to be challenging for dynamical systems that are affected by uncertainty. This is mainly due to the states evolvin…
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert +1
In this paper, we present an approach for designing correct-by-design controllers for cyber-physical systems composed of multiple dynamically interconnected uncertain systems. We c…
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert +1
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 requ…
SySCoRe: Synthesis via Stochastic Coupling Relations
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani +1
We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications. Starting from a system descripti…
Correct-by-Design Control of Parametric Stochastic Systems
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert +1
This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We deve…