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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction.
IEEE Control. Syst. Lett., 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
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
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
Proceedings of the 2021 European Control Conference, 2021
2020
Similarity quantification for linear stochastic systems as a set-theoretic control problem.
CoRR, 2020
2019
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019