The objective of this project is to improve the autocoding of discrete controllers starting from formal specifications.
My most recent published work can be found via google scholar.
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.
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 link.