University of Twente Student Theses

Login
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.

Modelling OSA Diagnosis and Treatment using UPPAAL

Voortman, N.E.F. (2022) Modelling OSA Diagnosis and Treatment using UPPAAL.

[img] PDF
2MB
Abstract:Obstructive Sleep Apnea (OSA) is a highly prevalent medical disorder, linked to severe consequences. Diagnosis of OSA presently has long waiting times and has high costs. This thesis introduces a tool-chain for analysing diagnosis strategies. This tool-chain is used for assessing the traditional Dutch OSA diagnosis strategy, as well as multiple alternative strategies for OSA diagnosis. This analysis showed that alternative diagnosis strategies can lower costs and waiting times, while maintaining diagnosis precision.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:https://purl.utwente.nl/essays/89582
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page