English
Related papers

Related papers: Stability Problems in Symbolic Integration

200 papers

Stability is required for real world controlled systems as it ensures that those systems can tolerate small, real world perturbations around their desired operating states. This paper shows how stability for continuous systems modeled by…

Logic in Computer Science · Computer Science 2022-02-25 Yong Kiam Tan , André Platzer

How can the semantic interpretation of a formal symbol system be made intrinsic to the system, rather than just parasitic on the meanings in our heads? How can the meanings of the meaningless symbol tokens, manipulated solely on the basis…

Artificial Intelligence · Computer Science 2015-06-25 Stevan Harnad

This work primarily focuses on an operator inference methodology aimed at constructing low-dimensional dynamical models based on a priori hypotheses about their structure, often informed by established physics or expert insights. Stability…

Machine Learning · Computer Science 2024-03-04 Igor Pontes Duff , Pawan Goyal , Peter Benner

The differential equations involving two discrete delays are helpful in modeling two different processes in one model. We provide the stability and bifurcation analysis in the fractional order delay differential equation $D^\alpha x(t)=a…

Dynamical Systems · Mathematics 2024-09-25 Sachin Bhalekar , Pragati Dutta

The dynamical behavior of switched affine systems is known to be more intricate than that of the well-studied switched linear systems, essentially due to the existence of distinct equilibrium points for each subsystem. First, under…

Systems and Control · Electrical Eng. & Systems 2022-03-15 Matteo Della Rossa , Lucas N. Egidio , Raphaël M. Jungers

We consider a linear partial integro-differential equation that arises in the modeling of various physical and biological processes. We study the problem in a spatial periodic domain. We analyze numerical stability and numerical convergence…

Numerical Analysis · Mathematics 2010-05-31 Samir Kumar Bhowmik

Integration is indispensable, not only in mathematics, but also in a wide range of other fields. A deep learning method has recently been developed and shown to be capable of integrating mathematical functions that could not previously be…

Machine Learning · Computer Science 2022-05-10 Hazumi Kubota , Yuta Tokuoka , Takahiro G. Yamada , Akira Funahashi

Stability analysis plays a crucial role in studying the behavior of dynamical systems with theoretical and engineering applications. Among various kinds of stability, the stability of equilibrium points is of the greatest importance which…

Dynamical Systems · Mathematics 2019-01-25 Arash Mehrjou , Bernhard Schölkopf

We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…

Numerical Analysis · Mathematics 2014-11-27 Jacky Cresson , Frédéric Pierret

This paper considers linear functional equations on $\mathbb R^d$ with distributed delays defined by matrix-valued measures of bounded variation. More precisely, we are interested in providing conditions to ensure that the exponential…

Dynamical Systems · Mathematics 2025-10-30 Yacine Chitour , Felipe Gonçalves Netto , Guilherme Mazanti

In this paper, some global existence and uniform asymptotic stability results for fractional functional differential equations are proved. It is worthy mentioning that when $\alpha=1$ the initial value problem (1.1) reduces to a classical…

Dynamical Systems · Mathematics 2013-02-11 Yajing Li , Yejuan Wang

In this paper, we introduce a novel semi-analytical method for solving a broad class of initial value problems involving differential, integro-differential, and delay equations, including those with fractional and variable-order…

Numerical Analysis · Mathematics 2025-10-02 Mohamed Mostafa

We introduce Exhaustive Symbolic Integration (ESI), a method that enumerates all symbolic functions up to a given complexity $k$ within a specified operator basis and determines which admit closed-form antiderivatives within the same class.…

Symbolic Computation · Computer Science 2026-05-07 Harry Desmond

It is well-known that the exponential stability of Integral Difference Equations and Delay Difference Equations, in the usual state space of continuous functions, is equivalent to the location of the roots of its associated characteristic…

Optimization and Control · Mathematics 2026-01-06 Adam Braun , Jean Auriol , Lucas Brivadis

The stability of ecological systems is a fundamental concept in ecology, which offers profound insights into species coexistence, biodiversity, and community persistence. In this article, we provide a systematic and comprehensive review on…

Dynamical Systems · Mathematics 2024-02-08 Can Chen , Xu-Wen Wang , Yang-Yu Liu

We are concerned with the arithmetic of solutions to ordinary or partial nonlinear differential equations which are algebraic in the indeterminates and their derivatives. We call these solutions D-algebraic functions, and their equations…

Symbolic Computation · Computer Science 2024-06-18 Bertrand Teguia Tabuguia

The Master Stability Function is a robust and useful tool for determining the conditions of synchronization stability in a network of coupled systems. While a comprehensive classification exists in the case in which the nodes are chaotic…

This survey paper is aimed to describe a relatively new branch of symbolic dynamics which we call Arithmetic Dynamics. It deals with explicit arithmetic expansions of reals and vectors that have a "dynamical" sense. This means precisely…

Dynamical Systems · Mathematics 2007-05-23 Nikita Sidorov

This article aims to investigate sufficient conditions for the stability of stochastic differential equations with a random structure, particularly in contexts involving the presence of concentration points. The proof of asymptotic…

Probability · Mathematics 2023-05-22 Taras Lukashiv , Igor V. Malyk , Maryna Chepeleva , Petr V. Nazarov

We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of types, existence of non-forking extensions, and other…

Logic · Mathematics 2026-03-11 Itaï Ben Yaacov , Tomás Ibarlucía