Title :
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
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;
Conference_Titel :
Systems (ICONS), 2010 Fifth International Conference on
Conference_Location :
Menuires
Print_ISBN :
978-1-4244-6231-5
DOI :
10.1109/ICONS.2010.9
