The primary concern of this paper is understanding how prices and interest rates respond to open-market operations. In a model economy developed by Grossman and Weiss, but with more general utility functions, we establish global existence of equilibrium paths and observe that prices and interest rates rise initially, but thereafter oscillate around a new steady state. Also investigated are opti...

We prove the existence of a “universal” self-stabilizing algorithm, i.e., an algorithm which allows to stabilize a distributed system to a desired behaviour (as long as an algorithm stabilizing to that behaviour exists). Previous proposals required drastic increases in asymmetry and knowledge in order to work, while our algorithm does not use any additional knowledge, and does not require more ...

We have explored in silico the potential energy surfaces of the C(5)Li(n)(n-6) (n = 5, 6, and 7) clusters using the Gradient Embedded Genetic Algorithm (GEGA) and other computational strategies. The most stable forms of C(5)Li(5)(-) and C(5)Li(6) are two carbon chains linked by two lithium atoms in a persistent seven membered ring capped by two Li atoms. The other Li atoms are arrayed on the ed...

This paper deals with the problem of switching between several linear time-invariant (LTI) controllers—all of them capable of stabilizing a specific LTI process—in such a way that the stability of the closed-loop system is guaranteed for any switching sequence. We show that it is possible to find realizations for any given family of controller transfer matrices so that the closed-loop system re...

A certificate issued by a user u for another user v enables any user that knows the public key of u to obtain the public key of v. A certificate dispersal D assigns a set of certificates D.u to each user u in the system so that user u can find a public key of any other user v without consulting a third party. In this paper, we present a stabilizing certificate dispersal protocol that tolerates ...

In a batch processing network, multiple jobs can be formed into a batch to be processed in a single service operation. The network is multiclass in that several job classes may be processed at a server. Jobs in different classes cannot be mixed into a single batch. A batch policy specifies which class of jobs is to be served next. Throughput of a batch processing network depends on the batch po...

This article is concerned with stability analysis and stabilization of randomly switched systems under a class of switching signals. The switching signal is modeled as a jump stochastic (not necessarily Markovian) process independent of the system state; it selects, at each instant of time, the active subsystem from a family of systems. Sufficient conditions for stochastic stability (almost sur...

A snap-stabilizing algorithm, regardless of the initial configuration of the system, guarantees that it always behaves according to its specification. We consider here the locally shared memory model. In this model, we propose the first snap-stabilizing Propagation of Information with Feedback (PIF) algorithm for rooted networks of arbitrary connected topology which is proven assuming the distr...

There are several models for which self-stabilizing programs have been developed. The distributed model accurately reeects a real distributed computing environment; therefore, programs developed for the model should run directly on a distributed system. However, many self-stabilizing programs have been developed for the serial model which has the strongest assumptions , because a program develo...

Inspired by the characteristics of biologically-motivated systems consisting of autonomous agents, we define the notion of stabilizing consensus in fully decentralized and highly dynamic ad hoc systems. Stabilizing consensus requires non-faulty nodes to eventually agree on one of their inputs, but individual nodes do not necessarily know when agreement is reached. First we show that, similar to...