Core Concepts
An FMEA model can be transformed into a Markov Decision Process (MDP) to automatically derive optimal therapies for individual patients.
Abstract
The paper presents a formal framework to allow for automatic planning and acting in Failure Mode and Effects Analysis (FMEA) models. FMEA is a systematic approach to identify and analyze potential failures and their effects in a system or process. However, the FMEA approach requires domain experts to manually analyze the FMEA model to derive risk-reducing actions.
The authors extend the standard FMEA model by adding variables (parameters) to functions. This allows them to define a formal semantics of failures and actions in an FMEA model. They then show how such an extended FMEA model can be transformed into an MDP, where all transition probabilities and rewards can be directly derived from the FMEA model.
To obtain the possible successor states in the MDP, the authors apply qualitative causal reasoning in the FMEA model. The MDP can then be solved using existing MDP solvers to obtain an optimal policy, which maps each possible state of the system to the best possible action for that particular state.
The authors present an algorithm to automatically derive the best possible therapy according to the initial FMEA model for a particular patient using the optimal policy obtained by solving the MDP. This allows for the automated computation of optimal therapies based on the FMEA model of the human body.