Doctoral Candidate
Birgit van Huijgevoort
Department
Electrical Engineering
RESEARCH PROFILE
Birgit is currently working on formal methods for uncertain cyber physical systems under the supervision of Sofie Haesaert at the Control Systems group, Electrical Engineering, Eindhoven University of Technology
ACADEMIC BACKGROUND
Birgit van Huijgevoort received her BSc degree in Electrical Engineering (Automotive), cum laude, in 2016 and her MSc degree in Systems and Control, cum laude, in 2018 from Eindhoven University of Technology (TU/e). Her MSc Thesis entitled: “Structure preserving discretization of port-Hamiltonian distributed parameter systems” was supervised by professor Siep Weiland and professor Hans Zwart.
Recent Publications
-
Oliver Schön,Birgit van Huijgevoort,Sofie Haesaert,Sadegh Soudjani
Correct-by-Design Control of Parametric Stochastic Systems
(2023) -
Birgit C. van Huijgevoort,Siep Weiland,Sofie Haesaert
Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction
IEEE Control Systems Letters (2023) -
Alessandro Abate,Henk Blom,Joanna Delicaris,Sofie Haesaert,Arnd Hartmanns,Birgit C. van Huijgevoort,Abolfazl Lavaei,Hao Ma,Mathis Niehage,Anne Remke
ARCH-COMP22 Category Report: Stochastic Models
EPiC Series in Computing (2022) -
Birgit C. van Huijgevoort,Sofie Haesaert
Similarity quantification for linear stochastic systems
Automatica (2022) -
B.C. van Huijgevoort,S. Weiland,H.J. Zwart
Structure Preserving Discretization of 1D Nonlinear Port-Hamiltonian Distributed Parameter Systems
arXiv (2021)
Ancillary Activities
No ancillary activities