I am postdoctoral scholar in the Computing and Mathematical Sciences Department at Caltech. My research interest are in the verifiable design of cyber-physical systems.
I am interested in formal verification, correct-by-design control, experiment design, and identification for control.
I am currently working as a postdoc under the supervision of Richard Murray at Caltech.
I started my studies at the University of Technology Delft and obtained a Bachelor in Mechanical engineering (2007-2010). As an integral part of my Bachelor education and as a part of her extracurricular Honours programme, I organized and joined a project supported by the NURC (NATO Undersea Research Center). From 2010-2012 I did my Masters in Systems and Control at the University of Technology Delft. As a master student I spent a summer doing research at the research group of Professor Frank Lewis at the University of Texas Arlington where I focused on research in reinforcement learning on discrete time graphical games. For my Master thesis I worked on the verification and control of Markov processes with a learning approach and certified performance. I did my Ph.D. under the supervision of Prof.dr.ir. Paul van den Hof (TU/e) and dr.ir. Alessandro Abate (Oxford University) on the topic of data-driven and model-based verification and control of physical systems.
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, (Accepted), 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, (Accepted) 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.
F.Chen, S.Haesaert, A.Abate, S.Weiland, Control refinement for discrete-time descriptor systems: A behavioural approach via simulation relations. IFAC 2017 world congress, Toulouse, France