Formal Verification of an Agent-Based Support System for Medicine Intake

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

In this paper we present the design of an agent system for medicine usage management. Part of it is an intelligent ambient agent which incorporates an explicit representation of a dynamical system model to estimate the medicine level in the patient’s body. By simulation the ambient agent is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this.
Original languageEnglish
Title of host publicationBiomedical Engineering Systems and Technologies - International Joint Conference, BIOSTEC 2008, Revised Selected Papers
EditorsAna L. N. Fred, Joaquim Filipe, Hugo Gamboa
PublisherSpringer/Verlag
Pages453-466
Number of pages14
Volume25 CCIS
ISBN (Print)3540922180, 9783540922186
DOIs
Publication statusPublished - 2009
Event1st International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2008 - Funchal, Madeira, Portugal
Duration: 28 Jan 200831 Jan 2008

Publication series

NameCommunications in Computer and Information Science
PublisherSpringer
Volume25 CCIS
ISSN (Print)1865-0929

Conference

Conference1st International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2008
CountryPortugal
CityFunchal, Madeira
Period28/01/0831/01/08

Fingerprint

Medicine
Dynamical systems
Formal verification

Bibliographical note

Revised version of the 2008 HealthInf publication.

Cite this

Hoogendoorn, M., Klein, M. C. A., Memon, Z. A., & Treur, J. (2009). Formal Verification of an Agent-Based Support System for Medicine Intake. In A. L. N. Fred, J. Filipe, & H. Gamboa (Eds.), Biomedical Engineering Systems and Technologies - International Joint Conference, BIOSTEC 2008, Revised Selected Papers (Vol. 25 CCIS, pp. 453-466). (Communications in Computer and Information Science; Vol. 25 CCIS). Springer/Verlag. https://doi.org/10.1007/978-3-540-92219-3_34
Hoogendoorn, Mark ; Klein, Michel C. A. ; Memon, Zulfiqar A. ; Treur, J. / Formal Verification of an Agent-Based Support System for Medicine Intake. Biomedical Engineering Systems and Technologies - International Joint Conference, BIOSTEC 2008, Revised Selected Papers. editor / Ana L. N. Fred ; Joaquim Filipe ; Hugo Gamboa. Vol. 25 CCIS Springer/Verlag, 2009. pp. 453-466 (Communications in Computer and Information Science).
@inproceedings{d3a666b3119e456e8f6e792da412d9f2,
title = "Formal Verification of an Agent-Based Support System for Medicine Intake",
abstract = "In this paper we present the design of an agent system for medicine usage management. Part of it is an intelligent ambient agent which incorporates an explicit representation of a dynamical system model to estimate the medicine level in the patient’s body. By simulation the ambient agent is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this.",
author = "Mark Hoogendoorn and Klein, {Michel C. A.} and Memon, {Zulfiqar A.} and J. Treur",
note = "Revised version of the 2008 HealthInf publication.",
year = "2009",
doi = "10.1007/978-3-540-92219-3_34",
language = "English",
isbn = "3540922180",
volume = "25 CCIS",
series = "Communications in Computer and Information Science",
publisher = "Springer/Verlag",
pages = "453--466",
editor = "Fred, {Ana L. N.} and Joaquim Filipe and Hugo Gamboa",
booktitle = "Biomedical Engineering Systems and Technologies - International Joint Conference, BIOSTEC 2008, Revised Selected Papers",

}

Hoogendoorn, M, Klein, MCA, Memon, ZA & Treur, J 2009, Formal Verification of an Agent-Based Support System for Medicine Intake. in ALN Fred, J Filipe & H Gamboa (eds), Biomedical Engineering Systems and Technologies - International Joint Conference, BIOSTEC 2008, Revised Selected Papers. vol. 25 CCIS, Communications in Computer and Information Science, vol. 25 CCIS, Springer/Verlag, pp. 453-466, 1st International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2008, Funchal, Madeira, Portugal, 28/01/08. https://doi.org/10.1007/978-3-540-92219-3_34

Formal Verification of an Agent-Based Support System for Medicine Intake. / Hoogendoorn, Mark; Klein, Michel C. A.; Memon, Zulfiqar A.; Treur, J.

Biomedical Engineering Systems and Technologies - International Joint Conference, BIOSTEC 2008, Revised Selected Papers. ed. / Ana L. N. Fred; Joaquim Filipe; Hugo Gamboa. Vol. 25 CCIS Springer/Verlag, 2009. p. 453-466 (Communications in Computer and Information Science; Vol. 25 CCIS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Formal Verification of an Agent-Based Support System for Medicine Intake

AU - Hoogendoorn, Mark

AU - Klein, Michel C. A.

AU - Memon, Zulfiqar A.

AU - Treur, J.

N1 - Revised version of the 2008 HealthInf publication.

PY - 2009

Y1 - 2009

N2 - In this paper we present the design of an agent system for medicine usage management. Part of it is an intelligent ambient agent which incorporates an explicit representation of a dynamical system model to estimate the medicine level in the patient’s body. By simulation the ambient agent is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this.

AB - In this paper we present the design of an agent system for medicine usage management. Part of it is an intelligent ambient agent which incorporates an explicit representation of a dynamical system model to estimate the medicine level in the patient’s body. By simulation the ambient agent is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this.

UR - http://www.scopus.com/inward/record.url?scp=78049388452&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78049388452&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-92219-3_34

DO - 10.1007/978-3-540-92219-3_34

M3 - Conference contribution

SN - 3540922180

SN - 9783540922186

VL - 25 CCIS

T3 - Communications in Computer and Information Science

SP - 453

EP - 466

BT - Biomedical Engineering Systems and Technologies - International Joint Conference, BIOSTEC 2008, Revised Selected Papers

A2 - Fred, Ana L. N.

A2 - Filipe, Joaquim

A2 - Gamboa, Hugo

PB - Springer/Verlag

ER -

Hoogendoorn M, Klein MCA, Memon ZA, Treur J. Formal Verification of an Agent-Based Support System for Medicine Intake. In Fred ALN, Filipe J, Gamboa H, editors, Biomedical Engineering Systems and Technologies - International Joint Conference, BIOSTEC 2008, Revised Selected Papers. Vol. 25 CCIS. Springer/Verlag. 2009. p. 453-466. (Communications in Computer and Information Science). https://doi.org/10.1007/978-3-540-92219-3_34