Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People

Authors:
Antonio Coronato;Giuseppe De Pietro
Affiliations:
ICAR-CNR, Naples, Italy;ICAR-CNR, Naples, Italy
Venue:
Mobile Networks and Applications
Year:
2013

Citing 11
Cited 1

Mobile ambients

Theoretical Computer Science
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Event Calculus Reasoning Through Satisfiability

Journal of Logic and Computation
Bigraphs and Their Algebra

Electronic Notes in Theoretical Computer Science (ENTCS)
Video Behavior Profiling for Anomaly Detection

IEEE Transactions on Pattern Analysis and Machine Intelligence
Abnormal Behavior Recognition Using Self-Adaptive Hidden Markov Models

ICIAR '09 Proceedings of the 6th International Conference on Image Analysis and Recognition
Formal specification of wireless and pervasive healthcare applications

ACM Transactions on Embedded Computing Systems (TECS)
An interaction-embedded HMM framework for human behavior understanding: with nursing environments as examples

IEEE Transactions on Information Technology in Biomedicine
Formal Design of Ambient Intelligence Applications

Computer
Review: Situation identification techniques in pervasive computing: A review

Pervasive and Mobile Computing
Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications

IEEE Transactions on Software Engineering

A monitoring system enhanced by means of situation-awareness for cognitive impaired people

BodyNets '13 Proceedings of the 8th International Conference on Body Area Networks

Quantified Score

Hi-index	0.00

Visualization

Abstract

Cognitive deterioration in neurodegenerative diseases is progressive and leads to increasing need for the patient to be monitored and assisted. Unfortunately, mid-stage cognitive impaired patients may behave irrationally to attempt the integrity of their hosting environments or their own safety. This paper presents a new formal approach for the situation-awareness and the detection of abnormal behaviors of cognitive impaired people in situation-aware smart spaces. Instead of relying on the identification of deviations from normal behaviors, the approach is based on the specification and runtime verification of correctness properties. Situation Calculus is the formal method adopted to model the world; whereas, intelligent agents detect abnormal and dangerous situations. Dangerous situation recovery is also performed by ad-hoc intellignet agents.