This paper deals with quadratic stabilization of discrete-time multiple-input (MI) systems by means of quantized static feedback. We consider the minimization of quantization density, which is still an open problem for MI systems. Our first contribution in this regard is to partially derive the structure that a quantizer that minimizes density for a MI system should have. The second and main co...

conclusions the trunk stabilization exercises are more effective than conventional back care exercises in the rehabilitation of patients with chronic lbp. results the results of the study demonstrated significant improvements in abdominal muscle endurance and reduction in vas and modq score of both groups (p = 0.001). the trunk stabilization exercise group showed greater gains in abdominal musc...

We show that, contrary to common belief, Dijkstra’s K-state mutual exclusion algorithm on a ring also stabilizes when the number K of states per process is one less than the number N + 1 of processes in the ring. We formalize the algorithm and verify the proof in PVS, based on Qadeer and Shankar’s work. We show that K = N is sharp by giving a counter-example for K = N − 1. ACM CCS

Self-stabilizing algorithms are designed to guarantee convergence to some desired stable state from arbitrary initial states arising out of an arbitrarily large number of faults. However, in a well-designed system, the simultaneous occurrence of a large number of faults is rare. It is therefore desirable to design algorithms that are not only self-stabilizing, but also have the ability to recov...

The k-packing problem asks for a subset S of the nodes in a graph such that the distance between any pair of nodes in S is greater than k. This problem has applications to placing facilities in a network. In the current paper we present a self-stabilizing algorithm for computing a maximal k-packing in a general graph. Our algorithm uses a constant number of variables per node. This improves the...

One of the indexes of stabilization pond is the presence of coliform bacteria in water and wastewater. This study aimed to determine the effect of solar light on coliform variations in stabilization pond. In this experimental study, the effect of light, pH (<7, 7.1–8, 8.1–9), and temperature (10 ºC and 30 ºC) on facultative stabilization pond was studied for six months. The sampling was accompl...

Hereby I declare that I am the author of this thesis, titled "Fault-Tolerance in Wireless Sensor Networks based on Self-Stabilization". All literally or content related quotations from other sources are clearly pointed out and no other sources rather than the ones declared are used. This work is submitted to Hamburg University of Technology as a partial requirement for being awarded as master's...

A number of recent works have investigated the notion of “computational fields” as a means of coordinating systems in distributed, dense and mobile environments such as pervasive computing, sensor networks, and robot swarms. We introduce a minimal core calculus meant to capture the key ingredients of languages that make use of computational fields: functional composition of fields, functions ov...