| Title |
Hibridinių sistemų modeliavimas agregatiniu metodu ir jų verifikavimas / |
| Translation of Title |
Hybrid system modelling using aggregate method and their verification. |
| Authors |
Naujokaitis, Darius |
| Full Text |
|
| Pages |
152 |
| Keywords [eng] |
aggregate method ; modelling ; verification ; pharmacokinetics ; collateral circulation |
| Abstract [eng] |
In the thesis hybrid systems, consisting of discrete and continuous components and describing the individual parts of the human physiological system, are modeled by aggregate formalization method that includes tools for simulation and testing of created models. In the dissertation there is investigated created original models, which are formalized by an aggregate method, investigating the collateral circulatory system of the human brain and pharmacokinetic phenomena. Simulation models for collateral blood flow are based on electrical chain and they simulate impact of regional cerebral blood flow (rCBF) to regional cerebral perfusion pressure (rCPP) imitating blood vessel contraction in the case of stroke. The developed pharmacokinetic model allows assessing the effect of opioid concentrations on the patient based on the assessment of the degree of pain and the potential side effects of opioids. The new method of verification of aggregate models proposed in the dissertation is based on the semantic equivalence of aggregate and stochastic hybrid automata models in the time transition system and allows automated verification of such models. Using this method, the pharmacokinetic model was tested using the UPPAAL-SMC verification tool supplemented by statistical model checking techniques. |
| Dissertation Institution |
Kauno technologijos universitetas. |
| Type |
Doctoral thesis |
| Language |
Lithuanian |
| Publication date |
2019 |
