Self-stabilizing distributed algorithms by gellular automata

DOI10.1007/978-3-030-61588-8_7MaRDI QIDQ2038019zbMATH OpenOpenAlexFDO

Authors Taiga Hongu, Masami Hagiya

Publication date 8 July 2021

Full work available at URL https://doi.org/10.1007/978-3-030-61588-8_7

zbMATH Keywords

distance-2 coloringgellular automataself-stabilitysolving a mazespanning tree construction

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Recommendations

• Self-stabilizing distributed algorithms by gellular automata
• Self-stabilizing gellular automata
• scientific article; zbMATH DE number 512850
• Automated synthesis of distributed self-stabilizing protocols
• An automata-theoretic approach to the verification of distributed algorithms
• An automata-theoretic approach to the verification of distributed algorithms
• Introduction to Distributed Self-Stabilizing Algorithms
• Binary self-stabilization in distributed systems
• A strategy for automatic verification of stabilization of distributed algorithms

Cites work

• A General Approach to Coordination Control of Mobile Agents With Motion Constraints
• Affine Formation Maneuver Control of Multiagent Systems
• Chattering-free full-order recursive sliding mode control for finite-time attitude synchronization of rigid spacecraft
• Distributed consensus in multi-vehicle cooperative control. Theory and applications.
• Swarm stability and optimization

This page was built for publication: Self-stabilizing distributed algorithms by gellular automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2038019)