If you made any changes in Pure these will be visible here soon.

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 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 201731 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.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

  • 172 Citations
  • 14 Article
  • 11 Conference contribution
  • 1 Conference article
  • 1 Phd Thesis 1 (Research TU/e / Graduation TU/e)

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 journalArticleAcademicpeer-review

Open Access
  • 4 Citations (Scopus)
    2 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 journalArticleAcademicpeer-review

    Open Access
  • 2 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 journalArticleAcademic

    Open Access
    File
  • 5 Citations (Scopus)
    35 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 journalConference articleAcademicpeer-review

    Open Access
  • 2 Downloads (Pure)

    Achievements in correct-by-design control for stochastic systems

    Haesaert, S. & Soudjani, S., 15 Apr 2019, SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. Ramachandran, G. S. & Ortiz, J. (eds.). New York: Association for Computing Machinery, Inc, 4 p. 3313368

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Courses

    Mathematics II

    1/09/13 → …

    Course