{"abstract":[{"text":"This paper addresses the problem of computing controllers that are correct by\ndesign for safety-critical systems and can provably satisfy (complex)\nfunctional requirements. We develop new methods for models of systems subject\nto both stochastic and parametric uncertainties. We provide for the first time\nnovel simulation relations for enabling correct-by-design control refinement,\nthat are founded on coupling uncertainties of stochastic systems via\nsub-probability measures. Such new relations are essential for constructing\nabstract models that are related to not only one model but to a set of\nparameterized models. We provide theoretical results for establishing this new\nclass of relations and the associated closeness guarantees for both linear and\nnonlinear parametric systems with additive Gaussian uncertainty. The results\nare demonstrated on a linear model and the nonlinear model of the Van der Pol\nOscillator.","lang":"eng"}],"user_id":"55553","citation":{"ieee":"O. Schön, B. van Huijgevoort, S. Haesaert, and S. Soudjani, “Correct-by-Design Control of Parametric Stochastic Systems,” <i>arXiv:2210.08269</i>. 2022.","apa":"Schön, O., Huijgevoort, B. van, Haesaert, S., &#38; Soudjani, S. (2022). Correct-by-Design Control of Parametric Stochastic Systems. In <i>arXiv:2210.08269</i>.","mla":"Schön, Oliver, et al. “Correct-by-Design Control of Parametric Stochastic Systems.” <i>ArXiv:2210.08269</i>, 2022.","bibtex":"@article{Schön_Huijgevoort_Haesaert_Soudjani_2022, title={Correct-by-Design Control of Parametric Stochastic Systems}, journal={arXiv:2210.08269}, author={Schön, Oliver and Huijgevoort, Birgit van and Haesaert, Sofie and Soudjani, Sadegh}, year={2022} }","chicago":"Schön, Oliver, Birgit van Huijgevoort, Sofie Haesaert, and Sadegh Soudjani. “Correct-by-Design Control of Parametric Stochastic Systems.” <i>ArXiv:2210.08269</i>, 2022.","ama":"Schön O, Huijgevoort B van, Haesaert S, Soudjani S. Correct-by-Design Control of Parametric Stochastic Systems. <i>arXiv:221008269</i>. Published online 2022.","short":"O. Schön, B. van Huijgevoort, S. Haesaert, S. Soudjani, ArXiv:2210.08269 (2022)."},"title":"Correct-by-Design Control of Parametric Stochastic Systems","external_id":{"arxiv":["2210.08269"]},"date_created":"2022-12-18T10:49:53Z","publication":"arXiv:2210.08269","type":"preprint","year":"2022","_id":"34530","status":"public","author":[{"first_name":"Oliver","full_name":"Schön, Oliver","last_name":"Schön"},{"last_name":"Huijgevoort","full_name":"Huijgevoort, Birgit van","first_name":"Birgit van"},{"last_name":"Haesaert","full_name":"Haesaert, Sofie","first_name":"Sofie"},{"full_name":"Soudjani, Sadegh","last_name":"Soudjani","first_name":"Sadegh"}],"date_updated":"2022-12-18T10:52:57Z"}