Content available in repository
Content available in repository
Personal profile
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.
Fingerprint
Dive into the research topics where Birgit C. van Huijgevoort is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Correct-by-Design Control of Parametric Stochastic Systems
Schön, O., van Huijgevoort, B., Haesaert, S. & Soudjani, S., 10 Jan 2023, 61st Conference on Decision and Control 2022. Institute of Electrical and Electronics Engineers, p. 5580-5587 8 p. 9992723Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1 Citation (Scopus)2 Downloads (Pure) -
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems
Schön, O., van Huijgevoort, B. C., Haesaert, S. & Soudjani, S., May 2023, p. 1-2.Research output: Contribution to conference › Poster
Open Access -
SySCoRe: Synthesis via Stochastic Coupling Relations
van Huijgevoort, B. C., Schön, O., Soudjani, S. & Haesaert, S., May 2023, HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, p. 1-11Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction
van Huijgevoort, B. C., Weiland, S. & Haesaert, S., 2023, In: IEEE Control Systems Letters. 7, p. 1039-1044 6 p.Research output: Contribution to journal › Article › Academic › peer-review
1 Downloads (Pure) -
ARCH-COMP22 Category Report: Stochastic Models
Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B. C., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S. & Willemsen, L., 13 Dec 2022, In: EPiC Series in Computing. 90, p. 113-141 29 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile60 Downloads (Pure)
Thesis
-
Structure preserving discretization of port-Hamiltonian distributed parameter systems
Author: van Huijgevoort, B., 21 Aug 2018Supervisor: Weiland, S. (Supervisor 1) & Zwart, H. (Supervisor 2)
Student thesis: Master
File