TODO: Use this site to find project supervisors for your masters projects.
Cyber-Physical Systems
Research Interests
Algorithms
Applied Mathematics
Formal Methods
Model Based Design
Modelling & Simulation
Probabilistic Models
I am interested in using model-based and data-driven methods for analysing properties of probabilistic systems. Application areas include power systems, smart buildings, and autonomous vehicles. Recently, I have started working on racing cars where the size of the car in 1/10 of an actual car. I am working on developing new algorithms for perception, actuation, and control of such cars. Possible projects include:
Understanding, simulation and visualisation of Markov chains
Formal verification of Markov chains using PRISM tool
Formal verification of autonomous cars using FAUST tool
Safety of smart buildings using SOCTS tool
Understand and implement algorithms for verification of probabilistic systems (e.g., models of autonomous vehicles)
Note that if you want to do your project with me, I expect you to have a good understanding of Mathematics.
Technologies & Programming Languages
I am comfortable supervising projects that make use of the following technologies and programming languages.
C
C++
Python
MATLAB