A decomposition for Markov processes at an independent exponential time

Abstract

The path of Markov process X run up to an independent exponential random time S θ can be decomposed into the part prior to the last exit time from a point before S θ , and the remainder up to S θ . In this paper the laws of the two segments are identified under suitable assumptions using excursion theory.