8,820 research outputs found
Max-plus (A,B)-invariant spaces and control of timed discrete event systems
The concept of (A,B)-invariant subspace (or controlled invariant) of a linear
dynamical system is extended to linear systems over the max-plus semiring.
Although this extension presents several difficulties, which are similar to
those encountered in the same kind of extension to linear dynamical systems
over rings, it appears capable of providing solutions to many control problems
like in the cases of linear systems over fields or rings. Sufficient conditions
are given for computing the maximal (A,B)-invariant subspace contained in a
given space and the existence of linear state feedbacks is discussed. An
application to the study of transportation networks which evolve according to a
timetable is considered.Comment: 24 pages, 1 Postscript figure, proof of Lemma 1 and some references
adde
Stability of Skorokhod problem is undecidable
Skorokhod problem arises in studying Reflected Brownian Motion (RBM) on an
non-negative orthant, specifically in the context of queueing networks in the
heavy traffic regime. One of the key problems is identifying conditions for
stability of a Skorokhod problem, defined as the property that trajectories are
attracted to the origin. The stability conditions are known in dimension up to
three, but not for general dimensions.
In this paper we explain the fundamental difficulties encountered in trying
to establish stability conditions for general dimensions. We prove that
stability of Skorokhod problem is an undecidable property when the starting
state is a part of the input. Namely, there does not exist an algorithm (a
constructive procedure) for identifying stable Skorokhod problem in general
dimensions
On deciding stability of multiclass queueing networks under buffer priority scheduling policies
One of the basic properties of a queueing network is stability. Roughly
speaking, it is the property that the total number of jobs in the network
remains bounded as a function of time. One of the key questions related to the
stability issue is how to determine the exact conditions under which a given
queueing network operating under a given scheduling policy remains stable.
While there was much initial progress in addressing this question, most of the
results obtained were partial at best and so the complete characterization of
stable queueing networks is still lacking. In this paper, we resolve this open
problem, albeit in a somewhat unexpected way. We show that characterizing
stable queueing networks is an algorithmically undecidable problem for the case
of nonpreemptive static buffer priority scheduling policies and deterministic
interarrival and service times. Thus, no constructive characterization of
stable queueing networks operating under this class of policies is possible.
The result is established for queueing networks with finite and infinite buffer
sizes and possibly zero service times, although we conjecture that it also
holds in the case of models with only infinite buffers and nonzero service
times. Our approach extends an earlier related work [Math. Oper. Res. 27 (2002)
272--293] and uses the so-called counter machine device as a reduction tool.Comment: Published in at http://dx.doi.org/10.1214/09-AAP597 the Annals of
Applied Probability (http://www.imstat.org/aap/) by the Institute of
Mathematical Statistics (http://www.imstat.org
- …