I am an assistant professor at Eindhoven University of Technology in the Control Systems group of Electrical Engineering. My research interests are in the verifiable design of cyber-physical systems using data-driven and model-based techniques
My interests are in formal verification, correct-by-design control, experiment design, and identification for control.
T. Sasaki, K. Otsu, R. Thakker, S. Haesaert and A. Agha-mohammadi, “Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration,” in IEEE Robotics and Automation Letters, vol. 5, no. 2, pp. 2123-2130, April 2020. link
S.Haesaert, P. Nilssonn, Cristian-Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray, Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations IFAC Conference on Analysis and Design of Hybrid Systems, 2018 link.
S.Haesaert, S.Esmaeil Zadeh Soudjani, A.Abate, Temporal logic control of general Markov decision processes by approximate policy refinement. IFAC Conference on Analysis and Design of Hybrid Systems, 2018 link.
S.Haesaert, S.Esmaeil Zadeh Soudjani , A.Abate. Verification of general Markov decision processes by approximate similarity relations and policy refinement. SIAM Journal on Control and Optimization 55:4, 2333-2367, 2017 link.