<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet href="client.xsl" type="text/xsl"?>
<article article-type="other">
<front>
<journal-meta>
<journal-id/>
<issn/>
<banner>
<!--<href>banner.jpg</href>-->
<size width="100%"/>
</banner>
</journal-meta>
<article-meta>
<title-group>
<article-title>Matrix-Based Representation for Coordination Fault Detection: A Formal Approach</article-title>
</title-group>

<author><a href="mailto:fkalechm@cs.biu.ac.il"><name>Meir Kalech</name></a></author>
<aff>The MAVERICK Group Computer Science, Department Bar Ilan University, Israel</aff>

<author><a href="mailto:lindnerm@gmail.com"><name>Michael Lindner</name></a></author>
<aff>The MAVERICK Group Computer Science, Department Bar Ilan University, Israel</aff>

<author><a href="mailto:galkg@cs.biu.ac.il"><name>Gal A. Kaminka</name></a></author>
<aff>The MAVERICK Group Computer Science, Department Bar Ilan University, Israel</aff>

</article-meta></front>
<body>
<abstract>
<title>ABSTRACT</title>
<p>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&#8211;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.</p>
</abstract>
<fpdf>
<href>pdflogo.jpg</href>
<hpdf>AAMAS07_0313_9eaa08fe3ffae773512f0d30abff3e88</hpdf>
</fpdf>
</body>
</article>
