Former Doctoral Candidate
Birgit van Huijgevoort
Department / Institute
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
-
Birgit Charlotte van Huijgevoort
Automatic Control Synthesis with Temporal Logic Requirements
(2023) -
O. Schön,Birgit van Huijgevoort,Sofie Haesaert,Sadegh Soudjani
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems
(2023) -
Birgit van Huijgevoort,Oliver Schön,Sadegh Soudjani,Sofie Haesaert
SySCoRe
(2023) -
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)
Ancillary Activities
No ancillary activities