Formal methods for control of cyber-physical systems

Search results

• Adversarial testing for an uncertain control system

  Salahuddin, M. K. (Author), Haesaert, S. (Supervisor 1) & Weiland, S. (Supervisor 2), 18 Nov 2021

  Student thesis: Master

  File

• Increasing Multi-Robot Situation Awareness of an Intersection using Prior Knowledge and Traffic rules to constrain driving behaviours

  Selten, J. (Author), Bruyninckx, H. P. J. (Supervisor 1), van de Molengraft, M. J. G. (Supervisor 2), Arslan, Ö. (Supervisor 2), Haesaert, S. (Supervisor 2), Van den Hof, P. M. J. (Supervisor 2), Sun, Z. (Supervisor 2), van Dooren, P. (Supervisor 2) & de Vos, K. (Supervisor 2), 23 May 2023

  Student thesis: Master

  File

• Modular Risk Assessment: A Compositional Verification Method for Approximated Automaton

  Sugimura, R. (Author), Haesaert, S. (Supervisor 1), Aug 2024

  Student thesis: Master

  File

• Safe motion planning in dynamic environment using MPC and temporal logic specifications

  Kamble, B. (Author), Haesaert, S. (Supervisor 1) & Zhang, Z. (Supervisor 2), 30 Jan 2024

  Student thesis: Master

  File