Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia
Keywords:Patient controlled analgesia, hybrid automata, verification, statistical model checking.
Opiate concentration in the effect compartment of the brain (OCEC) determines both, the pain control and the side effects. This concentration can be estimated using pharmacodynamics models; however, these models do not predict OCEC when delivery of the drug is random.We are proposing to use stochastic hybrid automata for the verification of individualized model of patient’s drug demands and model of patient’s pharmacokinetics for the estimation of OCEC, and to express results as the probability of falling below the minimum effective analgesic concentration (MEAC) and/or probability of exceeding toxic concentration threshold. Patient controlled analgesia (PCA) model was based on the stochastic hybrid automata, while the verification of the model was done using UPPALL-SMC tool. The suggested approach allowed for quantitative prediction of the OCEC.
How to Cite
The copyright for the paper in this journal is retained by the author(s) with the first publication right granted to the journal. The authors agree to the Creative Commons Attribution 4.0 (CC BY 4.0) agreement under which the paper in the Journal is licensed.
By virtue of their appearance in this open access journal, papers are free to use with proper attribution in educational and other non-commercial settings with an acknowledgement of the initial publication in the journal.