Projecten per jaar
Persoonlijk profiel
Quote
"Efficient and safe design of control systems in complex cyber-physical systems is increasingly complex and important."
Research profile
Sofie Haesaert is een Universitair Docent by de Technische Universiteit in Eindhoven in the control systems groep van de electrical engineering faculteit.
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.
Externe posities
Postdoc, California Institute of Technology
17 apr. 2017 → 31 aug. 2018
Vingerafdruk
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Projecten
- 1 Afgelopen
-
ERC Grant PvdHof SYSDYNET
Van den Hof, P. M. J. (Project Manager), Haesaert, S. (Projectmedewerker), Kivits, E. M. M. (Projectmedewerker), Weiland, S. (Projectmedewerker), Lazar, M. (Projectmedewerker), Donkers, M. C. F. (Projectmedewerker), Tóth, R. (Projectmedewerker), Steentjes, T. R. V. (Projectmedewerker), Ramaswamy, K. (Projectmedewerker), Ludlage, J. H. A. (Projectmedewerker), Dreef, H. J. (Projectmedewerker), Cheng, X. (Projectmedewerker), Nawijn, H. (Project communicatie medewerker), van der Hagen, D. (Project communicatie medewerker), Fonken, S. J. M. (Projectmedewerker) & Shi, S. (Projectmedewerker)
1/09/16 → 31/08/22
Project: Onderzoek 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, blz. 271-276 6 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › peer review
Open Access26 Citaten (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, blz. 73-78 6 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › peer review
Open Access14 Citaten (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 mei 2016, In: arXiv. blz. 1-36 1605.09557v1 .Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Open AccessBestand124 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, blz. 15822-15827 6 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › peer review
Open Access2 Citaten (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, blz. 3049-3054 6 blz. 10383450Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand12 Downloads (Pure)
Datasets
-
Stochastic Verification of a Game of Tag
Haesaert, S. (Ontwerper), 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. (Ontwerper), Schön, O. (Ontwerper), Soudjani, S. (Ontwerper) & Haesaert, S. (Ontwerper), Code Ocean, 8 nov. 2022
DOI: 10.24433/co.3825821.v1, https://codeocean.com/capsule/1170779/tree/v1 en nog één link, https://codeocean.com/capsule/1170779/tree/v2 (minder tonen)
Dataset
-
SySCoRe (ARCH 2022)
Schön, O. (Ontwerper), Haesaert, S. (Ontwerper) & van Huijgevoort, B. C. (Ontwerper), 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. (Ontwerper), Haesaert, S. (Ontwerper) & van Huijgevoort, B. C. (Ontwerper), Code Ocean, 24 apr. 2023
DOI: 10.24433/co.8616869.v1, https://codeocean.com/capsule/2856878/tree/v1
Dataset
Cursussen
Knipsels
-
Women in Data Science: AI for the real world — A man’s perspective
6/04/23
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Electrical Engineering department receives a further boost through Cyber-Physical System Center Eindhoven (CPSe) efforts
22/09/22
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Five Eindhoven University of Technology Researchers Receive Veni Grants
Haesaert, S., Birk, M. V., Schlicher, L. & Sullivan, E.
6/11/20
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Five TU/e researchers receive Veni grants
Haesaert, S., Birk, M. V., Schlicher, L. & Sullivan, E.
5/11/20
2 items van Media-aandacht
Pers / media: Vakinhoudelijk commentaar