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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ARCH-COMP23 Category Report: Stochastic Models
Abate, A., Blom, H., Cauchi, N., Delicaris, J., Haesaert, S., van Huijgevoort, B., Lavaei, A., Remke, A., Schön, O., Schupp, S., Shmarov, F., Soudjani, S., Willemsen, L. & Zuliani, P., 2023, In: EPiC Series in Computing. 96, p. 126-150 25 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile12 Downloads (Pure) -
Automatic Control Synthesis with Temporal Logic Requirements: Stochastic, Uncertain, and Nonlinear Systems
van Huijgevoort, B. C., 10 Nov 2023, Eindhoven: Eindhoven University of Technology. 210 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile97 Downloads (Pure) -
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
5 Citations (Scopus)3 Downloads (Pure) -
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems
Schön, O., van Huijgevoort, B., Haesaert, S. & Soudjani, S., May 2023, p. 1-2.Research output: Contribution to conference › Poster
Open AccessFile49 Downloads (Pure) -
SySCoRe: Synthesis via Stochastic Coupling Relations
van Huijgevoort, B., 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-11 13Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Citations (Scopus)62 Downloads (Pure)
Datasets
-
SySCoRe (ARCH 2022)
Schön, O. (Creator), Haesaert, S. (Creator) & van Huijgevoort, B. C. (Creator), Code Ocean, 17 Jul 2022
DOI: 10.24433/co.2213659.v1, https://codeocean.com/capsule/3124883/tree/v1
Dataset
-
SySCoRe Repeatability Package (ARCH 2023 Category Report Case Study)
Schön, O. (Creator), Haesaert, S. (Creator) & van Huijgevoort, B. C. (Creator), Code Ocean, 24 Apr 2023
DOI: 10.24433/co.8616869.v1, https://codeocean.com/capsule/2856878/tree/v1
Dataset
-
Temporal logic control of a Van der Pol oscillator using a piecewise-affine abstraction
van Huijgevoort, B. C. (Creator), Code Ocean, 5 Jan 2023
DOI: 10.24433/co.1740530.v1, https://codeocean.com/capsule/2685165/tree/v1
Dataset
-
SySCoRe: Synthesis via Stochastic Coupling Relations
van Huijgevoort, B. C. (Creator), Schön, O. (Creator), Soudjani, S. (Creator) & Haesaert, S. (Creator), Code Ocean, 8 Nov 2022
DOI: 10.24433/co.3825821.v1, https://codeocean.com/capsule/1170779/tree/v1 and one more link, https://codeocean.com/capsule/1170779/tree/v2 (show fewer)
Dataset
Thesis
-
Structure preserving discretization of port-Hamiltonian distributed parameter systems
van Huijgevoort, B. (Author), Weiland, S. (Supervisor 1) & Zwart, H. (Supervisor 2), 21 Aug 2018Student thesis: Master
File