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

Mark Hoogendoorn; Michel C. A. Klein; Zulfiqar A. Memon; J. Treur

doi:10.1007/978-3-540-92219-3_34

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

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Biomedical Engineering Systems and Technologies - International Joint Conference, BIOSTEC 2008, Revised Selected Papers
Editors	Ana L. N. Fred, Joaquim Filipe, Hugo Gamboa
Publisher	Springer/Verlag
Pages	453-466
Number of pages	14
Volume	25 CCIS
ISBN (Print)	3540922180, 9783540922186
DOIs	https://doi.org/10.1007/978-3-540-92219-3_34
Publication status	Published - 2009
Event	1st International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2008 - Funchal, Madeira, Portugal Duration: 28 Jan 2008 → 31 Jan 2008

Publication series

Name	Communications in Computer and Information Science
Publisher	Springer
Volume	25 CCIS
ISSN (Print)	1865-0929

Conference

Conference	1st International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2008
Country/Territory	Portugal
City	Funchal, Madeira
Period	28/01/08 → 31/01/08

Bibliographical note

Revised version of the 2008 HealthInf publication.

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Access to Document

10.1007/978-3-540-92219-3_34Licence: Unspecified

http://www.mendeley.com/research/formal-verification-agentbased-support-system-medicine-intake

Persistent URL (handle)

Persistent link

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. et al. / 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{\textquoteright}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.; 1st International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2008 ; Conference date: 28-01-2008 Through 31-01-2008",

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. et al.
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 proceeding › Conference contribution › Academic › peer-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 - https://www.scopus.com/pages/publications/78049388452

UR - https://www.scopus.com/pages/publications/78049388452#tab=citedBy

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

T2 - 1st International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2008

Y2 - 28 January 2008 through 31 January 2008

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). doi: 10.1007/978-3-540-92219-3_34

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

Abstract

Publication series

Conference

Bibliographical note

UN SDGs

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this