Back to University of Twente portal
| 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 |
Description
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.