TY - JOUR
T1 - Formal specification and analysis of intelligent agents for model-based medicine usage management
AU - Hoogendoorn, M.
AU - Klein, M.C.A.
AU - Memon, Z.A.
AU - Treur, J.
PY - 2013
Y1 - 2013
N2 - A model-based agent system model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamical system model to estimate the medicine level in the patient's body by simulation, is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this. © 2013 Elsevier Ltd.
AB - A model-based agent system model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamical system model to estimate the medicine level in the patient's body by simulation, is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this. © 2013 Elsevier Ltd.
UR - https://www.scopus.com/pages/publications/84875919347
UR - https://www.scopus.com/inward/citedby.url?scp=84875919347&partnerID=8YFLogxK
U2 - 10.1016/j.compbiomed.2013.01.021
DO - 10.1016/j.compbiomed.2013.01.021
M3 - Article
SN - 0010-4825
VL - 43
SP - 444
EP - 457
JO - Computers in Biology and Medicine
JF - Computers in Biology and Medicine
IS - 5
ER -
