Enhancing formal modelling tool support with increased automation

PhD defence, Friday 30 August 2013. Kenneth Guldbrandt Lausdahl.

2013.08.30 | Tanya Majlund McGregor

During the course of his PhD studies at Aarhus University, Kenneth Guldbrandt Lausdahl researched the automation of various types of analysis for multidisciplinary models of embedded control systems. Developing embedded systems is challenging because both the control logic and the constraints of the physical world need to be taken into account. Kenneth Guldbrandt Lausdahl studied how a model of the controller and a model of the environment could be analysed using collaborative simulation.

His main research contribution is a collection of theories and tools that enable automated analysis of software specifications and the simulation of hybrid embedded control systems with their environment.

The PhD degree was completed at the Department of Engineering, Science and Technology, Aarhus University.

Time: Friday 30 August 2013 at 13.00
Place: Finlandsgade 22, 8200 Aarhus N, Denmark
Title of dissertation: Enhancing Formal Modelling Tool Support with Increased Automation
Contact information: Kenneth Lausdahl, kel@iha.dk, +45 4189 3265
Members of the assessment committee:
Professor Joseph Kiniry, Department of Applied Mathematics and Computer Science, Technical University of Denmark
Professor Yves Ledru, Grenoble Informatics Laboratory (LIG), France
Associate Professor Peter Kristensen, Department of Engineering, Aarhus University
Main supervisor:
Professor Peter Gorm Larsen, Department of Engineering, Aarhus University
Associate Professor Erik Ernst, Department of Computer Science, Aarhus University
Language: The dissertation will be defended in English

PhD defence
Comments on content: 
Revised 21.09.2017