ARCH-COMP19 category report: Stochastic modelling A Abate, HAP Blom, N Cauchi, K Degiorgio, M Franzle, EM Hahn, ... 6th International Workshop on Applied veRification for Continuous and Hybrid …, 2019 | 14 | 2019 |
SySCoRe: Synthesis via stochastic coupling relations B Van Huijgevoort, O Schön, S Soudjani, S Haesaert Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | 9 | 2023 |
Correct-by-design control of parametric stochastic systems O Schön, B van Huijgevoort, S Haesaert, S Soudjani 2022 IEEE 61st Conference on Decision and Control (CDC), 5580-5587, 2022 | 8 | 2022 |
Similarity quantification for linear stochastic systems: A coupling compensator approach BC van Huijgevoort, S Haesaert Automatica 144, 110476, 2022 | 8 | 2022 |
Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction BC van Huijgevoort, S Weiland, S Haesaert IEEE Control Systems Letters 7, 1039-1044, 2022 | 7 | 2022 |
Arch-comp22 category report: stochastic models A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... EPiC Series in Computing 90, 113-141, 2022 | 4 | 2022 |
Similarity quantification for linear stochastic systems as a set-theoretic control problem BC van Huijgevoort, S Haesaert arXiv 2020, 2007.09052, 2020 | 4 | 2020 |
Verifying the unknown: Correct-by-design control synthesis for networks of stochastic uncertain systems O Schön, B van Huijgevoort, S Haesaert, S Soudjani 2023 62nd IEEE Conference on Decision and Control (CDC), 7035-7042, 2023 | 3 | 2023 |
Multi-layered simulation relations for linear stochastic systems BC van Huijgevoort, S Haesaert 2021 European control conference (ECC), 728-733, 2021 | 3 | 2021 |
Parameters tuning of snake robots sidewinding gait using Bayesian optimization MJ Koopaee, B Van Huijgevoort, C Pretty, XQ Chen 2018 4th International Conference on Control, Automation and Robotics (ICCAR …, 2018 | 3 | 2018 |
ARCH-COMP23 Category report: stochastic models A Abate, H Blom, N Cauchi, J Delicaris, S Haesaert, B van Huijgevoort, ... 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023 | 2 | 2023 |
Direct data-driven signal temporal logic control of linear systems BC van Huijgevoort, C Verhoek, R Tóth, S Haesaert arXiv preprint arXiv:2304.02297, 2023 | 2 | 2023 |
Bayesian Approach to Temporal Logic Control of Uncertain Systems O Schön, B van Huijgevoort, S Haesaert, S Soudjani arXiv preprint arXiv:2304.07428, 2023 | 1 | 2023 |
Structure Preserving Discretization of 1D Nonlinear Port-Hamiltonian Distributed Parameter Systems BC van Huijgevoort, S Weiland, HJ Zwart arXiv preprint arXiv:2104.10952, 2021 | 1 | 2021 |
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations O Schön, B van Huijgevoort, S Haesaert, S Soudjani | 1 | |
Automatic Control Synthesis with Temporal Logic Requirements: Stochastic, Uncertain, and Nonlinear Systems B van Huijgevoort | | 2023 |
Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱ O Schön, B Van Huijgevoort, S Haesaert, S Soudjani Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | | 2023 |
ARCH-COMP22 Stochastic Models A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... EPiC Series in Computing, 2022 | | 2022 |