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

Bibliographical note

Revised version of the 2008 HealthInf publication.

Fingerprint Dive into the research topics of 'Formal Verification of an Agent-Based Support System for Medicine Intake'. Together they form a unique fingerprint.

Cite this