Formal specification and analysis of intelligent agents for model-based medicine usage management

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

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.
LanguageEnglish
Pages444-457
JournalComputers in Biology and Medicine
Volume43
Issue number5
DOIs
Publication statusPublished - 2013

Fingerprint

Intelligent agents
Medicine
Patient Simulation
Systems Analysis
Dynamical systems
Formal specification

Cite this

@article{c735b64bcdeb4e9fa783c38187b8ad9e,
title = "Formal specification and analysis of intelligent agents for model-based medicine usage management",
abstract = "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. {\circledC} 2013 Elsevier Ltd.",
author = "M. Hoogendoorn and M.C.A. Klein and Z.A. Memon and J. Treur",
year = "2013",
doi = "10.1016/j.compbiomed.2013.01.021",
language = "English",
volume = "43",
pages = "444--457",
journal = "Computers in Biology and Medicine",
issn = "0010-4825",
publisher = "Elsevier Limited",
number = "5",

}

Formal specification and analysis of intelligent agents for model-based medicine usage management. / Hoogendoorn, M.; Klein, M.C.A.; Memon, Z.A.; Treur, J.

In: Computers in Biology and Medicine, Vol. 43, No. 5, 2013, p. 444-457.

Research output: Contribution to JournalArticleAcademicpeer-review

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.

U2 - 10.1016/j.compbiomed.2013.01.021

DO - 10.1016/j.compbiomed.2013.01.021

M3 - Article

VL - 43

SP - 444

EP - 457

JO - Computers in Biology and Medicine

T2 - Computers in Biology and Medicine

JF - Computers in Biology and Medicine

SN - 0010-4825

IS - 5

ER -