Show simple item record

dc.contributor.authorEl Haddad, Joyce
dc.contributor.authorHaddad, Serge
dc.date.accessioned2010-10-25T09:11:28Z
dc.date.available2010-10-25T09:11:28Z
dc.date.issued2003
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/4964
dc.language.isoenen
dc.subjectMarkov chainen
dc.subjectPetri net theoryen
dc.subjectautonomous robotsen
dc.subjectrandomized distributed algorithmsen
dc.subjectSelf-stabilizing systemsen
dc.subject.ddc004en
dc.titleSelf-Stabilizing Scheduling Algorithm for Cooperating Robotsen
dc.typeCommunication / Conférence
dc.description.abstractenWe 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 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 (in_nite) discrete time Markov chain. Theoretical results in this area are then combined in order to establish the proof of the algorithm.en
dc.identifier.citationpages128-135en
dc.relation.ispartoftitleACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts.en
dc.relation.ispartofpublnameIEEEen
dc.relation.ispartofdate2003
dc.relation.ispartofurlhttp://dx.doi.org/10.1109/AICCSA.2003.1227439en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn0-7803-7983-7en
dc.relation.conftitleACS/IEEE International Conference on Computer Systems and Applications (AICCSA'03)en
dc.relation.confdate2003-07
dc.relation.confcityTunisen
dc.relation.confcountryTunisieen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record