Aarhus Universitets segl

Miscellaneous


MSC PROJECTS

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 AND PREVIOUS MSC PROJECTS

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