Onderzoeksoutput per jaar
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 2017 → 31 aug 2018Vingerafdruk Duik in de onderzoeksthema's waar Sofie Haesaert actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
Temporal logic
Engineering en materiaalwetenschappen
Markov Decision Process
Rekenkunde
Identification (control systems)
Engineering en materiaalwetenschappen
Controllers
Engineering en materiaalwetenschappen
Reinforcement learning
Engineering en materiaalwetenschappen
Similarity Relation
Rekenkunde
Dynamical systems
Engineering en materiaalwetenschappen
Experiments
Engineering en materiaalwetenschappen
Netwerk
Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.
Onderzoeksoutput 2013 2019
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 tijdschrift › Tijdschriftartikel › Academic › peer review
Open Access
Temporal logic
Labels
Specifications
Controllers
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 tijdschrift › Tijdschriftartikel › Academic › peer 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 mei 2016, In : arXiv.org, e-Print Archive, Physics. blz. 1-36 1605.09557v1Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Open Access
Bestand
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, blz. 15822-15827 6 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › Academic › peer 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. (redactie). New York: Association for Computing Machinery, Inc, 4 blz. 3313368Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Stochastic systems
Control Design
Stochastic Systems
Synthesis
Controller