author: Jasper van Rooijen
title: Sensitivity and Optimisation of Uncertain Parameters in UPPAAL
keywords: UPPAAL, Uncertain parameters, Parameter sensitivity, Parameter optimalisation, TWES
topics: Algorithms and Data Structures , Case studies and Applications
committee: Rom Langerak ,
Stefano Schivo
started: November 2017
end: February 2018


UPPAAL is designed and used mainly for fully known dynamical systems: protocols and embedded systems. Other systems often contain uncertain parameters, making UPPAAL considerably less useful. In order to counter this, parameter sensitivity and / or optimisation are considered as an extension for UPPAAL with the health economical use case of the proposal of TWES, a tooth wear evaluation system.