Related papers: Conditioning to avoid bounded sets for a one-dimen…
We consider finite and infinite systems of particles on the real line and half-line evolving in continuous time. Hereby, the particles are driven by i.i.d. L\'{e}vy processes endowed with rank-dependent drift and diffusion coefficients. In…
We derive the exact asymptotics of $P(\sup_{u\leq t}X(u) > x)$ if $x$ and $t$ tend to infinity with $x/t$ constant, for a L\'{e}vy process $X$ that admits exponential moments. The proof is based on a renewal argument and a two-dimensional…
We suppose that a L\'evy process is observed at discrete time points. Starting from an asymptotically minimax family of estimators for the continuous part of the L\'evy Khinchine characteristics, i.e., the covariance, we derive a…
This paper studies finite-time safety and reach-avoid verification for stochastic discrete-time dynamical systems. The aim is to ascertain lower and upper bounds of the probability that, within a predefined finite-time horizon, a system…
In this work we give a complete description to the asymptotic behaviors of exponential functionals of L\'evy processes and divide them into five different types according to their convergence rates. Not only their exact convergence speeds…
We review some of the theory relevant to passage times of one-dimensional L\'evy processes out of bounded regions, highlighting results that are useful in physical phenomena modelled by heavy-tailed L\'evy flights. The process is…
This paper addresses the quantitative verification of finite-time constrained occupation time for stochastic continuous-time systems governed by stochastic differential equations (SDEs). Unlike classical reachability analysis, which focuses…
We derive characteristic function identities for conditional distributions of an r-trimmed Levy process given its r largest jumps up to a designated time t. Assuming the underlying Levy process is in the domain of attraction of a stable…
We obtain sample-path large deviations for a class of one-dimensional stochastic differential equations with bounded drifts and heavy-tailed L\'evy processes. These heavy-tailed L\'evy processes do not satisfy the exponential integrability…
We develop a new numerical method for approximating the infinite time reachable set of strictly stable linear control systems. By solving a linear program with a constraint that incorporates the system dynamics, we compute a polytope with…
The limiting behavior of Toeplitz type quadratic forms of stationary processes has received much attention through decades, particularly due to its importance in statistical estimation of the spectrum. In the present paper we study such…
Motivated by the recent results of Nualart and Xu \cite{Nualart} concerning limits laws for occupation times of one dimensional symmetric stable processes, this paper proves a decomposition for functionals of one dimensional symmetric…
We consider a continuous-time random walk which is defined as an interpolation of a random walk on a point process on the real line. The distances between neighboring points of the point process are i.i.d. random variables in the normal…
We discuss an impact of various (path-wise) reflection-from-the barrier scenarios upon confining properties of a paradigmatic family of symmetric $\alpha $-stable L\'{e}vy processes, whose permanent residence in a finite interval on a line…
The paper presents sufficient conditions of predictability for continuous time processes in deterministic setting. We found that processes with exponential decay on energy for higher frequencies are predictable in some weak sense on some…
We study Markov processes conditioned so that their local time must grow slower than a prescribed function. Building upon recent work on Brownian motion with constrained local time in [5] and [33], we study transience and recurrence for a…
The reachable sets of nonlinear control systems can in general only be numerically approximated, and are often very expensive to calculate. In this paper, we propose an algorithm that tracks only the boundaries of the reachable sets and…
Combinatorial Levy processes evolve on general state spaces of countable combinatorial structures. In this setting, the usual Levy process properties of stationary, independent increments are defined in an unconventional way in terms of the…
We prove that a general (not necessarily symmetric) L\'evy process killed on exiting a bounded open set (without regular condition on the boundary) is intrinsically ultracontractive, provided that $B(0,R_0)\subseteq \rm{supp}(\nu)$ for some…
For a stochastic process $(X_t)_{t\geq 0}$ we establish conditions under which the inverse first-passage time problem has a solution for any random variable $\xi >0$. For Markov processes we give additional conditions under which the…