Projects per year
Personal profile
Quote
"Efficient and safe design of control systems in complex cyber-physical systems is increasingly complex and important."
Research profile
Sofie Haesaert is an Assistant Professor in the Control Systems group of the Department of Electrical Engineering at Eindhoven University of Technology. Her research interests lie in the development of verification and control synthesis methods for cyber-physical systems.
Academic background
Sofie Haesaert holds a bachelor's degree in Mechanical Engineering and a master's degree in Systems and Control from Delft University of Technology, both cum laude. As a master's degree student, Haesaert spent a summer doing research at the University of Texas Arlington (USA). Haesaert obtained her PhD from Eindhoven University of Technology (TU/e) in 2017 and then went to Caltech (USA) for 17 months to do a postdoc. In 2018, Haesaert returned to TU/e to become Assistant Professor in the Control Systems group.
External positions
Postdoc, California Institute of Technology
17 Apr 2017 → 31 Aug 2018
Fingerprint
Dive into the research topics where Sofie Haesaert 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
Projects
- 1 Finished
-
SYSDYNET: Data-Driven Modeling in Dynamic Networks
Van den Hof, P. M. J. (Project Manager), Haesaert, S. (Project member), Kivits, E. M. M. (Project member), Weiland, S. (Project member), Lazar, M. (Project member), Donkers, M. C. F. (Project member), Tóth, R. (Project member), Steentjes, T. R. V. (Project member), Ramaswamy, K. (Project member), Ludlage, J. H. A. (Project member), Dreef, H. J. (Project member), Cheng, X. (Project member), Nawijn, H. (Project communication officer), van der Hagen, D. (Project communication officer), Fonken, S. J. M. (Project member) & Shi, S. (Project member)
1/09/16 → 31/08/22
Project: Research direct
-
Temporal logic control of POMDPs via label-based stochastic simulation relations
Haesaert, S., Nilsson, P., Vasile, C. I., Thakker, R., Agha-mohammadi, A., Ames, A. D. & Murray, R. M., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 16, p. 271-276 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access26 Citations (Scopus)3 Downloads (Pure) -
Temporal logic control of general Markov decision processes by approximate policy refinement
Haesaert, S., Soudjani, S. & Abate, A., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 16, p. 73-78 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access14 Citations (Scopus)1 Downloads (Pure) -
Verification of general Markov decision processes by approximate similarity relations and policy refinement
Haesaert, S., Esmaeil, S., Soudjani, S. & Abate, A., 31 May 2016, In: arXiv. p. 1-36 1605.09557v1 .Research output: Contribution to journal › Article › Academic
Open AccessFile124 Downloads (Pure) -
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations
Chen, F., Haesaert, S., Abate, A. & Weiland, S., 1 Jul 2017, In: IFAC-PapersOnLine. 50, 1, p. 15822-15827 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Citations (Scopus)3 Downloads (Pure) -
Abstracting Linear Stochastic Systems via Knowledge Filtering
Engelaar, M. H. W., Romao, L., Gao, Y., Lazar, M., Abate, A. & Haesaert, S., 19 Jan 2024, 2023 62nd IEEE Conference on Decision and Control, CDC 2023. Institute of Electrical and Electronics Engineers, p. 3049-3054 6 p. 10383450Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile14 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
-
Stochastic Verification of a Game of Tag
Haesaert, S. (Creator), Code Ocean, 21 Feb 2020
DOI: 10.24433/co.3346012.v1, https://codeocean.com/capsule/0033535/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
-
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
Courses
Press/Media
-
Women in Data Science: AI for the real world — A man’s perspective
6/04/23
1 item of Media coverage
Press/Media: Expert Comment
-
Electrical Engineering department receives a further boost through Cyber-Physical System Center Eindhoven (CPSe) efforts
22/09/22
1 item of Media coverage
Press/Media: Expert Comment
-
Five Eindhoven University of Technology Researchers Receive Veni Grants
Haesaert, S., Birk, M. V., Schlicher, L. & Sullivan, E.
6/11/20
1 item of Media coverage
Press/Media: Expert Comment
-
Five TU/e researchers receive Veni grants
Haesaert, S., Birk, M. V., Schlicher, L. & Sullivan, E.
5/11/20
2 items of Media coverage
Press/Media: Expert Comment