Automated design of self-stabilization

Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current state, the system behavior shall eventually reach a legitimate state and shall remain legitimate thereafter. The elegance of self-stabilization stems from the fact that it distinguishes distributed systems by a strong fault tolerance property against arbitrary state perturbations. The difficulty of designing and reasoning about self-stabilization has been witnessed by many researchers; most of the existing techniques for the verification and design of self-stabilization are either brute-force, or adopt manual approaches non-amenable to automation. In this dissertation, we first investigate the possibility of automatically designing self-stabilization through global state space exploration. In particular, we develop a set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies. Our heuristics equally exploit the computational power of a single workstation and the available parallelism on computer clusters. We obtain existing and new stabilizing solutions for classical protocols like maximal matching, ring coloring, mutual exclusion, leader election and agreement. Second, we consider a foundation for local reasoning about self-stabilization; i.e., study the global behavior of the distributed system by exploring the state space of just one of its components. It turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. In particular, we provide necessary and sufficient conditions – verifiable in the local state space of every process – for global deadlock- and livelock-freedom of protocols on ring topologies. Local reasoning potentially circumvents two fundamental problems that complicate the automated design and verification of distributed protocols: (1) state explosion and (2) partial state information. Moreover, local proofs of convergence are independent of the number of processes in the network, thereby enabling our assertions about deadlocks and livelocks to apply on rings of arbitrary sizes without worrying about state explosion.

THE DISPERSION AND SELECTIVE FLOCCULATION OF HEMATITE ORE

Iron ore is one of the most important ores in the world. Over the past century, most mining of iron ore has been focused on magnetite (Fe3O4). As the name suggests, magnetite is magnetic in nature and is easily separated from gangue (unwanted) minerals through magnetic separation processes. Unfortunately, the magnetite ore bodies are diminishing. Because of this, there has been a recent drive to pursue technology that can economically separate hematite (Fe2O3) from its gangue minerals as hematite is a much more abundant source of iron. Most hematite ore has a very small liberation size that is frequently less than 25μm. Beneficiation of any ore with this fine of a liberation size requires advanced processing methods and is seldom pursued. A single process, known as selective flocculation and dispersion, has been successfully implemented at a plant scale for the beneficiation of fine liberation size hematite ore. Very little is known about this process as it was discovered by the U.S. Bureau of Mines by accident. The process is driven by water chemistry and surface chemistry modifications that enhance the separation of the hematite from its gangue minerals. This dissertation focuses on the role of water chemistry and process reagents in this hematite beneficiation process. It has been shown that certain ions, including calcium and magnesium, play a significant role in the process. These ions have a significant effect on the surface chemistry as reported by zeta potential studies. It was shown that magnesium ions within the process water have a more significant impact on surface chemistry than calcium ions due to steric hindrance effects at the hematite surface. It has also been shown that polyacrylic acid dispersants, if used in the process, can increase product quality (increase iron content, decrease phosphorus content, decrease silica content) substantially. Water, surface and reagent chemistry experiments were performed at a laboratory, pilot, and full plant scale during the course of this work. Many of the conclusions developed in the laboratory and pilot scale were found to be true at the full plant scale as well. These studies are the first published in history to develop theories of water chemistry and surface chemistry interactions at a full plant scale.

DC MICROGRID STABILIZATION THROUGH FUZZY CONTROL OF INTERLEAVED, HETEROGENEOUS STORAGE ELEMENTS

As microgrid power systems gain prevalence and renewable energy comprises greater and greater portions of distributed generation, energy storage becomes important to offset the higher variance of renewable energy sources and maximize their usefulness. One of the emerging techniques is to utilize a combination of lead-acid batteries and ultracapacitors to provide both short and long-term stabilization to microgrid systems. The different energy and power characteristics of batteries and ultracapacitors imply that they ought to be utilized in different ways. Traditional linear controls can use these energy storage systems to stabilize a power grid, but cannot effect more complex interactions. This research explores a fuzzy logic approach to microgrid stabilization. The ability of a fuzzy logic controller to regulate a dc bus in the presence of source and load fluctuations, in a manner comparable to traditional linear control systems, is explored and demonstrated. Furthermore, the expanded capabilities (such as storage balancing, self-protection, and battery optimization) of a fuzzy logic system over a traditional linear control system are shown. System simulation results are presented and validated through hardware-based experiments. These experiments confirm the capabilities of the fuzzy logic control system to regulate bus voltage, balance storage elements, optimize battery usage, and effect self-protection.