Related papers: On the Skolem Problem for Continuous Linear Dynami…
In the junction $\Omega$ of several semi-infinite cylindrical waveguides we consider the Dirichlet Laplacian whose continuous spectrum is the ray $[\lambda_\dagger, +\infty)$ with a positive cut-off value $\lambda_\dagger$. We give two…
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…
In this article, using DiPerna-Lions theory \cite{Di-Li}, we investigate linear second order stochastic partial differential equations with unbounded and degenerate non-smooth coefficients, and obtain several conditions for existence and…
Sequential testing problems involve a complex system with several components, each of which is "working" with some independent probability. The outcome of each component can be determined by performing a test, which incurs some cost. The…
In this paper we consider a reduction of a non-homogeneous linear system of first order operator equations to a totally reduced system. Obtained results are applied to Cauchy problem for linear differential systems with constant…
It is an exposition of the work of Mignotte, Shorey, Tijdeman, Vereshchagin and Bacik on decidability of the vanishing problem for linear recurrence sequences of order 4.
We develop an algorithm for computing bounded reachability probability for hybrid systems, i.e., the probability that the system reaches an unsafe region within a finite number of discrete transitions. In particular, we focus on hybrid…
We present a new algorithm for the statistical model checking of Markov chains with respect to unbounded temporal properties, such as reachability and full linear temporal logic. The main idea is that we monitor each simulation run on the…
We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding…
A multidomain spectral approach for Painlev\'e transcendents on unbounded domains is presented. This method is designed to study solutions determined uniquely by a, possibly divergent, asymptotic series valid near infinity in a sector and…
Determining the reachable set for a given nonlinear system is critically important for autonomous trajectory planning for reach-avoid applications and safety critical scenarios. Providing the reachable set is generally impossible when the…
Matthias Schr\"oder has asked the question whether there is a weakest discontinuous problem in the continuous version of the Weihrauch lattice. Such a problem can be considered as the weakest unsolvable problem. We introduce the…
The paper concerns boundary value problems for general nonautonomous first order quasilinear hyperbolic systems in a strip. We construct small global classical solutions, assuming that the right hand sides are small. In the case that all…
In this paper, we mainly focus on the set-valued (stochastic) analysis on the space of convex, closed, but possibly unbounded sets, and try to establish a useful theoretical framework for studying the set-valued stochastic differential…
The classical result by It\^o on the existence of strong solutions of stochastic differential equations (SDEs) with Lipschitz coefficients can be extended to the case where the drift is only measurable and bounded. These generalizations are…
We present CLTLB(D), an extension of PLTLB (PLTL with both past and future operators) augmented with atomic formulae built over a constraint system D. Even for decidable constraint systems, satisfiability and Model Checking problem of such…
In the recent article [Hairer, M., Hutzenthaler, M., Jentzen, A., Loss of regularity for Kolmogorov equations, Ann. Probab. 43 (2015), no. 2, 468--527] it has been shown that there exist stochastic differential equations (SDEs) with…
Let F(X;Y) in Q[X;Y] be a Q-irreducible polynomial. In 1929 Skolem proved the following theorem: "Assume that F(0;0) = 0. Then for every non-zero integer d, the equation F(X;Y) = 0 has only finitely many solutions in integers (X;Y) with…
An elliptic partial differential equation Lu=f with a zero Dirichlet boundary condition is converted to an equivalent elliptic equation on the unit ball. A spectral Galerkin method is applied to the reformulated problem, using multivariate…
We settle the equivalence between the problem of hitting a polyhedral set by the orbit of a linear map and the intersection of a regular language and a language of permutations of binary words (the permutation filter realizability problem).…