Using RFID tags for robot swarm cooperation

WSEAS Transactions on Systems

Volumn 5, Issue 5, 2006, Pages 1121-1128

  Tammet, Tanel ^a   Vain, Jüri ^a   Kuusik, Alar ^b  

^a TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

^b ELIKO Technology Competence Centre   (Estonia)

Author keywords

Distributed knowledge; Formal verification; Intelligent agent; Mobile robot; Rfid; Semantic web

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS; IDENTIFICATION (CONTROL SYSTEMS); INTELLIGENT AGENTS; INTEROPERABILITY; SEMANTICS;

CONTEMPORARY RADIO FREQUENCY IDENTIFICATION TAGS; DISTRIBUTED KNOWLEDGE; FORMAL VERIFICATION; SEMANTIC WEB;

MOBILE ROBOTS;

EID: 33744761548     PISSN: 11092777     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Finkenzeller, K., RFID Handbook: Fundamentals and Applications in Contactless Smart Cards and Identification. John Wiley and Sons, 2003.
2. Domnitcheva. Smart Vacuum Cleaner - An Autonomous Location-Aware Cleaning Device.
3. T. Staedter. Intelligent Carpet Directs Robot Vacuum. Discovery News. http://dsc.discovery.com/news/briefs/20050613/smartcarpet.html
4. http://www.w3.org/2001/sw/
5. http://en.wikipedia.org/wiki/Swarm_intelligence
6. http://www.epcglobalinc.org/
7. http://www.alientechnology.com/products/bap_tags.php
8. Manola, F., Miller, E., eds. RDF Primer. http://www.w3.org/TR/rdf-primer/
9. Smith, M. K., Welty, C., McGuinness, D. OWL Web Ontology Language Guide. http://www.w3.org/TR/owl-guide/
10. MacGregor, R., Ko I-Y. Smith, M. K., Representing Contextualized Data using Semantic Web Tools. In PSSS1 - Practical and Scalable Semantic Systems, Proceedings of the First International Workshop on Practical and Scalable Semantic Systems, Sanibel Island, Florida, USA, October 20, 2003
11. R. Alur and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126:1 (183--235), 1994
12. Edmund M. Clarke, J., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge, MA, USA (1999)
13. Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P.R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K.G., Möller, M.O., Pettersson, P., Weise, C., Yi, W.: Uppaal - Now, Next, and Future. In Cassez, F., Jard, C., Rozoy, B., Ryan, M.,eds.: Modelling and Verification of Parallel Processes. Number 2067 in Lecture Notes in Computer Science Tutorial, Springer-Verlag (2001) 100-125.