Former Doctoral Candidate
Birgit van Huijgevoort
Department / Institute
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
-
Automatic Control Synthesis with Temporal Logic Requirements
(2023) -
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems
(2023) -
SySCoRe
(2023) -
Correct-by-Design Control of Parametric Stochastic Systems
(2023) -
Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction
IEEE Control Systems Letters (2023)
Ancillary Activities
No ancillary activities