Sofie Haesaert
Department / Institute
Group
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 of verification and control synthesis methods for cyber-physical systems.
Efficient and safe design of control systems in complex cyber-physical systems is increasingly complex and important.
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.
Key Publications
-
S. Haesaert,P. Nilsson,C. I. Vasile,R. Thakker,A. Agha-mohammadi,A. D. Ames,R. M. Murray
Temporal logic control of POMDPs via label-based stochastic simulation relations
IFAC-PapersOnLine (2018) -
Sofie Haesaert,Sadegh Soudjani,Alessandro Abate
Temporal logic control of general Markov decision processes by approximate policy refinement
IFAC-PapersOnLine (2018) -
S. Haesaert,S. Esmaeil,S. Soudjani,A. Abate
Verification of general Markov decision processes by approximate similarity relations and policy refinement
arXiv (2016) -
F. Chen,S. Haesaert,A. Abate,S. Weiland
Control refinement for discrete-time descriptor systems
IFAC-PapersOnLine (2017)
Ancillary Activities
No ancillary activities