Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

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 201731 aug 2018

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Sofie Haesaert actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Projecten

Onderzoeksoutput

  • 164 Citaties
  • 14 Tijdschriftartikel
  • 11 Conferentiebijdrage
  • 1 Congresartikel
  • 1 Dissertatie 1 (Onderzoek TU/e / Promotie 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, blz. 271-276 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
  • 4 Citaten (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, blz. 73-78 6 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
  • 2 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.org, e-Print Archive, Physics. blz. 1-36 1605.09557v1 .

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

    Open Access
    Bestand
  • 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 tijdschriftCongresartikelAcademicpeer 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. (redactie). New York: Association for Computing Machinery, Inc, 4 blz. 3313368

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Cursussen

    Mathematics II

    1/09/13 → …

    Cursus