TODO: Use this site to find project supervisors for your masters projects.
Model Based Design
Modelling & Simulation
Cyber-physical systems (CPSs) are composed of interacting software and hardware elements, and are marked by distributed, networked control and the need for fault tolerance and human interaction. Examples include co-operating vehicles, smart grids, autonomous drones, precision agriculture, and smart buildings. The INTO-CPS tool chain (http://into-cps.org/) allows for CPSs to be designed using collaborative modelling (co-modelling) and simulation, where models of the different elements of a CPS are combined into a complete model of the CPS.
In this project, you will learn and use the INTO-CPS tools to develop and evaluate at least one co-model of a CPS. You will work as a member of the Cyber-Physical Lab on the ground floor of the Urban Sciences Buildings, giving you an opportunity to collaborate with researchers on leading UK and international projects and practitioners industrial domains. Good co-models will be published as part of the lab's outputs.
Possible projects under this heading include modelling:
- Reconfigurable manufacturing equipment
- Autonomous farm vehicles
- Swarms of drones
- Industrial robots
- Autonomous vehicles
Similar projects are supervised by Prof. John Fitzgerald.
Technologies & Programming Languages
I am comfortable supervising projects that make use of the following technologies and programming languages.
Vienna Development Method (VDM)
Thursday 6th February 10am - 12pm Wednesday 12th February 10am - 12pm Tuesday 18th February 2pm- 4pm