Related papers: Stability Problems in Symbolic Integration
We study the problem of stabilization for a class of evolution systems with fractional-damping. After writing the equations as an augmented system we prove in this article first that the problem is well posed. Second, using the LaSalle's…
Probabilistic solvers provide a flexible and efficient framework for simulation, uncertainty quantification, and inference in dynamical systems. However, like standard solvers, they suffer performance penalties for certain stiff systems,…
In this paper, the stability of fractional differential equations (FDEs) with unknown parameters is studied. FDEs bring many advantages to model the physical systems in the nature or man-made systems in the industry. Because this…
A general system of several ordinary differential equations coupled with a reaction-diffusion equation in a bounded domain with zero-flux boundary condition is studied in the context of pattern formation. These initial-boundary value…
We study the problem of finding solutions to the stable matching problem that are robust to errors in the input and we obtain a polynomial time algorithm for a special class of errors. In the process, we also initiate work on a new…
Making meaning with math in physics requires blending physical conceptual knowledge with mathematical symbology. Students in introductory physics classes often struggle with this, but it is an essential component of learning how to think…
This paper presents a novel framework for characterizing dissipativity of uncertain systems whose dynamics evolve according to differential-algebraic equations. Sufficient conditions for dissipativity (specializing to, e.g., stability or…
This chapter presents some of the links between automata theory and symbolic dynamics. The emphasis is on two particular points. The first one is the interplay between some particular classes of automata, such as local automata and results…
Many modern datasets don't fit neatly into $n \times p$ matrices, but most techniques for measuring statistical stability expect rectangular data. We study methods for stability assessment on non-rectangular data, using statistical learning…
Any constructive continuous function must have a gradually varied approximation in compact space. However, the refinement of domain for $\sigma-$-net might be very small. Keeping the original discretization (square or triangulation), can we…
A method of ``algebraic estimates'' is developed, and used to study the stability properties of integrals of the form \int_B|f(z)|^{-\d}dV, under small deformations of the function f. The estimates are described in terms of a stratification…
We study three functions which are power series in the variable $z$, Dirichlet series in the variable $s$ and with coefficients given by arithmetical functions. A strong point is to relate these functions to some Hilbert spaces. Three main…
We investigate the presence of static solutions in models described by real scalar field in two-dimensional spacetime. After taking advantage of a procedure introduced sometime ago, we solve intricate nonlinear ordinary differential…
Norm estimates for strongly continuous semigroups have been successfully studied in numerous settings, but at the moment there are no corresponding studies in the case of solution operators of singular integral equations. Such equations…
We study initial value problems having dynamics ruled by discontinuous ordinary differential equations with the property of possessing a unique solution. We identify a precise class of such systems that we call solvable intitial value…
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.
Series representations consisting of spherical harmonics are obtained for characteristic exponents and probability density functions of multivariate stable distributions under various conditions. A esult potentially applicable in a…
This paper investigates stability properties of affine optimal control problems constrained by semilinear elliptic partial differential equations. This is done by studying the so called metric subregularity of the set-valued mapping…
The rules associated with propositional logic programs and the stable model semantics are not expressive enough to let one write concise programs. This problem is alleviated by introducing some new types of propositional rules. Together…
Discontinuous dynamical systems with grazing solutions are discussed. The group property, continuation of solutions, continuity and smoothness of motions are thoroughly analyzed. A variational system around a grazing solution which depends…