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
- 1 Similar Profiles
Network
Projects
- 1 Finished
-
SYSDYNET: Data-Driven Modeling in Dynamic Networks
Van den Hof, P. M. J., Haesaert, S., Kivits, E. M. M., Weiland, S., Lazar, M., Donkers, M. C. F., Tóth, R., Steentjes, T. R. V., Ramaswamy, K., Ludlage, J. H. A., Dreef, H. J., Cheng, X., Nawijn, H., van der Hagen, D., Fonken, S. J. M. & Shi, S.
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 Access13 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 Access13 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.org, e-Print Archive, Physics. p. 1-36 1605.09557v1 .Research output: Contribution to journal › Article › Academic
Open AccessFile82 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) -
Convex incremental dissipativity analysis of nonlinear systems
Verhoek, C., Koelewijn, P. J. W., Haesaert, S. & Tóth, R., 1 Apr 2023, In: Automatica. 150, 10 p., 110859.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile14 Downloads (Pure)