3 research outputs found
Threshold-Based Network Structural Dynamics
The interest in dynamic processes on networks is steadily rising in recent
years. In this paper, we consider the -Thresholded Network
Dynamics (-Dynamics), where , in which only
structural dynamics (dynamics of the network) are allowed, guided by local
thresholding rules executed in each node. In particular, in each discrete round
, each pair of nodes and that are allowed to communicate by the
scheduler, computes a value (the potential of the pair) as a
function of the local structure of the network at round around the two
nodes. If then the link (if it exists) between
and is removed; if then an existing
link among and is maintained; if then a
link between and is established if not already present.
The microscopic structure of -Dynamics appears to be simple,
so that we are able to rigorously argue about it, but still flexible, so that
we are able to design meaningful microscopic local rules that give rise to
interesting macroscopic behaviors. Our goals are the following: a) to
investigate the properties of the -Thresholded Network Dynamics
and b) to show that -Dynamics is expressive enough to solve
complex problems on networks.
Our contribution in these directions is twofold. We rigorously exhibit the
claim about the expressiveness of -Dynamics, both by designing
a simple protocol that provably computes the -core of the network as well as
by showing that -Dynamics is in fact Turing-Complete. Second
and most important, we construct general tools for proving stabilization that
work for a subclass of -Dynamics and prove speed of convergence
in a restricted setting.Comment: 29 pages, extension of the Post-print containing all proofs, to
appear in SIROCCO 202
Self-Reconfigurable Robots Topodynamic
Abstract — Modules connected to each other form a network. So, a modular robot is a module network. In the case of reconfigurable robots, the topology of this network evolves. We propose to ground the study of self-reconfigurable robots in a framework inspired by graph theory and cellular automata. We separate topological aspects from metrical ones, by defining the notion of graph topodynamic, and we provide a distributed algorithm which transforms a quadruped robot into a chain. I