English
Related papers

Related papers: Solving Indefinite Quadratic Programs by Dynamical…

200 papers

We study deterministic and quantum dynamics from a constructive "finite" point of view, since the introduction of a continuum, or other actual infinities in physics poses serious conceptual and technical difficulties, without any need for…

Quantum Physics · Physics 2015-06-11 Vladimir V. Kornyak

There is growing interest in termination reasoning for non-linear programs and, meanwhile, recent dynamic strategies have shown they are able to infer invariants for such challenging programs. These advances led us to hypothesize that…

Programming Languages · Computer Science 2020-10-13 Ton Chanh Le , Timos Antonopoulos , Parisa Fathololumi , Eric Koskinen , ThanhVu Nguyen

We show the short time existence and uniqueness of solutions to the Cauchy problem for fully nonlinear systems of arbitrary even order on closed manifolds which are strongly parabolic at the initial values. The proof uses a linearization…

Differential Geometry · Mathematics 2015-07-21 Hong Huang

We investigate indeterminate points in discrete integrable system. They appear in singularity confinement phenomenon naturally. We develop a method to analyse indeterminate points of dynamical maps and using this method we clarify behaviour…

Exactly Solvable and Integrable Systems · Physics 2017-05-03 Yuki Wakimoto

The simulation of large nonlinear dynamical systems, including systems generated by discretization of hyperbolic partial differential equations, can be computationally demanding. Such systems are important in both fluid and kinetic…

Plasma Physics · Physics 2021-06-14 Alexander Engel , Graeme Smith , Scott E. Parker

We introduce a novel method for handling endpoint constraints in constrained differential dynamic programming (DDP). Unlike existing approaches, our method guarantees quadratic convergence and is exact, effectively managing rank…

Optimization and Control · Mathematics 2025-03-07 Maria Parilli , Sergi Martinez , Carlos Mastalli

In this paper, we solve a maximization problem where the objective function is quadratic and the constraints set is the reachable values set of a stable discrete-time affine system. This problem is equivalent to solve an infinite number of…

Optimization and Control · Mathematics 2023-09-04 Assalé Adjé

A quadratic dynamical system with practical applications is taken into considered. This system is transformed into a new bilinear system with Hadamard products by means of the implicit matrix structure. The corresponding quadratic bilinear…

Numerical Analysis · Mathematics 2021-07-09 Bo Yu , Ning Dong , Qiong Tang

To study discrete dynamical systems of different types --- deterministic, statistical and quantum --- we develop various approaches. We introduce the concept of a system of discrete relations on an abstract simplicial complex and develop…

Mathematical Physics · Physics 2010-11-10 Vladimir V. Kornyak

We consider linear programming (LP) problems in infinite dimensional spaces that are in general computationally intractable. Under suitable assumptions, we develop an approximation bridge from the infinite-dimensional LP to tractable finite…

Optimization and Control · Mathematics 2017-02-22 Peyman Mohajerin Esfahani , Tobias Sutter , Daniel Kuhn , John Lygeros

We investigate the use of linear programming tools for solving semidefinite programming relaxations of quadratically constrained quadratic problems. Classes of valid linear inequalities are presented, including sparse PSD cuts, and…

Combinatorics · Mathematics 2012-06-28 Andrea Qualizza , Pietro Belotti , Francois Margot

We study the fixed point problem for a system of multivariate operators that are coordinate-wise monotone (i.e., nondecreasing or nonincreasing in each of the variables, independently), in the setting of quasi-ordered sets. We show that…

General Topology · Mathematics 2012-09-03 Mircea-Dan Rus

Classical existence theorems and solution methods for quadratic programming traditionally rely on the analytical properties of real numbers, specifically compactness and completeness. These tools are unavailable in general linearly ordered…

Optimization and Control · Mathematics 2026-01-27 Dmytro O. Plutenko

Conventional finite-difference schemes for solving partial differential equations are based on approximating derivatives by finite-differences. In this work, an alternative theory is proposed which view finite-difference schemes as…

Numerical Analysis · Mathematics 2013-09-23 Siu A. Chin

In this paper, we propose a new sequential quadratic semidefinite programming (SQSDP) method for solving degenerate nonlinear semidefinite programs (NSDPs), in which we produce iteration points by solving a sequence of stabilized quadratic…

Optimization and Control · Mathematics 2022-11-09 Yuya Yamakawa , Takayuki Okuno

This paper begins with a class of convex quadratic programs (QPs) with bounded variables solvable by the parametric principal pivoting algorithm with $\mathcal{O}(n^3)$ strongly polynomial complexity, where $n$ is the number of variables of…

Optimization and Control · Mathematics 2022-09-28 Jong-Shi Pang , Shaoning Han

A version of the Dynamical Systems Method (DSM) for solving ill-conditioned linear algebraic systems is studied in this paper. An {\it a priori} and {\it a posteriori} stopping rules are justified. An iterative scheme is constructed for…

Numerical Analysis · Mathematics 2008-03-31 N. S. Hoang , A. G. Ramm

This paper introduces a novel Differential Dynamic Programming (DDP) algorithm for solving discrete-time finite-horizon optimal control problems with inequality constraints. Two variants, namely Feasible- and Infeasible-IPDDP algorithms,…

Systems and Control · Electrical Eng. & Systems 2020-10-21 Andrei Pavlov , Iman Shames , Chris Manzie

In this paper we consider the spatial semi-discretization of conservative PDEs. Such finite dimensional approximations of infinite dimensional dynamical systems can be described as flows in suitable matrix spaces, which in turn leads to the…

Numerical Analysis · Mathematics 2022-03-01 Michele Benzi , Milo Viviani

We present a new solution for fundamental problems in nonlinear dynamical systems: finding, verifying, and stabilizing cycles. The solution we propose consists of a new control method based on mixing previous states of the system (or the…

Dynamical Systems · Mathematics 2017-12-19 D. Dmitrishin , I. E. Iacob , I. Skrinnik , A. Stokolos