Asynchronous neighborhood task synchronization

Faults are likely to occur in distributed systems. The motivation for designing self-stabilizing system is to be able to automatically recover from a faulty state. As per Dijkstra\u27s definition, a system is self-stabilizing if it converges to a desired state from an arbitrary state in a finite number of steps. The paradigm of self-stabilization is considered to be the most unified approach to designing fault-tolerant systems. Any type of faults, e.g., transient, process crashes and restart, link failures and recoveries, and byzantine faults, can be handled by a self-stabilizing system; Many applications in distributed systems involve multiple phases. Solving these applications require some degree of synchronization of phases. In this thesis research, we introduce a new problem, called asynchronous neighborhood task synchronization ( NTS ). In this problem, processes execute infinite instances of tasks, where a task consists of a set of steps. There are several requirements for this problem. Simultaneous execution of steps by the neighbors is allowed only if the steps are different. Every neighborhood is synchronized in the sense that all neighboring processes execute the same instance of a task. Although the NTS problem is applicable in nonfaulty environments, it is more challenging to solve this problem considering various types of faults. In this research, we will present a self-stabilizing solution to the NTS problem. The proposed solution is space optimal, fault containing, fully localized, and fully distributed. One of the most desirable properties of our algorithm is that it works under any (including unfair) daemon. We will discuss various applications of the NTS problem

Active stabilization to prevent surge in centrifugal compression systems

This report documents an experimental and analytical study of the active stabilization of surge in a centrifugal engine. The aims of the research were to extend the operating range of a compressor as far as possible and to establish the theoretical framework for the active stabilization of surge from both an aerodynamic stability and a control theoretic perspective. In particular, much attention was paid to understanding the physical limitations of active stabilization and how they are influenced by control system design parameters. Previously developed linear models of actively stabilized compressors were extended to include such nonlinear phenomena as bounded actuation, bandwidth limits, and robustness criteria. This model was then used to systematically quantify the influence of sensor-actuator selection on system performance. Five different actuation schemes were considered along with four different sensors. Sensor-actuator choice was shown to have a profound effect on the performance of the stabilized compressor. The optimum choice was not unique, but rather shown to be a strong function of some of the non-dimensional parameters which characterize the compression system dynamics. Specifically, the utility of the concepts were shown to depend on the system compliance to inertia ratio ('B' parameter) and the local slope of the compressor speedline. In general, the most effective arrangements are ones in which the actuator is most closely coupled to the compressor, such as a close-coupled bleed valve inlet jet, rather than elsewhere in the flow train, such as a fuel flow modulator. The analytical model was used to explore the influence of control system bandwidth on control effectiveness. The relevant reference frequency was shown to be the compression system's Helmholtz frequency rather than the surge frequency. The analysis shows that control bandwidths of three to ten times the Helmholtz frequency are required for larger increases in the compressor flow range. This has important implications for implementation in gas turbine engines since the Helmholtz frequencies can be over 100 Hz, making actuator design extremely challenging

Attitude Determination and Control, On Board Computing & Communication Subsystem Design for a CubeSat Mission

This project describes the development of the attitude determination and control, on board computing, and communications subsystems for an Earth orbiting nano-satellite. The goal of each subsystem is to enable the infrared spectrometer to collect data that can be used in tracking greenhouse gas concentrations. Gyroscopes, sun sensors, a magnetometer, magnetorquers, and orbital environment models are employed to meet the pointing requirements of the scientific instrument. The on board computer operates in conjunction will all other satellite subsystems as the main link between the software and hardware. Communication between the ground and the satellite is paramount for the transmission of scientific data back to Earth and simple commands to the spacecraft

{TRIX}: {L}ow-Skew Pulse Propagation for Fault-Tolerant Hardware

The vast majority of hardware architectures use a carefully timed reference signal to clock their computational logic. However, standard distribution solutions are not fault-tolerant. In this work, we present a simple grid structure as a more reliable clock propagation method and study it by means of simulation experiments. Fault-tolerance is achieved by forwarding clock pulses on arrival of the second of three incoming signals from the previous layer. A key question is how well neighboring grid nodes are synchronized, even without faults. Analyzing the clock skew under typical-case conditions is highly challenging. Because the forwarding mechanism involves taking the median, standard probabilistic tools fail, even when modeling link delays just by unbiased coin flips. Our statistical approach provides substantial evidence that this system performs surprisingly well. Specifically, in an "infinitely wide" grid of height~$H$, the delay at a pre-selected node exhibits a standard deviation of $O(H^{1/4})$ ($\approx 2.7$ link delay uncertainties for $H=2000$) and skew between adjacent nodes of $o(\log \log H)$ ($\approx 0.77$ link delay uncertainties for $H=2000$). We conclude that the proposed system is a very promising clock distribution method. This leads to the open problem of a stochastic explanation of the tight concentration of delays and skews. More generally, we believe that understanding our very simple abstraction of the system is of mathematical interest in its own right

TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware

The vast majority of hardware architectures use a carefully timed reference signal to clock their computational logic. However, standard distribution solutions are not fault-tolerant. In this work, we present a simple grid structure as a more reliable clock propagation method and study it by means of simulation experiments. Fault-tolerance is achieved by forwarding clock pulses on arrival of the second of three incoming signals from the previous layer. A key question is how well neighboring grid nodes are synchronized, even without faults. Analyzing the clock skew under typical-case conditions is highly challenging. Because the forwarding mechanism involves taking the median, standard probabilistic tools fail, even when modeling link delays just by unbiased coin flips. Our statistical approach provides substantial evidence that this system performs surprisingly well. Specifically, in an "infinitely wide" grid of height~$H$, the delay at a pre-selected node exhibits a standard deviation of $O(H^{1/4})$ ($\approx 2.7$ link delay uncertainties for $H=2000$) and skew between adjacent nodes of $o(\log \log H)$ ($\approx 0.77$ link delay uncertainties for $H=2000$). We conclude that the proposed system is a very promising clock distribution method. This leads to the open problem of a stochastic explanation of the tight concentration of delays and skews. More generally, we believe that understanding our very simple abstraction of the system is of mathematical interest in its own right.Comment: 16 pages, 11 figure

Design and Control of a Two-Wheeled Robotic Walker

This thesis presents the design, construction, and control of a two-wheeled inverted pendulum (TWIP) robotic walker prototype for assisting mobility-impaired users with balance and fall prevention. A conceptual model of the robotic walker is developed and used to illustrate the purpose of this study. A linearized mathematical model of the two-wheeled system is derived using Newtonian mechanics. A control strategy consisting of a decoupled LQR controller and three state variable controllers is developed to stabilize the platform and regulate its behavior with robust disturbance rejection performance. Simulation results reveal that the LQR controller is capable of stabilizing the platform and rejecting external disturbances while the state variable controllers simultaneously regulate the system’s position with smooth and minimum jerk control. A prototype for the two-wheeled system is fabricated and assembled followed by the implementation and tuning of the control algorithms responsible for stabilizing the prototype and regulating its position with optimal performance. Several experiments are conducted, confirming the ability of the decoupled LQR controller to robustly balance the platform while the state variable controllers regulate the platform’s position with smooth and minimum jerk control