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
TypeCommunication / Conférence
Conference titleACS/IEEE International Conference on Computer Systems and Applications (AICCSA'03)
Book titleACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts.
MetadataShow full item record
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 / KeywordsMarkov chain; Petri net theory; autonomous robots; randomized distributed algorithms; Self-stabilizing systems
Showing items related by title and author.