Related papers: Infinitary Refinement Types for Temporal Propertie…
We study Gaussian concentration inequalities for random fields obtained as finitary codings of i.i.d.\ fields, linking concentration properties to coding structure. A finitary coding represents a dependent field as a shift-equivariant image…
We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set of qualitative relations. To define the simulations, we…
We suggest that KAM theory could be extended for certain infinite-dimensional systems with purely discrete linear spectrum. We provide empirical arguments for the existence of square summable infinite-dimensional invariant tori in the…
A novel approach is proposed to establish a sharp upper bound on the expected supremum of a separable martingale random field, serving as an alternative to classical universal chaining-based methods. The proposed approach begins by deriving…
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated planning, process modelling, (runtime) verification and…
We consider a finite element discretization for the dual Rudin--Osher--Fatemi model using a Raviart--Thomas basis for $H_0 (\mathrm{div};\Omega)$. Since the proposed discretization has splitting property for the energy functional, which is…
This paper presents a complete axiomatization of Monadic Second-Order Logic (MSO) over infinite trees. MSO on infinite trees is a rich system, and its decidability ("Rabin's Tree Theorem") is one of the most powerful known results…
In this study, a new extension of the Markov Renewal theory is introduced by allowing time to evolve in multiple dimensions. The resulting chains are referred to as multi-time Markov Renewal chains and since this extension is new, the state…
This paper is about Girsanov's theory. It (almost) doesn't contain new results but it is based on a simplified new approach which takes advantage of the (weak) extra requirement that some relative entropy is finite. Under this assumption,…
We present a unified deductive verification framework for first-order temporal properties based on well-founded rankings, where verification conditions are discharged using SMT solvers. To that end, we introduce a novel reduction from…
We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique…
We introduce a new concept of finite-time entropy which is a local version of the classical concept of metric entropy. Based on that, a finite-time version of Pesin's entropy formula and also an explicit formula of finite-time entropy for…
In this article, using kernel convolution of order based dependent Dirichlet process (Griffin and Steel (2006)) we construct a nonstationary, nonseparable, nonparametric space-time process, which, as we show, satisfies desirable properties,…
The paper extends core results of behavioral systems theory from linear to affine time-invariant systems. We characterize the behavior of affine time-invariant systems via kernel, input-output, state-space, and finite-horizon data-driven…
We show that the typical dynamical system sometimes begins to behave like a non-deterministic system with a small classical entropy, and this behavior lasts an extremely long time, until the system starts decreasing entropy. Then again it…
In this paper we study time-inhomogeneous affine processes beyond the common assumption of stochastic continuity. In this setting times of jumps can be both inaccessible and predictable. To this end we develop a general theory of finite…
Motivated by studies of stochastic systems describing non-equilibrium dynamics of (real-valued) spins of an infinite particle system in $\mathbb{R}^n$ we consider a row-finite system of stochastic differential equations with dissipative…
The aim of this work is to analyze general infinite sums containing modified Bessel functions of the second kind. In particular we present a method for the construction of a proper asymptotic expansion for such series valid when one of the…
In this paper we consider the problem of proving properties of infinite behaviour of formalisms suitable to describe (infinite state) systems with recursion and parallelism. As a formal setting, we consider the framework of Process…
In this paper, we consider mappings on uniform domains with exponentially integrable distortion whose Jacobian determinants are integrable. We show that such mappings can be extended to the boundary and moreover these extensions are…