DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Avoiding medication conflicts for patients with multimorbidities

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. ISBN 978-3-319-33693-0. ISSN 0302-9743

[img] PDF - Registered users only

Official URL: http://link.springer.com/chapter/10.1007/978-3-319-33693-0_24


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
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Kovalov, AndriiAndrii.Kovalov (at) dlr.deUNSPECIFIED
Bowles, Julianajkfb (at) st-andrews.ac.ukUNSPECIFIED
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 ISI Web of Science:No
DOI :10.1007/978-3-319-33693-0
Page Range:pp. 376-390
Huisman, MariekeUNSPECIFIED
Publisher:Springer International Publishing
Series Name:Lecture Notes in Computer Science
Keywords:SMT Solving, Multimorbidities, Clinical pathways
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Virtueller Satellit
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:08 Aug 2016 10:01

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.