We study a general setting of status updating systems in which a set of source nodes provide status updates about some physical process(es) to a set of monitors. The freshness of information available at each monitor is quantified in terms of the Age of Information (AoI), and the vector of AoI processes at the monitors (or equivalently the age vector) models the continuous state of the system. While the marginal distributional properties of each AoI process have been studied for a variety of settings using the stochastic hybrid system (SHS) approach, we lack a counterpart of this approach to systematically study their joint distributional properties. Developing such a framework is the main contribution of this paper. In particular, we model the discrete state of the system as a finite-state continuous-time Markov chain, and describe the coupled evolution of the continuous and discrete states of the system by a piecewise linear SHS with linear reset maps. Using the notion of tensors, we first derive first-order linear differential equations for the temporal evolution of both the joint moments and the joint moment generating function (MGF) for an arbitrary set of age processes. We then characterize the conditions under which the derived differential equations are asymptotically stable. The generality of our framework is demonstrated by recovering several existing results as special cases. Finally, we apply our framework to derive closed-form expressions of the stationary joint MGF in a multi-source updating system under non-preemptive and source-agnostic/source-aware preemptive in service queueing disciplines.
翻译:我们研究的是状态更新系统的总体设置,其中一组源节点向一组监测器提供某些物理过程的最新状况。每个监测器现有信息的最新程度以信息时代(AoI)和在监测器(或等同年龄矢量)中AoI流程的矢量模式量化,这是系统的持续状态。虽然对每个AoI流程的边际分布属性进行了研究,利用随机混合系统(SHS)方法,对各种环境进行了研究,但我们缺乏一种对应方法来系统研究其联合分布属性。开发这样一个框架是本文的主要贡献。特别是,我们将该系统的离散状态作为信息时代(AoI)时代(AoI)的时代(AoI),以及监测器(AoI)在监测器(或等同年龄矢量矢量)的模型中,用一个线性线性SHSHS(SHS)流程的边际分布特性来描述系统的持续和离散状态的演进。我们首先从联合时刻和联合时刻生成功能(MGF)来得出一个任意的不固定的源值序列更新系统。我们随后将一些特殊的变式框架的变式结果。我们最后将当前变化的变现的变现为一个特殊的变式结构,在一般变现的变式框架下,在不同的变式结构下,在不同的变式结构下,在不同的变现为正式的变式结构下,在不同的变现的变现的变现的变式框架下,在不同的变式结构下,在微。