Birgit van Huijgevoort

According to our database, Birgit van Huijgevoort authored at least 17 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

IEEE Trans. Autom. Control., March, 2025

2024

Specification-guided temporal logic control for stochastic systems: a multi-layered approach.

B. C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert

CoRR, 2024

Direct data-driven control with signal temporal logic specifications.

B. C. van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert

Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024

2023

Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction.

B. C. van Huijgevoort, Siep Weiland, Sofie Haesaert

IEEE Control. Syst. Lett., 2023

Bayesian Approach to Temporal Logic Control of Uncertain Systems.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

CoRR, 2023

Direct data-driven signal temporal logic control of linear systems.

Birgit van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert

CoRR, 2023

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

SySCoRe: Synthesis via Stochastic Coupling Relations.

Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

ARCH-COMP23 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Similarity quantification for linear stochastic systems: A coupling compensator approach.

Birgit van Huijgevoort, Sofie Haesaert

Autom., 2022

Correct-by-Design Control of Parametric Stochastic Systems.

Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

ARCH-COMP22 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Structure Preserving Discretization of 1D Nonlinear Port-Hamiltonian Distributed Parameter Systems.

B. C. van Huijgevoort, Siep Weiland, Hans J. Zwart

CoRR, 2021

Multi-layered simulation relations for linear stochastic systems.

B. C. van Huijgevoort, Sofie Haesaert

Proceedings of the 2021 European Control Conference, 2021

2020

Similarity quantification for linear stochastic systems as a set-theoretic control problem.

Birgit van Huijgevoort, Sofie Haesaert

CoRR, 2020

2019

ARCH-COMP19 Category Report: Stochastic Modelling.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019