Formal verification of an agent-based support system for medicine intake

5Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.
Get full text

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. © 2008 Springer-Verlag.

Cite

CITATION STYLE

APA

Hoogendoorn, M., Klein, M. C. A., Memon, Z. A., & Treur, J. (2008). Formal verification of an agent-based support system for medicine intake. In Communications in Computer and Information Science (Vol. 25 CCIS, pp. 453–466). https://doi.org/10.1007/978-3-540-92219-3_34

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free