Article: Medical treatment analysis using probabilistic model checking Journal: International Journal of Biomedical Engineering and Technology (IJBET) 2013 Vol.12 No.4 pp.346 - 359 Abstract: Physicians and patients are always facing critical situations where they have alternative actions, and they have to choose the appropriate one in order to get the best outcome. Medical treatment decision is a highly complex process that involves health states, preferences, the offered options (actions) and the corresponding cost. The complexity of this process is due to the multiple treatment decision and the accompanying risk factors, as well as that these decisions are made under uncertainty. Markov Decision Processes (MDPs) are a mathematical framework for modelling dynamic systems under uncertainty. Its ability to define an optimal policy makes the MDPs as one of the most successful methods analysis in health care and medical treatment. With this growing importance, delivering frameworks for solving, visualising and cost-effective analysing of MDPs is highly required. In this paper, we address the use of probabilistic model checking as a comprehensive technique for modelling and analysing medical treatment problems. Inderscience Publishers - linking academia, business and industry through research

Title: Medical treatment analysis using probabilistic model checking

Authors: Hichem Debbi; Mustapha Bourahla; Aimad Debbi

Addresses: Department of Computer Science, University of M'sila, Algeria, BP 50, Cité Ennasr, M'sila (28000), Algeria ' Department of Computer Science, University of M'sila, Algeria, BP 50, Cité Ennasr, M'sila (28000), Algeria ' Department of Computer Science, University of M'sila, Algeria, BP 50, Cité Ennasr, M'sila (28000), Algeria

Abstract: Physicians and patients are always facing critical situations where they have alternative actions, and they have to choose the appropriate one in order to get the best outcome. Medical treatment decision is a highly complex process that involves health states, preferences, the offered options (actions) and the corresponding cost. The complexity of this process is due to the multiple treatment decision and the accompanying risk factors, as well as that these decisions are made under uncertainty. Markov Decision Processes (MDPs) are a mathematical framework for modelling dynamic systems under uncertainty. Its ability to define an optimal policy makes the MDPs as one of the most successful methods analysis in health care and medical treatment. With this growing importance, delivering frameworks for solving, visualising and cost-effective analysing of MDPs is highly required. In this paper, we address the use of probabilistic model checking as a comprehensive technique for modelling and analysing medical treatment problems.

Keywords: MDP; Markov decision process; medical treatment decisions; probabilistic model checking; PRISM; rewards; living donors; liver transplants; risk factors; mathematical modelling; dynamic systems; uncertainty; healthcare decisions; decision making.

DOI: 10.1504/IJBET.2013.057674

International Journal of Biomedical Engineering and Technology, 2013 Vol.12 No.4, pp.346 - 359

Received: 03 May 2013
Accepted: 28 Sep 2013
Published online: 27 Sep 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article

Title: Medical treatment analysis using probabilistic model checking

Keep up-to-date