Abstract
The use of technology within the home environment has been established as an acceptable means to support independent living for elderly and disabled people. An area of particular interest within this domain relates to monitoring of Activities of Daily Living for those persons with a form of cognitive decline. In this area, specific tasks undertaken by the persons in the context of their normal day-to-day lives reveal a wealth of information to be used to customize their environment to improve their living experience. In our current work we investigate the development of models which can be used to represent, classify and monitor basic human behaviors and support observation and control of activities of daily living. In particular, in this paper we focus on the problem of automated recognition of sequences of events that may indicate critical conditions and unexpected behaviors requiring intervention and attention from caregivers. Our work is based on a formal framework developed with temporal logic used for the specification of critical sequences of patterns and a behavior checking engine for automated recognition. In addition we have also developed an approach to provide a means of interaction with user. A visual formalism for the specification of Linear Temporal Logic expressions reduces the barrier of technical complexity enabling the involvement of experts in the domain of healthcare services to interact with the system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Lymberis, A., de Rossi, D.: Wearable eHealth Systems for Personalised Health Management. In: State of the Art and Future Challenges, vol. 108, IOS Press, Amsterdam (2004)
Augusto, J.C., Nugent, C.D.: Designing Smart Homes, The Role of Artificial Intelligence. In: Augusto, J.C., Nugent, C.D. (eds.) Designing Smart Homes. LNCS (LNAI), vol. 4008, Springer, Heidelberg (2006)
Bauchet, J., Mayers, A.: Modelisation of adls in its environment for cognitive assistance. In: Proc. of the 3rd International Conference on Smart Homes and Health Telematic (ICOST’05), Sherbrooke, Canada, pp. 3–10. IOS Press, Amsterdam (2005)
Bouchard, B., Giroux, S., Bouzouane, A.: A logical approach to adl recognition for alzheimer’s patients. In: Proc. of the 4th International Conference on Smart Homes and Health Telematic (ICOST’06), pp. 1–8 (2006)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1992)
Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244–263 (1986)
Clarke, E.M., Grumberg, O., Hamaguchi, K.: Another look at ltl model checking. Formal Methods in System Design 10(1), 47–71 (1997)
Drusinsky, D., Shing, M.T.: Monitoring temporal logic specifications combined with time series constraints. J. UCS 9(11), 1261–1276 (2003)
Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-mac: A run-time assurance approach for java programs. Formal Methods in System Design 24(2), 129–155 (2004)
Naldurg, P., Sen, K., Thati, P.: A temporal logic based framework for intrusion detection. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 359–376. Springer, Heidelberg (2004)
Paggetti, C., Tamburini, E.: Remote management of integrated home care services: the dghome platform. In: Press, I. (ed.) From Smart Homes to Smart Care: Icost (2005), pp. 298–302 (2005)
Benedetti, M., Cimatti, A.: Bounded model checking for past ltl. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 18–33. Springer, Heidelberg (2003)
Lusini, M., Vicario, E.: Engineering the usability of visual formalisms: a case study in real time logics. In: Catarci, T., Costabile, M.F., Santucci, G., Tarantino, L. (eds.) AVI, pp. 114–123. ACM Press, New York (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Rugnone, A., Poli, F., Vicario, E., Nugent, C.D., Tamburini, E., Paggetti, C. (2007). A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring. In: Okadome, T., Yamazaki, T., Makhtari, M. (eds) Pervasive Computing for Quality of Life Enhancement. ICOST 2007. Lecture Notes in Computer Science, vol 4541. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73035-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-73035-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73034-7
Online ISBN: 978-3-540-73035-4
eBook Packages: Computer ScienceComputer Science (R0)