|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|
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.