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.

Temporal logic Engineering & Materials Science
Markov Decision Process Mathematics
Identification (control systems) Engineering & Materials Science
Controllers Engineering & Materials Science
Reinforcement learning Engineering & Materials Science
Similarity Relation Mathematics
Dynamical systems Engineering & Materials Science
Experiments Engineering & Materials Science

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

Research Output 2013 2019

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

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
Temporal logic
Labels
Specifications
Controllers
2 Citations (Scopus)

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
Temporal logic
Dynamical systems
Controllers

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
Probability distributions

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
Difference equations

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

Stochastic systems
Control Design
Stochastic Systems
Synthesis
Controller

Courses

Mathematics II

1/09/13 → …

Course