ResourceHome: An RFID-Based Architecture and a Flexible Model for Ambient Intelligence

Author

Cacciagrano, Diletta ; Corradini, Flavio ; Culmone, Rosario

Author_Institution

Math. & Comput. Sci. Dept., Univ. of Camerino, Camerino, Italy

fYear

2010

fDate

11-16 April 2010

Firstpage

6

Lastpage

11

Abstract

In this paper, we propose ResourceHome, an innovative RFID-based framework to locate objects in delimited environments and statically prevent/detect dangerous spatial/temporal configurations, i.e. configurations firing dangerous interactions of properties among objects. Differently from most of RFID-based frameworks for spatial recognition, ResourceHome is equipped with an ontology-based knowledge model for describing two-dimensional environments with fixed and mobile objects, as well as with a suitable First Order logic-based model for statically detecting spatial/temporal configurations of objects firing dangerous interactions.

Keywords

formal logic; formal verification; ontologies (artificial intelligence); radiofrequency identification; ubiquitous computing; RFID-based architecture; ResourceHome; ambient intelligence; dangerous interaction; first order logic; fixed object; flexible model; mobile object; model checking; object location; ontology-based knowledge model; spatial configuration; temporal configuration; two-dimensional environment; ubiquitous computing; Ambient intelligence; Computer architecture; Hardware; Home computing; Intelligent sensors; Object detection; Ontologies; Pervasive computing; Radiofrequency identification; Ubiquitous computing; Ambient Intelligence; Domotics; Model Checking; Sensor Network; Ubiquitous Computing;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems (ICONS), 2010 Fifth International Conference on

Conference_Location

Menuires

Print_ISBN

978-1-4244-6231-5

Type

conf

DOI

10.1109/ICONS.2010.9

Filename

5464161