Zobrazeno 1 - 10
of 16
pro vyhledávání: '"van Huijgevoort, Birgit"'
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 evolving in a continuous uncountable space, the stochastic evolution of the s
Externí odkaz:
http://arxiv.org/abs/2407.03896
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 consider networked discrete-time uncertain nonlinear systems with addit
Externí odkaz:
http://arxiv.org/abs/2309.01276
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 par
Externí odkaz:
http://arxiv.org/abs/2304.07428
Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task. In this work, we develop a direct data-driven control synthesis method for temporal logic speci
Externí odkaz:
http://arxiv.org/abs/2304.02297
We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications. Starting from a system description and a co-safe temporal logic specification, SySCoRe provides all ne
Externí odkaz:
http://arxiv.org/abs/2302.12294
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 p
Externí odkaz:
http://arxiv.org/abs/2210.08269
Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task for complex systems. In this paper, we develop a direct data-driven controller synthesis method
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f7809d22f828b356112e705d5282e6f3
http://arxiv.org/abs/2304.02297
http://arxiv.org/abs/2304.02297
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 focus on continuous-state uncertain systems, we propose
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9295aa2267cc2d3952a43544f70bd5fb
Autor:
Abate, Alessandro, Blom, Henk, Delicaris, Joanna, Haesaert, Sofie, Hartmanns, Arnd, van Huijgevoort, Birgit, Lavaei, Abolfazl, Ma, Hao, Niehage, Mathis, Remke, Anne, Schön, Oliver, Schupp, Stefan, Soudjani, Sadegh, Willemsen, Lisa, Frehse, Goran, Althoff, Matthias, Schoitsch, Erwin, Guiochet, Jeremie
Publikováno v:
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
EPiC Series in Computing, 90, 113-141. EasyChair
EPiC Series in Computing, 90, 113-141. EasyChair
This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks and their properties within this category and recommends next steps for this category towa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d710b4feaa801478e20d15ab407e22aa
https://doi.org/10.29007/lsvc
https://doi.org/10.29007/lsvc
Publikováno v:
Automatica, 144:110476. Elsevier
For the formal verification and design of control systems, abstractions with quantified accuracy are crucial. This is especially the case when considering accurate deviation bounds between a stochastic continuous-state model and its finite (reduced-o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::779e2a0557ab7ccc5e1a8a659f585538
https://doi.org/10.1016/j.automatica.2022.110476
https://doi.org/10.1016/j.automatica.2022.110476