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.
Original languageEnglish
Pages (from-to)444-457
JournalComputers in Biology and Medicine
Volume43
Issue number5
DOIs
Publication statusPublished - 2013

Fingerprint

Dive into the research topics of 'Formal specification and analysis of intelligent agents for model-based medicine usage management'. Together they form a unique fingerprint.

Cite this