Gal A. Kaminka's Publications

Sorted by DateClassified by Publication TypeClassified by TopicGrouped by Student (current)Grouped by Former Students

Matrix-Based Representation for Coordination Fault Detection: A Formal Approach

Meir Kalech, Michael Lindner, and Gal A. Kaminka. Matrix-Based Representation for Coordination Fault Detection: A Formal Approach. In Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-07), 2007.

Download

[PDF]148.1kB  

Abstract

Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of reasoning team-members. One aspect of this requirement is detecting coordination faults as a result of intermittent failures of sensors, communication failures, etc. Detection of such failures, based on observations of the behavior of agents, is of prime importance. Though different solutions have been presented thus far, none has presented a comprehensive and formal resolution to this problem. This paper presents a formal approach to representing multi-agent coordination, and multi-agent observations, using matrix structures. This representation facilitates easy representation of coordination requirements, modularity, flexibility and reuse of existing systems. Based on this representation we present a novel solution for fault-detection that is both generic and efficient for large-scale teams.

Additional Information

BibTeX

@InProceedings{aamas07mike, 
  author = 	 {Meir Kalech and Michael Lindner and Gal A. Kaminka}, 
  title = 	 {Matrix-Based Representation for Coordination Fault Detection: A Formal Approach}, 
  OPTcrossref =  {}, 
  OPTkey = 	 {}, 
  booktitle = AAMAS-07, 
  OPTpages = 	 {In press}, 
  year = 	 {2007}, 
  abstract = { 
   	Teamwork requires that team members coordinate 
	their actions. The representation of the coordination is a key 
	requirement since it influences the complexity and flexibility of 
	reasoning team-members. One aspect of this requirement is 
	detecting coordination faults as a result of intermittent failures 
	of sensors, communication failures, etc. Detection of such failures, 
	based on observations of the behavior of agents, is of prime 
	importance. Though different solutions have been presented thus far, 
	none has presented a comprehensive and formal resolution to this 
	problem. This paper presents a formal approach to representing 
	multi-agent coordination, and multi-agent observations, using matrix 
	structures. This representation facilitates easy representation of 
	coordination requirements, modularity, flexibility and reuse of 
	existing systems. Based on this representation we present a novel 
	solution for fault-detection that is both generic and efficient for 
	large-scale teams.  }, 
  wwwnote = {}, 
  OPTeditor = 	 {}, 
  OPTvolume = 	 {}, 
  OPTnumber = 	 {}, 
  OPTseries = 	 {}, 
  OPTaddress = 	 {}, 
  OPTmonth = 	 {}, 
  OPTorganization = {}, 
  OPTpublisher = {}, 
  OPTannote = 	 {} 
} 

Generated by bib2html.pl (written by Patrick Riley ) on Sun Jul 23, 2017 22:08:49