University of Twente Student Theses


Modeling and Analyzing Treatment Protocols for Pediatric Asthma Management Using the UPPAAL Timed Automata Framework

Souvannasouck, M.K. (2023) Modeling and Analyzing Treatment Protocols for Pediatric Asthma Management Using the UPPAAL Timed Automata Framework.

[img] PDF
Abstract:Objectives: This research is centered around developing a foundational model for understanding and managing pediatric asthma, a common chronic condition in children globally. The aim is to build a preliminary model that allows us to simulate different aspects of pediatric asthma management, specifically observing and controlling symptoms. This model serves as a first step toward modeling this complex disease. The primary objective is to explore the relationships between asthma symptoms, medication protocols, and patient adherence, which are vital components of effective asthma treatment. Specifically, the study will model and compare the efficacy and costs of two treatment protocols, the Global Initiative for Asthma (GINA) treatment protocol, and the Medisch Spectrum Twente treatment protocol. Methods: To achieve our objectives, we employed the UPPAAL timed automata framework, a computational tool designed to model and analyze complex systems. Our model comprises interconnected templates symbolizing various facets of asthma management, such as symptoms, adherence, medication regimens, environmental impacts, and outcomes. Utilizing UPPAAL for formal modeling, a novel application in pulmonology, we simulated a population of pediatric asthma patients by initiating simulations and queries based on various parameters. Results: Our simulations revealed differences in the predicted number of mild flare-ups and costs between the Global Initiative for Asthma (GINA) and the Medische Spectrum Twente pediatric asthma treatment protocols. The latter protocol demonstrated fewer mild flareups and lower costs, indicating its potential for superior cost-effectiveness. Conclusions: This study successfully developed a proof-of-concept model for analyzing pediatric asthma management protocols, providing the first formal simulation of treatment outcomes. Through the comparison of the Global Initiative for Asthma (GINA) and Medische Spectrum Twente protocols, the model’s potential was showcased by highlighting their relative effectiveness and cost-efficiency. The research underscores the potential of computational modeling in chronic disease management, suggesting a future where treatment plans are increasingly data-driven and personalized. It lays the groundwork for advances in tailored treatment protocols based on individual patient characteristics.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science BSc (56964)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page