Top-Down vs. Bottom-Up Model-Based Methodologies for Distributed Control: A Comparative Experimental Study

Abstract

Model-based synthesis of distributed controllers for multi-robot systems is commonly approached in either a top-down or bottom-up fashion. In this paper, we investigate the experimental challenges of both approaches, with a special emphasis on resource-constrained miniature robots. We make our comparison through a case study in which a group of 2-cm-sized mobile robots screen the environment for undesirable features, and destroy or neutralize them. First, we solve this problem using a top-down approach that relies on a graph-based representation of the system, allowing for direct optimization using numerical techniques (e.g., linear and non-linear convex optimization) under very unrealistic assumptions (e.g., infinite number of robots, perfect localization, global communication, etc.). We show how one can relax these assumptions in the context of resource-constrained robots, and explain the resulting impact on system performance. Second, we solve the same problem using a bottom-up approach, i.e., we build up computationally efficient and accurate models at multiple abstraction levels, and use them to optimize the robots' controller using evolutionary algorithms. Finally, we outline the differences between the top-down and bottom-up approaches, and experimentally compare their performance.

The Best-of-n Problem in Robot Swarms: Formalization, State of the Art, and Novel Perspectives

“…The achievement of consensus is detected using an external tracking infrastructure, which also emulates the destruction of the spot. The proposed strategy has been derived following a bottom-up, multi-level modeling methodology that encompasses physics-based simulations, chemical reaction networks, and continuous ODE approximation (Mermoud et al, 2010(Mermoud et al, , 2014.…”

UAV Swarms Behavior Modeling Using Tracking Bigraphical Reactive Systems

“…Next, it is checked if the designed swarm is capable of carrying out a given mission. Both design methods have their pros and cons as it was discussed in [ 20 ]. The key difference between both methods is where does a design method start from.…”

Design and Verification of Multi-Agent Systems with the Use of Bigraphs

“…It also does not offer universal guarantees of task successful completion as presented in [12,13,18]. Putting our work in a broader context, we can place our methodology in a group of bottom-up [37] methods of MAS design with a note that it focuses on global goals rather than individual ones. In fact, agents in our approach do not have preferences that can affect their actions.…”