Document - Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living

2013

Journal article Restricted

Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living

Magherini T., Fantechi A., Nugent C., Vicario E.

Artificial Intelligence Human Factors and Ergonomics Computer Networks and Communications Temporal logic Human-Computer Interaction Signal Processing Control and Systems Engineering Activities of Daily Living (ADL) Ambient Assisted Living (AAL) Computer Science Applications real-time processing Activity recognition Model checking

Automated monitoring and the recognition of activities of daily living (ADLs) is a key challenge in ambient-assisted living (AAL) for the assistance of the elderly. Within this context, a formal approach may provide a means to fill the gap between the low-level observations acquired by sensing devices and the high-level concepts that are required for the recognition of human activities. We describe a system named ARA (Automated Recognizer of ADLs) that exploits propositional temporal logic and model checking to support automated real-time recognition of ADLs within a smart environment. The logic is shown to be expressive enough for the specification of realistic patterns of ADLs in terms of basic actions detected by a sensorized environment. The online model checking engine is shown to be capable of processing a stream of detected actions in real time. The effectiveness and viability of the approach are evaluated within the context of a smart kitchen, where different types of ADLs are repeatedly performed.

Source: IEEE Transactions on Systems Man and Cybernetics Part C-Applications and Reviews 43 (2013): 509–521. doi:10.1109/TSMC.2013.2283661

Publisher: IEEE, Stati Uniti d'America

Metrics

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:302128,
	title = {Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living},
	author = {Magherini T. and Fantechi A. and Nugent C. and Vicario E.},
	publisher = {IEEE, Stati Uniti d'America},
	doi = {10.1109/tsmc.2013.2283661},
	journal = {IEEE Transactions on Systems Man and Cybernetics Part C-Applications and Reviews},
	volume = {43},
	pages = {509–521},
	year = {2013}
}