Elsevier

Computer Networks

Volume 93, Part 1, 24 December 2015, Pages 141-152
Computer Networks

Fast and robust self-organization for micro-electro-mechanical robotic systems

https://doi.org/10.1016/j.comnet.2015.08.043Get rights and content

Abstract

Microrobots are low-power and low-capacity memory devices that can sense and act. They perform various missions and tasks in a wide range of applications including odor localization, firefighting, medical service, surveillance and security, search and rescue. To achieve these tasks nodes should reconfigure their physical topology to another target organization. The self-organization is one of the most challenging tasks in MEMS applications. In this paper, we propose a distributed and efficient parallel self-organization protocol for chains of MEMS nodes. This protocol is memory-efficient because it does not use the predefined positions of the target shape, which reduces the memory usage to a constant complexity. Our algorithm is implemented in a real environment simulator called DPRSim, the Dynamic Physical Rendering Simulator.

Introduction

Micro electro mechanical systems (MEMS) microrobots are miniaturized and low-power distributed and autonomous devices that can sense and act. It is expected that these small devices, referred to as MEMS nodes, will be massed produced, making their individual cost almost negligible. MEMS microrobots are potentially very cheap, particularly through their use in many areas in our daily life, including odor localization, firefighting, medical service, surveillance and security, and search and rescue. Their applications require a massive deployment of nodes, thousands or even millions [8], [33] which will give birth to the concept of Distributed Intelligent MEMS (DiMEMS) [4], [12], [34].

The size of MEMS nodes can vary from well below one micron on the lower end of the dimensional spectrum, all the way to several millimeters. A DiMEMS device is composed of typically thousands or even millions of MEMS nodes. Some DiMEMS devices are composed of mobile MEMS nodes [1], [3], some others are partially mobile [36] whereas other are not mobile at all [4].

One of the major challenges in developing a microrobot is to achieve a precise movement to reach the destination position while using a very limited power supply. Many different solutions have been studied, for example, within the Claytronics project [1], [2], [9], [13], [22] each microrobot helps its neighbor to move to the desired position, which introduce the idea of a collaborative way of moving. However, even if the power requested for moving has been lowered, the moving still costs a lot regarding the communication and computation requirements. Optimizing the number of movements of microrobots is therefore crucial in order to save energy. Within the Claytronics project, each node can see only the state if its physical neighbor, this can be explained as a shared memory between physical neighbors. Therefore, the aim is to develop algorithms where each node uses only local information.

In the literature, the self-reconfiguration can be seen from two different points of view. First, it can be defined as a protocol, centralized or distributed, which transforms a set of nodes to reach the optimal logical topology from a physical topology [11]. On the other hand, the self-reconfiguration is built from modules which are autonomously able to change the way they are connected, thus changing the overall shape of the network [9], [26], [29]. This process is difficult to control, because it involves the distributed coordination of a large numbers of identical modules connected in time-varying ways. The range of exchanged information and the amount of displacement determine the communication and energy complexity of the distributed algorithm. As said before the MEMS nodes have a very small size. Therefore, due to their small size, to cover a target shape it is required to divide this target shape to very small units (according to the size of the node) which will give millions of positions. If we use the solutions in literature works each node should have a memory capacity of at least millions of positions if the size of the target shape is composed of millions of positions, hence the importance of providing self-reconfiguration solutions without predefined positions of the target shape.

An open issue is whether distributed self-reconfiguration would result in an optimal configuration with a moderate complexity in message, execution time, number of movements and memory usage.

In this paper, we propose a new distributed approach for parallelized self-reconfiguration of MEMS microrobots, where the target form is built in parallel incrementally, and each node can predict its number of movements to make the algorithm robust. Because the node can make sure that it has correctly followed the algorithm. We introduce a state model where each node can see the state of its physical neighbors to achieve the self-reconfiguration for distributed MEMS microrobots, using the states the nodes collaborate and help each other. Contrary to existing works, in our algorithm each node has no information on the correct positions (predefined positions) of the target shape. The self-reconfiguration with shared map (predefined positions of the target shape) does not scale. Because with the map each node should store all predefined positions (may be millions) of the target shape, this is not always possible as MEMS nodes have a low- capacity memory.

We propose an efficient, distributed, asynchronous and parallelized algorithm for nodes self-reconfiguration where each node can communicate only with its physical neighbors. We study the case of a self-reconfiguration from a chain of microrobots to a square. The performance of the self-organization algorithm is evaluated according to the number of movements, the amount of memory used and the time taken. In this paper the MEMS network is organized initially as a chain. By choosing a straight chain as the initial shape, we aim to study the performance of our approach in extreme case. Indeed, the chain form represents the worst physical topology for many distributed algorithms in terms of fault tolerance, propagation procedures and convergence. Indeed, a chain of microrobots represents the worst case for message broadcasting complexity with O(n), after reconfiguring into a square the complexity will be O(n) in the worst case.

To assess the distributed algorithm performance, we present the simulation results and we compare to former results. Our algorithm is implemented in a real environment simulator called DPRSim, the Dynamic Physical Rendering Simulator.

Outline of the paper. The rest of the paper is organized as follows: Section 4 discusses the model, definitions and some tools. Section 5 discusses the proposed algorithm, it analyzes the complexity of message and memory usage, it shows how to predict the number of movements and shows the generalization of the algorithm. Section 6 details the simulation results. Finally, Section 7 summarizes our conclusions and illustrates our suggestions for future work.

Section snippets

Related works

Many terms refer to the concept of self-reconfiguration. In several works on wireless networks the term used is selforganization, this term is also used to express the clustering of ad-hoc networks. Also, the self-organization term can be found in protocols for sensors networks to form a sphere or a polygon from a center node [21], [32]. Others algorithms for the redeployment of sensor networks are presented in [14], [25].

A growing number of research on self-reconfiguration for microrobots

Model, definitions and tools

Within Claytronics, a CATOM (Fig. 1) that we call in this paper a node is modeled as a sphere which can have at most six neighbors without overlapping. Within Claytronics, each node is able to sense the direction of its physical neighbors (east (E), west (W), north–east (NE), south–east (SE), south–west (SW) and north–west (NW)). The starting physical topology is a chain of n nodes linked together. We will take the example of nodes that have neighbors in NW and SE directions and we will show

Parallel algorithm with unsafe connectivity (PAUC)

In this section we present our protocol that ensures the property of non-snap-connectivity.

To form the matrix of the square with N×N nodes, we begin (according to Theorems 4.1 and 4.2) with an incremental process with a correct square (for example 1 × 1). Then, we add each time a new sub-layer contains 3T+2 nodes, with T × T is the last square. After, we add another sub-layer with T+2 nodes taking positions at the W direction relative to nodes of the last shape. If N is even, at the last layer

Simulation and comparison

We have done the simulation with the Dynamic Physical Rendering Simulator [35]. In our simulations the radius of the node is 1 mm. We simulated with a laptop with processor Intel(R) Core(Tm) i5, 2.53 GHz with 4 GB of memory. We note in the figures of simulation, PAUC1 for the values odd of n with t(η)=η/21 and p(n)=((n+n2)/2). And PAUC2 for the values even of n, with v(n)=(n/21) and s(η)=((η+η2)/2). Fig. 13 presents a screenshot during the execution of PAUC and Fig. 14 presents a screenshot

Conclusion

In this paper, we presented a new method to complete the self-reconfiguration where the nodes do not know the fixed positions of the target shape but only the aimed shape. Compared to the literature works this algorithm is scalable because each node needs only seven state to achieve the self-reconfiguration. Nodes in our paper can perform the algorithm regardless the place where they are because the algorithm is independent of the map, that what we call portability. We have shown a robust

Acknowledgments

This work is supported by the Labex ACTION program (contract ANR-11-LABX-01-01), ANR/RGC (contracts ANR-12-IS02-0004-01 and 3-ZG1F) and ANR (contract ANR-2011-BS03-005). The authors wish to express their appreciation to the anonymous reviewers for their constructive comments.

Hicham Lakhlef is a temporary researcher (Postdoctoral) in IRISA, University Of Rennes 1. During the year 2014/2015 he was temporary teaching assistant and researcher at the University of Franche-Comté/ FEMTO-ST institute (UMR CNRS 6174) in France. He obtained his Ph.D. degree from the University of Franche-Comté in 2014 in France. He obtained his Master’s degree from the University of Picardie Jules Verne in 2011 in France. In 2010 he was a student at the University of Setif in Algeria, in

References (36)

  • K. Stoy

    Using cellular automata and gradients to control self-reconfiguration

    Robotics Autonomous Syst.

    (2006)
  • F. Zambonelli et al.

    Spray computers: explorations in self-organization

    J. Pervasive Mob. Comput.

    (2005)
  • M.P. Ashley-Rollman et al.

    Meld: a declarative approach to programming ensembles

    Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS ’07)

    (2007)
  • M.P. Ashley-Rollman et al.

    A language for large ensembles of independently executing nodes

    Proceedings of the International Conference on Logic Programming (ICLP ’09)

    (2009)
  • T. Balch et al.

    Social potentials for scalable multi-robotformations

    Proceedings of the IEEE International Conference on Robotics and Automation

    (2000)
  • J. Bourgeois et al.

    Coordination and computation in distributed intelligent MEMS

    Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, Spain. AINA 2013

    (2013)
  • H. Bojinov et al.

    Emergent structures in modular self-reconfigurable robots

    Proceedings of the IEEE International Conference on Robotics and Automation

    (2000)
  • Z.J. Butler et al.

    Generic decentralized control for lattice-based self-reconfigurable robots

    Int. J. Robotics Res.

    (2004)
  • D. Dewey et al.

    Generalizing metamodules to simplify planning in modular robotic systems

    Proceedings of IEEE/RSJ 2008 International Conference on Intelligent Robots and Systems IROS ’08

    (2008)
  • T. Ebefors et al.

    A walking a silicon micro-robot

    Proceedings of the 10th International Conference on Solid-State Sensors and Actuators (Transducers ’99)

    (1999)
  • S. Funiak et al.

    Distributed localization of modular robot ensembles

    Proceedings of the Robotics: Science and Systems

    (2008)
  • C. Jones et al.

    From local to global behavior in intelligent self-assembly

    Proceedings of the 2003 IEEE International Conference on Robotics and Automation, ICRAM 2003

    (2003)
  • S. Jeon, C. Ji, 2008, Randomized Distributed Configuration Management of Wireless Networks: Multi-layer Markov Random...
  • S. Hollar et al.

    Solar powered 10 mg silicon robot

    Proceedings of the MEMS, Kyoto, Japan

    (2003)
  • M.E. Karagozler et al.

    Electrostatic actuation and control of micro robots using a post-processed high-voltage SOI CMOS chip

    Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS),

    (2011)
  • F. Kribi et al.

    Redeploying mobile wireless sensor networks with virtual forces

    Proceedings of the IFIP Wireless Days

    (2009)
  • H. Lakhlef et al.

    Distributed and efficient algorithm for self-reconfiguration of MEMS microrobots

    Proceedings of the 28th ACM Symposium On Applied Computing

    (2013)
  • H. Lakhlef et al.

    Distributed and dynamic map-less self-reconfiguration for microrobot networks

    Proceedings of the 12th IEEE International Symposium on Network Computing and Applications IEEE NCA 2013

    (2013)
  • Cited by (6)

    • A unit-compressible modular robotic system and its self-configuration strategy using meta-module

      2018, Robotics and Computer-Integrated Manufacturing
      Citation Excerpt :

      The authors in [22,23] proposed a parallel as well as distributed self-reconfiguration algorithm of their modules from a chain configuration to an arbitrary shape that satisfies a simple admissibility condition in a hexagonal lattice. And in [24,25], Lakhlef et al. proposed the distributed algorithms that manage to construct square shapes with spherical modules arranged in a 2D hexagonal lattice. In [26], Hurtado et al. presented the first known reconfiguration algorithm that applies in a general setting to a wide variety of particular MRS. It is a distributed algorithm and holds for both square and hexagonal lattice-based 2D systems.

    • Network nodes play a game – a routing alternative in multihop ad-hoc environments

      2017, Computer Networks
      Citation Excerpt :

      While problematic for the delivery of streaming data, the NGN-based communication platform is suitable for the transfer of real-time data, e.g., in networked control systems (NCS) where both the latency and jitter need to be limited even at the cost of an increased drop ratio (that is inevitable anyway and requires handling at a higher level [1–3]). In fact, the application of NGN in NCS is quite common today and broadens in scope encompassing, e.g., security and safety systems, or autonomous control settings [4–6]. In the centralized topologies, e.g., 802.11, or 802.16, all the nodes communicate through a designated one that governs the network.

    • Programmable matter as a cyber-physical conjugation

      2017, 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings
    • A distributed self-reconfiguration algorithm for cylindrical lattice-based modular robots

      2016, Proceedings - 2016 IEEE 15th International Symposium on Network Computing and Applications, NCA 2016
    • On the mapless reconfiguration for modular robots: Results and future directions

      2015, 2015 IEEE International Conference on Robotics and Biomimetics, IEEE-ROBIO 2015

    Hicham Lakhlef is a temporary researcher (Postdoctoral) in IRISA, University Of Rennes 1. During the year 2014/2015 he was temporary teaching assistant and researcher at the University of Franche-Comté/ FEMTO-ST institute (UMR CNRS 6174) in France. He obtained his Ph.D. degree from the University of Franche-Comté in 2014 in France. He obtained his Master’s degree from the University of Picardie Jules Verne in 2011 in France. In 2010 he was a student at the University of Setif in Algeria, in 2009 he was a student at the University of Oum Albouaghi in Algeria, in 2007 and 2008 he was a student at the University of Bordj Bou Arreridj in Algeria. His research interests are in parallel and distributed algorithms, sensor networks, clustering, self-reconfiguration, optimization, routing, and self-stabilization.

    Julien Bourgeois is professor of computer science at the University of Franche-Comté (UFC) in France. He is part of the FEMTO-ST institute (UMR CNRS 6174) where he is leading the complex networks team. His research interests are in distributed intelligent MEMS, P2P networks and security management for complex networks. He has been invited professor at Carnegie Mellon University (US) in 2012/2013, at Emory University (US) in 2011 and in Hong Kong Polytechnic University in 2010 and 2011. He is currently leading the topic system architecture, communication, networking in the LABEX ACTION funded program whose aims at building integrated smart systems (http://www.labexaction.fr/). He created and then co-led the Smart Surface project. In 2011, he created the Smart Blocks project which aims at building a self-reconfigurable conveying modular plate-form composed of MEMS sensors and actuators and in 2013, he created the computation and coordination for DiMEMS project. All these projects are funded by research agencies. He has also worked in the Centre for Parallel Computing at the University Of Wetsminster (UK) and in the Consiglio Nazionale delle Richerche (CNR) in Geneva. He collaborated with several other institutions (Lawrence Livermore National Lab, Oak Ridge National Lab, etc.). He is member of more than 10 program committees of international conferences on these topics and has organized many events. He has worked for more than 10 years on these topics has co-authored more than 100 international publications and communications and has served as PC members and chaired various conferences. Apart from its research activities, he is acting as a consultant for the French government and for companies.

    View full text