On exit times of Levy-driven Ornstein--Uhlenbeck processes

We prove two martingale identities which involve exit times of Levy-driven Ornstein--Uhlenbeck processes. Using these identities we find an explicit formula for the Laplace transform of the exit time under the assumption that positive jumps of the Levy process are exponentially distributed.