G. Last | arXiv Science

arXiv2010

On Rice's formula for stationary multivariate piecewise smooth processes

Let $X=\{X_t: t\ge 0\}$ be a stationary piecewise continuous $\R^d$-valued process that moves between jumps along the integral curves of a given continuous vector field, and let $S\subset\R^d$ be a smooth surface. The aim of this paper is to derive a multivariate version of Rice's formula, relating the intensity of the point process of (localized) continuous crossings of $S$ by $X$ to the distribution of $X_0$. Our result is illustrated by examples relating to queueing networks and stress release network models.

math.PR↗

arXiv2007

On level crossings for a general class of piecewise-deterministic Markov processes

We consider a piecewise-deterministic Markov process governed by a jump intensity function, a rate function that determines the behaviour between jumps, and a stochastic kernel describing the conditional distribution of jump sizes. We study the point process of upcrossings of a level $b$ by the Markov process. Our main result shows that, under a suitable scaling $ν(b)$, the point process converges, as $b$ tends to infinity, weakly to a geometrically compound Poisson process. We also prove a version of Rice's formula relating the stationary density of the process to level crossing intensities. This formula provides an interpretation of the scaling factor $ν(b)$. While our proof of the limit theorem requires additional assumptions, Rice's formula holds whenever the (stationary) overall intensity of jumps is finite.

math.PR↗