Show simple item record

dc.contributor.authorEl Haddad, Joyce
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.date.accessioned2010-04-13T16:09:20Z
dc.date.available2010-04-13T16:09:20Z
dc.date.issued2004
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/3963
dc.language.isoenen
dc.subjectMarkov chainsen
dc.subjectPetri netsen
dc.subjectself-stabilizationen
dc.subjectfault toleranceen
dc.subjectmulti-robots systemsen
dc.subject.ddc003en
dc.titleA fault-tolerant communication mechanism for cooperative robotsen
dc.typeArticle accepté pour publication ou publié
dc.description.abstractenOperations in unpredictable environments require coordinating teams of robots. This coordination implies peer-to-peer communication between the team's robots, resource allocation, and coordination. We address the problem of autonomous robots which alternate between execution of individual tasks and peer-to-peer communication. Each robot keeps in its permanent memory a set of locations where it can meet some of the other robots. The proposed protocol is constructed by two layered modules (sub-algorithms: a self-stabilizing scheduling and a construction of a minimum-hop path forest). The first self-stabilizing algorithm solves the management of visits to these locations ensuring that, after the stabilizing phase, every visit to a location will lead to a communication. We model the untimed behaviour of a robot by a Petri net and the timed behaviour by an (infinite) Discrete Time Markov Chain. Theoretical results in this area are then combined in order to establish the proof of the algorithm. The second self-stabilizing algorithm computes the minimum-hop path between a specific robot's location and the locations of all the other robots of the system in order to implement routing.en
dc.relation.isversionofjnlnameInternational Journal of Production Research
dc.relation.isversionofjnlvol42en
dc.relation.isversionofjnlissue14en
dc.relation.isversionofjnldate2004-07
dc.relation.isversionofjnlpages2793-2808en
dc.relation.isversionofdoihttp://dx.doi.org/10.1080/00207540410001705185en
dc.description.sponsorshipprivateouien
dc.relation.isversionofjnlpublisherTaylor & Francisen
dc.subject.ddclabelRecherche opérationnelleen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record