On Rice's Formula for Stationary Multivariate Piecewise Smooth Processes

Abstract

LetX= {Xt:t≥ 0} be a stationary piecewise continuousRd-valued process that moves between jumps along the integral curves of a given continuous vector field, and letS⊂Rdbe 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 ofSbyXto the distribution ofX0. Our result is illustrated by examples relating to queueing networks and stress release network models.