In the Cyber-Physical research group we mostly have student projects that relate to the development of new additions of improvements to methods or tools for systems or software development in a well-founded manner or applications trying to use such methods and tools. Many of the proposed projects are connected to some of the externally funded research projects we are running in collaboration with industrial and other academic partners. At the moments we have active externally funded research collaboration with the following Danish companies: Terma, AGCO, Grundfos, Beumer, Conpleks, CC Jensen, MAN Energy Solutions and AgroIntelli.
We use multiple Git/SVNs for sharing information between different stakeholders so if you choose any of these projects you will be granted access to the relevant Git/SVNs. If one of these proposals sounds interesting to you or you would like to learn about the subject, please click on the name mentioned as contact and send us an e-mail. Usually, we can accommodate MSc theses, R&D projects or both for the different proposals.
Current MSc theses projects Spring 2020
Carlos Hansen Mendoza, Multi-model study of a Manufacturing Process using Robotic manipulator
Daniella Tola, From Safety Cases to Fault Injection in a co-simulation Context
Previous MSc theses projects Autumn 2019
Rasmus Hemmingsen, Virtual Reality Methodology, supervisor: Peter Gorm Larsen
Olafur Daguar Skulason, Generating System form VDM-RT for Distributed Real-Time Systems, supervisor: Peter Gorm Larsen
Previous MSc theses projects Spring 2019
Frederik Riis Nielsen, A visual language for rapid construction plan design, supervisor: Carl Schultz
Mikkel Rasmussen, Generalized Migration for Desktop Application to a Cloud Platform: Peter Gorm Larsen
Previous MSc theses projects Spring 2018
Mathias Jessen, C++ code generation from formal models written in VDM-SL, supervisor: Peter Gorm Larsen
Stefan Bejan, Explainable AI in the aeronautical industry: Comparing traditional machine learning explainability approaches to those of logical-based machine learning for air traffic control and logistics, supervisor: Carl Schultz
Previous MSc theses projects Spring 2017
Troels Knudsen, Modelling and optimisation of flow in a high-speed Baggage Handling Systems, supervisor: Peter Gorm Larsen
Previous MSc theses projects Autumn 2016
Magnus Louvmand and Peter Mathiesen, Refactoring Support for VDM-SL, supervisor: Peter Gorm Larsen
Previous MSc theses projects Spring 2016
Nikolas Bram and Peter Holst, Code Generation Extensions for Overture/VDM, supervisor: Peter Gorm Larsen
Previous MSc theses projects Autumn 2015
Ivan Grujic and René Nilsson, supervisors: Model-based model predictive control for quadrotors, supervisors: Peter Gorm Larsen and Kim Bjerge.
Casper Thue Hansen, Functional Common Orchestration Engine for INTO-CPS, supervisors: Peter Gorm Larsen and Miran Hasanagic
Ruben Værum, Traceability between different kinds of development Artefacts, supervisor: Peter Gorm Larsen
Previous MSc theses projects Spring 2015
Rasmus Thimsen and Sam Chieng, Eliciting requirements of the User Interface for the INTO-CPS project, supervisors: Peter Gorm Larsen and Luis Couto.
Kasper Saaby and Rasmus Reimer, WebIDE for the Overture Platform, (starting October 2015), supervisor: Peter Gorm Larsen
Steffen Diswal, Code Generation Towards a .NET and C# Platform, supervisor: Peter Gorm Larsen
Janne Elisabeth Walsted, Eliciting requirements for User Interfaces in an Agricultural setting, supervisor: Peter Gorm Larsen
