We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given explicitly, is derived from a set of formal energy parameters. This is similar to the Metropolis-Hastings algorithm. We find a lower bound on energy costs which guarantees that a process converges to a probabilistic equilibrium stat...

We present a new approach to the optimization of plasma scenarios in tokamaks. We formulate this task as an optimal control problem and use numerical methods for optimization problems with partial differential equation (PDE) constraints. The latter are discretized by linear finite elements and implicit Euler time stepping. Due to the free-boundary setting, we have introduced a new linearization...

The supercooled Stefan problem and its variants describe the freezing of a liquid in physics, as well large system limits systemic risk models finance integrate-and-fire neuroscience. Adopting physics terminology, is known to feature finite-time blow-up rate for wide range initial temperature distributions liquid. Such can result discontinuity liquid-solid boundary. In this paper, we prove that...

We analyze the asymptotic behavior of agents engaged in a infinite horizon partially observable stochastic game formalized by the interactive POMDP framework. We show that when agents’ initial beliefs satisfy a truth compatibility condition, their behavior converges to a subjective 2-equilibrium in a finite time, and subjective equilibrium in the limit. Imposing an additional assumption of mutu...

We consider contraction of convex hypersurfaces by convex speeds, homogeneous of degree one in the principal curvatures, that are not necessarily smooth. We show how to approximate such a speed by a sequence of smooth speeds for which behaviour is well known. By obtaining speed and curvature pinching estimates for the flows by the approximating speeds, independent of the smoothing parameter, we...

This paper considers the problem of global practical tracking via output feedback control for a class of more general uncertain high-order nonlinear systems. Under a weaker growth condition, by introducing sign function and necessarily modifying the homogeneous domination approach, this paper proposes a new control scheme to achieve the global practical tracking. It is shown that the designed c...

In this paper we describe a two-step scheme for approximate model checking of discrete time stochastic hybrid systems. In the first step, the stochastic hybrid system is approximated by a finite state Markov chain. In the second step, the Markov chain is model checked for the desired property. In particular, we consider the probabilistic invariance property and show that, under certain regulari...

We propose a new method, Joint Space-Time DWILSF (Decoupled Weighted Iterative Least Squares with Subspace Fitting) Algorithm that maps array output signals to a known finite alphabet (FA) symbol constellation without preceding subspace estimation. We evaluate the performance of our approach by simulating space division multiple access (SDMA) and spatial filtering for interference reduction (SF...

In this paper we present a random walk model for approximating a Lévy-Feller advection-dispersion process, governed by the Lévy-Feller advection-dispersion differential equation (LFADE). We show that the random walk model converges to LFADE by use of a properly scaled transition to vanishing space and time steps. We propose an explicit finite difference approximation (EFDA) for LFADE, resulting...

The dynamics of fluid particles on cylindrical manifolds is investigated. The velocity field is obtained by generalizing the isotropic Kraichnan ensemble, and is therefore Gaussian and decorrelated in time. The degree of compressibility is such that when the radius of the cylinder tends to infinity the fluid particles separate in an explosive way. Nevertheless, when the radius is finite the tra...