Birgit van Huijgevoort

Orcid: 0000-0003-1164-0508

According to our database1, Birgit van Huijgevoort authored at least 12 papers between 2019 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction.
IEEE Control. Syst. Lett., 2023

Bayesian Approach to Temporal Logic Control of Uncertain Systems.
CoRR, 2023

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

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

SySCoRe: Synthesis via Stochastic Coupling Relations.
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.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

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

Correct-by-Design Control of Parametric Stochastic Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

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

Multi-layered simulation relations for linear stochastic systems.
Proceedings of the 2021 European Control Conference, 2021

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

2019
ARCH-COMP19 Category Report: Stochastic Modelling.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019


  Loading...