On the Limits and Practice of Automatically Designing Self-Stabilization

A protocol is said to be self-stabilizing when the distributed system executing it is guaranteed to recover from any fault that does not cause permanent damage. Designing such protocols is hard since they must recover from all possible states, therefore we investigate how feasible it is to synthesize them automatically. We show that synthesizing stabilization on a fixed topology is NP-complete in the number of system states. When a solution is found, we further show that verifying its correctness on a general topology (with any number of processes) is undecidable, even for very simple unidirectional rings. Despite these negative results, we develop an algorithm to synthesize a self-stabilizing protocol given its desired topology, legitimate states, and behavior. By analogy to shadow puppetry, where a puppeteer may design a complex puppet to cast a desired shadow, a protocol may need to be designed in a complex way that does not even resemble its specification. Our shadow/puppet synthesis algorithm addresses this concern and, using a complete backtracking search, has automatically designed 4 new self-stabilizing protocols with minimal process space requirements: 2-state maximal matching on bidirectional rings, 5-state token passing on unidirectional rings, 3-state token passing on bidirectional chains, and 4-state orientation on daisy chains

The Canonical Amoebot Model: Algorithms and Concurrency Control

The amoebot model abstracts active programmable matter as a collection of simple computational elements called amoebots that interact locally to collectively achieve tasks of coordination and movement. Since its introduction at SPAA 2014, a growing body of literature has adapted its assumptions for a variety of problems; however, without a standardized hierarchy of assumptions, precise systematic comparison of results under the amoebot model is difficult. We propose the canonical amoebot model, an updated formalization that distinguishes between core model features and families of assumption variants. A key improvement addressed by the canonical amoebot model is concurrency. Much of the existing literature implicitly assumes amoebot actions are isolated and reliable, reducing analysis to the sequential setting where at most one amoebot is active at a time. However, real programmable matter systems are concurrent. The canonical amoebot model formalizes all amoebot communication as message passing, leveraging adversarial activation models of concurrent executions. Under this granular treatment of time, we take two complementary approaches to concurrent algorithm design. We first establish a set of sufficient conditions for algorithm correctness under any concurrent execution, embedding concurrency control directly in algorithm design. We then present a concurrency control framework that uses locks to convert amoebot algorithms that terminate in the sequential setting and satisfy certain conventions into algorithms that exhibit equivalent behavior in the concurrent setting. As a case study, we demonstrate both approaches using a simple algorithm for hexagon formation. Together, the canonical amoebot model and these complementary approaches to concurrent algorithm design open new directions for distributed computing research on programmable matter.Comment: 48 pages, 7 figures, 2 table

Efficient Passive Clustering and Gateways selection MANETs

Passive clustering does not employ control packets to collect topological information in ad hoc networks. In our proposal, we avoid making frequent changes in cluster architecture due to repeated election and re-election of cluster heads and gateways. Our primary objective has been to make Passive Clustering more practical by employing optimal number of gateways and reduce the number of rebroadcast packets

Occlusion: Creating Disorientation, Fugue, and Apophenia in an Art Game

Occlusion is a procedurally randomized interactive art experience which uses the motifs of repetition, isolation, incongruity and mutability to develop an experience of a Folie àDeux: a madness shared by two. It draws from traditional video game forms, development methods, and tools to situate itself in context with games as well as other forms of interactive digital media. In this way, Occlusion approaches the making of game-like media from the art criticism perspective of Materiality, and the written work accompanying the prototype discusses critical aesthetic concerns for Occlusion both as an art experience borrowing from games and as a text that can be academically understood in relation to other practices of media making. In addition to the produced software artifact and written analysis, this thesis includes primary research in the form of four interviews with artists, authors, game makers and game critics concerning Materiality and dissociative themes in game-like media. The written work first introduces Occlusion in context with other approaches to procedural remixing, Glitch Art, net.art, and analogue and digital collage and décollage, with special attention to recontextualization and apophenia. The experience, visual, and audio design approach of Occlusion is reviewed through a discussion of explicit design choices which define generative space. Development process, release process, post-release distribution, testing, and maintenance are reviewed, and the paper concludes with a description of future work and a post- mortem discussion. Included as appendices are a full specification document, script, and transcripts of all interviews

Recent Advances in Multi Robot Systems

To design a team of robots which is able to perform given tasks is a great concern of many members of robotics community. There are many problems left to be solved in order to have the fully functional robot team. Robotics community is trying hard to solve such problems (navigation, task allocation, communication, adaptation, control, ...). This book represents the contributions of the top researchers in this field and will serve as a valuable tool for professionals in this interdisciplinary field. It is focused on the challenging issues of team architectures, vehicle learning and adaptation, heterogeneous group control and cooperation, task selection, dynamic autonomy, mixed initiative, and human and robot team interaction. The book consists of 16 chapters introducing both basic research and advanced developments. Topics covered include kinematics, dynamic analysis, accuracy, optimization design, modelling, simulation and control of multi robot systems

2009 Annual Progress Report: DOE Hydrogen Program

This report summarizes the hydrogen and fuel cell R&D activities and accomplishments of the DOE Hydrogen Program for FY2009. It covers the program areas of hydrogen production and delivery; fuel cells; manufacturing; technology validation; safety, codes and standards; education; and systems analysis