1998 2 To Marceline 4 Acknowledgements Many dear people have either deeply aaected my way through these last years of studies, or actively helped in my research work (some of them did both); I would like to thank them. First of all, I would like to thank my parents who have always supported and encouraged me, even in my decision to spend time abroad-a decision that certainly weighted on them. I...

A total order protocol is a fundamental building block in the construction of many distributed fault-tolerant applications. Unfortunately, the implementation of such a primitive can be expensive both in terms of communication steps and of number of messages exchanged. This problem is exacerbated in large-scale systems, where the performance of the algorithm may be limited by the presence of hig...

Estimating and minimizing the maximum power dissipation during testing is an important task in VLSI circuit realization since the power value affects the reliability of the circuits. Therefore during testing a methodology should be adopted to minimize power consumption. Test patterns generated with –D 1 option of ATALANTA contains don’t care bits (x bits). By suitable filling of don’t cares can...

In this paper we first show how the Extended Linear Complementarity Problem, which is a mathematical programming problem, can be used to design optimal switching schemes for a class of switched systems with linear dynamics subject to saturation. More specifically, we consider the determination of the optimal switching time instants (the switching sequences are acyclic, but the phase sequence is...

We study the problem of adaptively stabilizing time-varying plants using supervisory control, which employs multiple controllers and a supervisory unit that orchestrates switching among the controllers. We show that for bounded disturbances and noise, all the closed-loop signals remain bounded provided that the plant varies slowly enough and the unmodeled dynamics are small enough. Slow variati...

Switching algorithms for combining sequential codes usually come with bounds, relating their performance to that of the best fixed strategy that switches m times. The overhead is parameterized by the number of outcomes n and the number of switches m; it may be difficult to judge whether this is acceptable. We present an alternative algorithm whose overhead does not depend on n; instead our boun...

In order to obtain more accurate predicted dynamic steady-state performance with shorter computation time, an available mathematical model is modified and presented. Using this modified model, performance of a typical switched reluctance motor (SRM) under a wide range of variations of operating conditions is obtained and discussed. These include variations of speed, voltage, load and switching ...

An accurate average value model of synchronous machine-rectifier system considering the effect of stator resistance is derived in this paper. A proper voltage-behind-reactance synchronous machine model without any approximations is used for the generator that allows effective calculation of commutation displacement angle. All rectification modes of the rectifier are studied. A detailed switchin...