A system of reaction-diffusion differential equations is utilized to model the diffusion of a population through annular patches with different carrying capacities. In the case of continuous solutions with continuous flux, it is shown that a unique, positive steady-state solution exists. In the case of radially symmetric initial conditions, it is shown that all solutions of the Cauchy problem a...

In this paper, we describe our application of SPIN [1] to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. We used the SPIN model to check certain performance properties of the system; in particular, we were able to verify that the algorithm achieves synchronization within a time bound, even in the presence of certain typ...

This paper considers a one-sector overlapping-generations model with production. We observe that under standard assumptions on preferences and technology, the perfect-foresight equilibrium violates positivity constraints for large sets of initial conditions. The consideration of the positivity constraints of the consumer enables degenerate equilibrium, a perfect-foresight equilibrium that remai...

We discuss the problem of semi-globally asymptotically stabilizing general nonlinear discretetime systems in the presence of data-rate constraints under the stabilizability assumption only. The proposed solution relies on a simple result on asymptotic estimation for nonlinear systems under data-rate constraints, which holds for trajectories confined within a known bounded region of the state sp...

We investigate the effects of interregional labor market integration in a twosector, overlapping-generations model with land-intensive production in the nontradable goods sector (housing). To capture the response to migration on housing supply, capital formation is endogenous, assuming that firms face capital adjustment costs. Our analysis highlights heterogeneous welfare effects of labor marke...

In previous papers we have considered the optimal mix of biodiversity in semi-arid rangelands, focusing on the steady state. This paper addresses the question of conservation in the optimal use of rangelands, where conservation is understood to mean maintenance of the system in a ‘natural’ state. We consider a rangeland that may exist in one of two states. In the ‘natural’ state, its dynamics a...

The cosmological effects of the tachyon rolling down to its ground state are discussed by coupling a simple effective field theory for the tachyon field to Einstein gravity. As the tachyon rolls down to the minimum of its potential the universe expands. Depending upon initial conditions, the scale factor may or may not start off accelerating, but ultimately it ceases to do so and the final flat...

In studying the concept of impatience Koopmans [8] was led to a useful class of preference orderings which generalises the familiar class of additively separable preferences. These aggregator preference orderings (see Definition 2.3) exhibit a richer variety of behaviour for the various concepts of impatience that can be associated with preference orderings among commodity sequences over time a...

We consider two fluid queues attended by a switching server and address the optimal steady-state and transient trajectory problems. The steady-state problem is formulated as a quadratic problem (QP), given a fixed cycle time. Evaluating the QP problem over a range of cycle times results in the optimal steady-state trajectory. We minimize the holding costs, backlog costs and setup costs, allow s...

Opacity, as an important property in information-flow security, characterizes the ability of a system to keep some secret information from intruder. In discrete-event systems, based on standard setting which intruder has complete knowledge system’s structure, versions current-state opacity and initial-state cannot perfectly characterize higher-level privacy requirements. To overcome such limita...