Displaying similar documents to “Bisimulation on speed: Lower time bounds”

Bisimulation on speed : lower time bounds

Gerald Lüttgen, Walter Vogler (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

More than a decade ago, Moller and Tofts published their seminal work on relating processes, which are annotated with lower time bounds, with respect to speed. Their paper has left open many questions regarding the semantic theory for the suggested bisimulation-based faster-than preorder, the MT-preorder, which have not been addressed since. The encountered difficulties concern a general compositionality result, a complete axiom system for finite processes, a convincing intuitive justification...

Ergodicity and perturbation bounds for inhomogeneous birth and death processes with additional transitions from and to the origin

Alexander Zeifman, Anna Korotysheva, Yacov Satin, Victor Korolev, Sergey Shorgin, Rostislav Razumchik (2015)

International Journal of Applied Mathematics and Computer Science

Similarity:

Service life of many real-life systems cannot be considered infinite, and thus the systems will be eventually stopped or will break down. Some of them may be re-launched after possible maintenance under likely new initial conditions. In such systems, which are often modelled by birth and death processes, the assumption of stationarity may be too strong and performance characteristics obtained under this assumption may not make much sense. In such circumstances, timedependent analysis...

Microscopic concavity and fluctuation bounds in a class of deposition processes

Márton Balázs, Júlia Komjáthy, Timo Seppäläinen (2012)

Annales de l'I.H.P. Probabilités et statistiques

Similarity:

We prove fluctuation bounds for the particle current in totally asymmetric zero range processes in one dimension with nondecreasing, concave jump rates whose slope decays exponentially. Fluctuations in the characteristic directions have order of magnitude 1/3. This is in agreement with the expectation that these systems lie in the same KPZ universality class as the asymmetric simple exclusion process. The result is via a robust argument formulated for a broad class of deposition-type...

Process-level large deviations for nonlinear Hawkes point processes

Lingjiong Zhu (2014)

Annales de l'I.H.P. Probabilités et statistiques

Similarity:

In this paper, we prove a process-level, also known as level-3 large deviation principle for a very general class of simple point processes, i.e. nonlinear Hawkes process, with a rate function given by the process-level entropy, which has an explicit formula.

Density in small time for Lévy processes

Jean Picard (2010)

ESAIM: Probability and Statistics

Similarity:

The density of real-valued Lévy processes is studied in small time under the assumption that the process has many small jumps. We prove that the real line can be divided into three subsets on which the density is smaller and smaller: the set of points that the process can reach with a finite number of jumps (Δ-accessible points); the set of points that the process can reach with an infinite number of jumps (asymptotically Δ-accessible points); and the set of points that the process...