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.
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