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 Associate 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 Access29 Link opens in a new tab 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 Link opens in a new tab 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 AccessFile164 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 Link opens in a new tab Citations (Scopus)3 Downloads (Pure) -
A behavioral approach for LPV data-driven representations
Verhoek, C. (Corresponding author), Markovsky, I., Haesaert, S. & Tóth, R., Mar 2026, In: IEEE Transactions on Automatic Control. 71, 3, p. 1616-1629 14 p., 11177019.Research output: Contribution to journal › Article › Academic › peer-review
3 Link opens in a new tab Citations (Scopus)
Datasets
-
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 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
-
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: 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
Courses
-
-
-
Supervisory control of cyber physical systems
Reniers, M. A., Haesaert, S. & Goorden, M. A. 1/09/23 → 31/08/27
Course
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
-
Dedicated to the Dutch Technology Week EAISI Café | DTW edition | June 1
Haesaert, S. & Krauhausen, I.
29/05/21
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