English
Related papers

Related papers: Strapdown Attitude Computation: Functional Iterati…

200 papers

Neural ordinary differential equations (NODEs) -- parametrizations of differential equations using neural networks -- have shown tremendous promise in learning models of unknown continuous-time dynamical systems from data. However, every…

Machine Learning · Computer Science 2023-01-02 Franck Djeumou , Cyrus Neary , Eric Goubault , Sylvie Putot , Ufuk Topcu

We introduce an efficient combination of polyhedral analysis and predicate partitioning. Template polyhedral analysis abstracts numerical variables inside a program by one polyhedron per control location, with a priori fixed directions for…

Logic in Computer Science · Computer Science 2014-10-06 David Monniaux , Peter Schrammel

Methods for stochastic trace estimation often require the repeated evaluation of expressions of the form $z^T p_n(A)z$, where $A$ is a symmetric matrix and $p_n$ is a degree $n$ polynomial written in the standard or Chebyshev basis. We show…

Numerical Analysis · Mathematics 2021-01-05 Eric Hallman

Incremental stability is a property of dynamical and control systems, requiring the uniform asymptotic stability of every trajectory, rather than that of an equilibrium point or a particular time-varying trajectory. Similarly to stability,…

Optimization and Control · Mathematics 2012-07-03 Majid Zamani , Nathan van de Wouw , Rupak Majumdar

Series expansions have been a cornerstone of applied mathematics and engineering for centuries. In this paper, we revisit the Taylor series expansion from a modern Machine Learning perspective. Specifically, we introduce the Fast Continuous…

Machine Learning · Computer Science 2021-11-12 Henning Lange , J. Nathan Kutz

Path dependence is omnipresent in many disciplines such as engineering, system theory and finance. It reflects the influence of the past on the future, often expressed through functionals. However, non-Markovian problems are often…

Mathematical Finance · Quantitative Finance 2023-03-03 Bruno Dupire , Valentin Tissot-Daguette

Study of scattering process in the nonlocal interaction framework leads to an integro-differential equation. The purpose of the present work is to develop an efficient approach to solve this integro-differential equation with high degree of…

Nuclear Theory · Physics 2018-08-09 N. J. Upadhyay , A. Bhagwat

Theoretical analyses of evolution strategies are indispensable for gaining a deep understanding of their inner workings. For constrained problems, rather simple problems are of interest in the current research. This work presents a…

Neural and Evolutionary Computing · Computer Science 2019-08-12 Patrick Spettel , Hans-Georg Beyer

A stochastic Forward-Backward algorithm with a constant step is studied. At each time step, this algorithm involves an independent copy of a couple of random maximal monotone operators. Defining a mean operator as a selection integral, the…

Optimization and Control · Mathematics 2018-04-05 Pascal Bianchi , Walid Hachem , Adil Salim

In this manuscript we propose and analyze an implicit two-point type method (or inertial method) for obtaining stable approximate solutions to linear ill-posed operator equations. The method is based on the iterated Tikhonov (iT) scheme. We…

Numerical Analysis · Mathematics 2024-01-30 Joel C. Rabelo , Antonio Leitão , Alexandre L. Madureira

This article introduces a new nonparametric method for estimating a univariate regression function of bounded variation. The method exploits the Jordan decomposition which states that a function of bounded variation can be decomposed as the…

Statistics Theory · Mathematics 2016-08-11 Arnaud Guyader , Nick Hengartner , Nicolas Jégou , Eric Matzner-Løber

Inertial odometry (IO) directly estimates the position of a carrier from inertial sensor measurements and serves as a core technology for the widespread deployment of consumer grade localization systems. While existing IO methods can…

Standard dynamical systems approaches to economic modeling, such as those deriving the Cobb-Douglas and CES production functions from exponential growth trajectories, typically rely on integer-order differential equations. While effective,…

Theoretical Economics · Economics 2026-05-20 Roman G. Smirnov

We introduce a generalized forward-backward splitting method with penalty term for solving monotone inclusion problems involving the sum of a finite number of maximally monotone operators and the normal cone to the nonempty set of zeros of…

Optimization and Control · Mathematics 2018-07-31 Nimit Nimana , Narin Petrot

We analyse and compare several algorithms to compute numerically periodic solutions of high-dimensional dynamical systems and investigate their Floquet stability without building the monodromy matrix. The solution and its perturbation are…

Fluid Dynamics · Physics 2025-06-17 Artur Gesla , Yohann Duguet , Patrick Le Quéré , Laurent Martin Witkowski

In this article we show how ideas, methods and results from optimal transportation can be used to study various aspects of the stationary measuresof Iterated Function Systems equipped with a probability distribution. We recover a classical…

Classical Analysis and ODEs · Mathematics 2021-06-02 Benoît Kloeckner

We develop new adaptive algorithms for temporal integration of nonlinear evolution equations on tensor manifolds. These algorithms, which we call step-truncation methods, are based on performing one time step with a conventional…

Numerical Analysis · Mathematics 2022-03-09 Abram Rodgers , Alec Dektor , Daniele Venturi

In this paper, we study two variations of the time discrete Taylor schemes for rough differential equations and for stochastic differential equations driven by fractional Brownian motions. One is the incomplete Taylor scheme which excludes…

Probability · Mathematics 2015-10-30 Yaozhong Hu , Yanghui Liu , David Nualart

This paper develops a computational method for studying stable/unstable manifolds attached to periodic orbits of differential equations. The method uses high order Chebyshev-Taylor series approximations in conjunction with the…

Numerical Analysis · Mathematics 2018-02-14 J. D. Mireles James , Maxime Murray

In this paper, we propose a new trigonometric interpolation algorithm and establish relevant convergent properties. The method adjusts an existing trigonometric interpolation algorithm such that it can better leverage Fast Fourier Transform…

Numerical Analysis · Mathematics 2025-05-06 Xiaorong Zou