Projects per year
"Efficient and safe design of control systems in complex cyber-physical systems is increasingly complex and important."
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 verification and control synthesis methods for cyber-physical systems.
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.
Postdoc, California Institute of Technology17 Apr 2017 → 31 Aug 2018
Van den Hof, P. M. J., Van den Hof, P. M. J., Haesaert, S., Kivits, E. M. M. (., Shi, S., 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.
1/09/16 → 31/08/21
Project: Research direct
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 › Article › Academic › peer-reviewOpen Access6 Citations (Scopus)2 Downloads (Pure)
Haesaert, S., Soudjani, S. & Abate, A., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 73-78 6 p.
Research output: Contribution to journal › Article › Academic › peer-reviewOpen Access4 Citations (Scopus)1 Downloads (Pure)
Verification of general Markov decision processes by approximate similarity relations and policy refinementHaesaert, 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 › AcademicOpen AccessFile58 Downloads (Pure)
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relationsChen, 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 › Academic › peer-reviewOpen Access2 Downloads (Pure)
Haesaert, S. & Soudjani, S., 2020, (Accepted/In press) In : IEEE Transactions on Automatic Control. XX, X
Research output: Contribution to journal › Article › Academic › peer-review
1 item of Media coverage
Press/Media: Expert Comment