Related papers: Conditionings to avoid points with various clocks …
A class of time-optimal control problems governed by semilinear parabolic equations with mixed pointwise constraints and final point constraints is considered. By introducing the so-called locally optimal solution to time-optimal control…
Starting from the potential theoretic definition of the local times of a Markov process - when these exist - we obtain a Tanaka formula for the local times of symmetric L\'{e}vy processes. The most interesting case is that of the symmetric…
We investigate the connection between conditional local limit theorems and the local time of integer-valued stationary processes. We show that a conditional local limit theorem (at 0) implies the convergence of local times to Mittag-Leffler…
Separate constituents of extended systems measure proper-times on different world-lines. Relating and comparing proper-time measurements along any two such world-lines requires that common simultaneity be possible, which in turn implies…
Bender et al. (SPAA 2013) have proposed a theoretical framework for testing in contexts where safety mistakes must be avoided. Testing in such a context is made by machines that need to be often calibrated. Given that calibration costs, it…
Our first result concerns a characterisation by means of a functional equation of Poisson point processes conditioned by the value of their first moment. It leads to a generalised version of Mecke's formula. En passant, it also allows to…
In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of…
We show that the hitting times for points of real $\alpha-$stable L\'evy processes ($1<\alpha\le 2$) are unimodal random variables. The argument relies on strong unimodality and several recent multiplicative identities in law. In the…
We study a notion of local time for a continuous path, defined as a limit of suitable discrete quantities along a general sequence of partitions of the time interval. Our approach subsumes other existing definitions and agrees with the…
We introduce a general theory on stationary approximations for locally stationary continuous-time processes. Based on the stationary approximation, we use $\theta$-weak dependence to establish laws of large numbers and central limit type…
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…
In this paper we analyse time change equations (TCEs) for L\'evy-type processes in detail. To this end we establish a connection between TCEs and classical one-dimensional initial value problems (IVPs) which are easier to handle. Properties…
Using a new approach, for spectrally negative L\'evy processes we find joint Laplace transforms involving the last exit time (from a semi-infinite interval), the value of the process at the last exit time and the associated occupation time,…
For one-dimensional symmetric L\'{e}vy processes, which hit every point with positive probability, we give sharp bounds for the tail function of the first hitting time of B which is either a single point or an interval. The estimates are…
We provide a simultaneous derivation of the Dirac bracket and of the equations of motion for second-class constrained systems when the constraints are time-dependent. The necessity of time-dependent gauge-fixing conditions is shown in the…
This paper provides a multivariate extension of Bertoin's pathwise construction of a L\'evy process conditioned to stay positive/negative. Thus obtained processes conditioned to stay in half-spaces are closely related to the original…
Limit theorems for the normalized laws with respect to two kinds of weight functionals are studied for any symmetric stable L\'evy process of index $ 1 < \alpha \le 2 $. The first kind is a function of the local time at the origin, and the…
In this paper, we derive the joint Laplace transforms of occupation times until its last passage times as well as its positions. Motivated by Baurdoux [2], the last times before an independent exponential variable are studied. By applying…
We study a generalization of conditional probability for arbitrary ordered vector spaces. A related problem is that of assigning a numerical value to one vector relative to another. We characterize the groups for which these generalized…
In this paper, we shall introduce the Tanaka formula from viewpoint of the Doob-Meyer decomposition. For symmetric L\'evy processes, if the local time exists, Salminen and Yor (2007) obtained the Tanaka formula by using the potential…