Efficient and safe design of control systems in complex cyber-physical systems is increasingly complex and important.
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 verification and control synthesis methods for cyber-physical systems.
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.
Temporal logic control of POMDPs via label-based stochastic simulation relationsIFAC-PapersOnLine (2018)
Temporal logic control of general Markov decision processes by approximate policy refinementIFAC-PapersOnLine (2018)
Verification of general Markov decision processes by approximate similarity relations and policy refinementarXiv.org, e-Print Archive, Physics (2016)
Control refinement for discrete-time descriptor systemsIFAC-PapersOnLine (2017)
- Mathematics II
No ancillary activities