Toggle Main Menu Toggle Search

Open Access padlockePrints

Correct-by-Design Control of Parametric Stochastic Systems

Lookup NU author(s): Oliver Schoen, Dr Sadegh SoudjaniORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.

Publication metadata

Author(s): Schön O, Huijgevoort B, Haesaert S, Soudjani S

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 61st IEEE Conference on Decision and Control

Year of Conference: 2022

Online publication date: 10/01/2023

Acceptance date: 15/07/2022

Date deposited: 18/09/2022

ISSN: 2576-2370

Publisher: IEEE


DOI: 10.1109/CDC51059.2022.9992723

Library holdings: Search Newcastle University Library for this item

ISBN: 9781665467629