Kovalov, Andrii and Bowles, Juliana (2016) Avoiding medication conflicts for patients with multimorbidities. In: Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Lecture Notes in Computer Science, 9681. Springer International Publishing. pp. 376-390. doi: 10.1007/978-3-319-33693-0_24. ISBN 978-3-319-33693-0. ISSN 0302-9743.
![]() |
PDF
- Only accessible within DLR
373kB |
Official URL: http://link.springer.com/chapter/10.1007/978-3-319-33693-0_24
Abstract
Clinical pathways are care plans which detail essential steps in the care of patients with a specific clinical problem, usually a chronic disease. A pathway includes recommendations of medications prescribed at different stages of the care plan. For patients with three or more chronic diseases (known as multimorbidities) the multiple pathways have to be applied together. One common problem for such patients is the adverse interaction between medications given for different diseases. This paper proposes a solution for avoiding medication conflicts for patients with multimorbidities through the use of formal methods. We introduce the notion of a pharmaceutical graph to capture the medications associated to different stages of a pathway. We then explore the use of an optimising SMT solver (Z3) to quickly find the set of medications with the minimal number and severity of conflicts which is assumed to be the safest. We evaluate the approach on a well known case of an elderly patient with five multimorbidities.
Item URL in elib: | https://elib.dlr.de/105081/ | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Book Section | ||||||||||||
Title: | Avoiding medication conflicts for patients with multimorbidities | ||||||||||||
Authors: |
| ||||||||||||
Date: | 2016 | ||||||||||||
Journal or Publication Title: | Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings | ||||||||||||
Refereed publication: | Yes | ||||||||||||
Open Access: | No | ||||||||||||
Gold Open Access: | No | ||||||||||||
In SCOPUS: | No | ||||||||||||
In ISI Web of Science: | No | ||||||||||||
Volume: | 9681 | ||||||||||||
DOI: | 10.1007/978-3-319-33693-0_24 | ||||||||||||
Page Range: | pp. 376-390 | ||||||||||||
Editors: |
| ||||||||||||
Publisher: | Springer International Publishing | ||||||||||||
Series Name: | Lecture Notes in Computer Science | ||||||||||||
ISSN: | 0302-9743 | ||||||||||||
ISBN: | 978-3-319-33693-0 | ||||||||||||
Status: | Published | ||||||||||||
Keywords: | SMT Solving, Multimorbidities, Clinical pathways | ||||||||||||
HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||
HGF - Program: | Space | ||||||||||||
HGF - Program Themes: | Space System Technology | ||||||||||||
DLR - Research area: | Raumfahrt | ||||||||||||
DLR - Program: | R SY - Space System Technology | ||||||||||||
DLR - Research theme (Project): | R - Virtueller Satellit (old) | ||||||||||||
Location: | Braunschweig | ||||||||||||
Institutes and Institutions: | Institut of Simulation and Software Technology > Software for Space Systems and Interactive Visualisation | ||||||||||||
Deposited By: | Kovalov, Andrii | ||||||||||||
Deposited On: | 08 Aug 2016 10:01 | ||||||||||||
Last Modified: | 04 Nov 2024 14:21 |
Repository Staff Only: item control page