2022/10/15 by Oliver Schön, Schön, Oliver, Birgit van Huijgevoort +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Decision Sciences · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Logic in Computer Science (cs.LO) #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2210.08269
openalex publication_date 2022/10/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 develop new methods for models of systems subject to both stochastic and parametric uncertainties. We provide for the first time novel simulation relations for enabling correct-by-design control refinement, that are founded on coupling uncertainties of stochastic systems via sub-probability measures. Such new relations are essential for constructing abstract models that are related to not only one model but to a set of parameterized models. We provide theoretical results for establishing this new class of relations and the associated closeness guarantees for both linear and nonlinear parametric systems with additive Gaussian uncertainty. The results are demonstrated on a linear model and the nonlinear model of the Van der Pol Oscillator.