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
-
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) -
ARCH-COMP22 Category Report: Stochastic Models
EPiC Series in Computing (2022) -
Similarity quantification for linear stochastic systems
Automatica (2022) -
Structure Preserving Discretization of 1D Nonlinear Port-Hamiltonian Distributed Parameter Systems
arXiv (2021)
Ancillary Activities
No ancillary activities