Distributed coordination of mobile robots using RFID technology

Authors:
Tanel Tammet;Jüri Vain;Alar Kuusik
Affiliations:
Department of Computer Science, Tallinn University of Technology, Tallinn, Estonia;Department of Computer Science, Tallinn University of Technology, Tallinn, Estonia;ELIKO Technology Competence Centre, Tallinn, Estonia
Venue:
ACMOS'06 Proceedings of the 8th WSEAS international conference on Automatic control, modeling & simulation
Year:
2006

Citing 4
Cited 0

A theory of timed automata

Theoretical Computer Science
Model checking

Model checking
UPPAAL - Now, Next, and Future

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
RFID Handbook: Fundamentals and Applications in Contactless Smart Cards and Identification

RFID Handbook: Fundamentals and Applications in Contactless Smart Cards and Identification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Radio Frequency Identification is a promising technology for realizing distributed knowledge databases of the further. The proposed RFID database solution provides a cheap and feasible solution for indoor navigation, long term information storage and exchange between autonomous mobile devices and/or humans. For device interoperability it is proposed in the paper to organize data stored on tags using methods known in the semantic web research. The timeline scalability of the given solution is demonstrated on a cleaning robots swarm example, which is formally proved using a model checking technique.