• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail

Self-Stabilizing Scheduling Algorithm for Cooperating Robots

El Haddad, Joyce; Haddad, Serge (2003), Self-Stabilizing Scheduling Algorithm for Cooperating Robots, ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts., IEEE, p. 128-135

View/Open
haddad_haddad.PDF (153.7Kb)
Type
Communication / Conférence
Date
2003
Conference title
ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'03)
Conference date
2003-07
Conference city
Tunis
Conference country
Tunisie
Book title
ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts.
Publisher
IEEE
ISBN
0-7803-7983-7
Pages
128-135
Metadata
Show full item record
Author(s)
El Haddad, Joyce
Haddad, Serge
Abstract (EN)
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 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.
Subjects / Keywords
Markov chain; Petri net theory; autonomous robots; randomized distributed algorithms; Self-stabilizing systems

Related items

Showing items related by title and author.

  • Thumbnail
    A Self-stabilizing Protocol for an Ad hoc Networks of Mobile Robots 
    Haddad, Serge; El Haddad, Joyce (2002) Document de travail / Working paper
  • Thumbnail
    Algorithmes de communication auto-stabilisants dans un système de robots mobiles 
    El Haddad, Joyce; Haddad, Serge (2003) Communication / Conférence
  • Thumbnail
    A fault-tolerant communication mechanism for cooperative robots 
    El Haddad, Joyce; Haddad, Serge (2004) Article accepté pour publication ou publié
  • Thumbnail
    A Fault-Contained Spanning Tree Protocol for Arbitrary Networks 
    El Haddad, Joyce; Haddad, Serge (2004) Communication / Conférence
  • Thumbnail
    Fuzzy ACID properties for self-adaptive composite cloud services execution 
    Cardinale, Yudith; El Haddad, Joyce; Manouvrier, Maude; Rukoz, Marta (2019) Article accepté pour publication ou publié
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo