TY - JOUR AU - Naujokaitis, Darius AU - Pranevicius, Henrikas AU - Pilkauskas, Vytautas AU - Pranevicius, Osvaldas AU - Pranevicius, Mindaugas PY - 2017/02/10 Y2 - 2024/03/28 TI - Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia JF - Elektronika ir Elektrotechnika JA - ELEKTRON ELEKTROTECH VL - 23 IS - 6 SE - DO - 10.5755/j01.eie.23.6.17572 UR - https://eejournal.ktu.lt/index.php/elt/article/view/17572 SP - 10-18 AB - <p class="Abstract"> </p><p>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.</p><p>DOI: <a href="http://dx.doi.org/10.5755/j01.eie.23.6.17572">http://dx.doi.org/10.5755/j01.eie.23.6.17572</a></p> ER -