ACARP: auto correct activity recognition rules using process analysis toolkit (PAT)

Authors:
Vwen Yen Lee;Yan Liu;Xian Zhang;Clifton Phua;Kelvin Sim;Jiaqi Zhu;Jit Biswas;Jin Song Dong;Mounir Mokhtari
Affiliations:
Institute for Infocomm Research, A*STAR, Singapore;National University of Singapore, Singapore;National University of Singapore, Singapore;Institute for Infocomm Research, A*STAR, Singapore;Institute for Infocomm Research, A*STAR, Singapore;Institute for Infocomm Research, A*STAR, Singapore;Institute for Infocomm Research, A*STAR, Singapore;National University of Singapore, Singapore;CNRS-IPAL/Institut TELECOM & Institute for Infocomm Research, Singapore
Venue:
ICOST'12 Proceedings of the 10th international smart homes and health telematics conference on Impact Ananlysis of Solutions for Chronic Disease Prevention and Management
Year:
2012

Citing 5
Cited 0

PAT: Towards Flexible Verification under Fairness

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Integrating Specification and Programs for System Modeling and Verification

TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Formal specification of wireless and pervasive healthcare applications

ACM Transactions on Embedded Computing Systems (TECS)
Mild dementia care at home - integrating activity monitoring, user interface plasticity and scenario verification

ICOST'10 Proceedings of the Aging friendly technology for health and independence, and 8th international conference on Smart homes and health telematics
Rule-based activity recognition in ambient intelligence

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Activity recognition within ambient environments is a highly non-trivial process. Such procedures can be managed using rule based systems in monitoring human behavior. However, designing and verification of such systems is laborious and time-consuming. We present a rule verification system that uses model checking techniques to ensure rule validity. This system also performs correction of erroneous rules automatically, therefore reducing reliance on manual rule checking, verification and correction.