Model checking
PAT: Towards Flexible Verification under Fairness
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
2-layer erroneous-plan recognition for dementia patients in smart homes
Healthcom'09 Proceedings of the 11th international conference on e-Health networking, applications and services
Human-centric situational awareness in the bedroom
ICOST'11 Proceedings of the 9th international conference on Toward useful services for elderly and people with disabilities: smart homes and health telematics
Handling user interface plasticity in assistive environment: UbiSMART framework
ICOST'11 Proceedings of the 9th international conference on Toward useful services for elderly and people with disabilities: smart homes and health telematics
A semantic plug&play based framework for ambient assisted living
ICOST'12 Proceedings of the 10th international smart homes and health telematics conference on Impact Ananlysis of Solutions for Chronic Disease Prevention and Management
ACARP: auto correct activity recognition rules using process analysis toolkit (PAT)
ICOST'12 Proceedings of the 10th international smart homes and health telematics conference on Impact Ananlysis of Solutions for Chronic Disease Prevention and Management
Intervention tailoring in AAL systems for elders with dementia using ontologies
IWAAL'12 Proceedings of the 4th international conference on Ambient Assisted Living and Home Care
Hi-index | 0.00 |
We discuss an integrated approach towards building systems for monitoring and assisting people with mild dementia in their homes. Our approach differs from existing approaches in three ways. First we improve context acquisition and understanding with the concept of micro-context that takes us beyond existing notions of location and temporal context; second, we incorporate plasticity concept into the human computer interface, in order to provide a natural interaction way and accommodative interface to the user; third we target robust and reliable systems that are easy to scale and deploy in diverse end-user settings, through the use of formal model building tools to specify and verify systems at key stages from requirements generation all the way to deployment and user statistics gathering. In order to address real-life end user requirements we are working closely with geriatric doctors and their staff, so as to get inputs as to precise challenges in caring for mild dementia patients, and how systems targeted at holistic, personalized assistance and care-giving can be built with a view towards scaled up deployment in diverse settings. The main contribution of this paper is an approach for system building that incorporates activity monitoring, user interface plasticity and scenario verification targeting people with cognitive decline in regards to a Singapore initiative called A-Star Home 2015 Phase II. We expect our work to lead to a methodology for systematic development of monitoring and assistive systems for cognitive interventions for mild dementia patients at home. Although the integrated framework is still not completely realized, the three areas mentioned above have each yielded significant results on their own, and these are mentioned in the paper.