Interval-based projection method for under-constrained numerical systems

DOI10.1007/S10601-012-9126-YMaRDI QIDQ487645zbMATH OpenOpenAlexFDO

Authors Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann

Publication date 22 January 2015

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-012-9126-y

zbMATH Keywords

interval analysisprojection methodexistentially quantified constraintsnumerical constraint programmingunder-constrained systems

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Recommendations

• Under and over projection methods for solving linear inequality systems
• A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
• An interior-point method for solving box-constrained underdetermined nonlinear systems
• Improving Enclosure of Interval Scalar Projection Operation
• Numerical constraint satisfaction problems with non-isolated solutions

Cites work

• scientific article; zbMATH DE number 1595639 (Why is no real title available?)
• scientific article; zbMATH DE number 5775425 (Why is no real title available?)
• scientific article; zbMATH DE number 4062487 (Why is no real title available?)
• scientific article; zbMATH DE number 1157648 (Why is no real title available?)
• scientific article; zbMATH DE number 1543332 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• A new technique in systems analysis under interval uncertainty and ambiguity
• Algorithm 681: INTBIS, a portable interval Newton/bisection package
• Algorithms that still produce a solution (maybe not optimal) even when interrupted: Shary's idea justified
• Bounding solutions of systems of equations using interval analysis
• Handbook of constraint programming.
• Inner and Outer Approximations of Existentially Quantified Equality Constraints
• Interval Methods for Systems of Equations
• Nonlinear systems.
• Quantified set inversion algorithm with applications to control

Cited in

(6)

• Improving Enclosure of Interval Scalar Projection Operation
• Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
• raSAT: an SMT solver for polynomial constraints
• A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
• A branch and prune algorithm for the computation of generalized aspects of parallel robots
• Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems. Empirical evaluation of innovations

Describes a project that uses

Uses Software

• Numerica
• IbexOpt
• AQCS
• gaol
• RealPaver
• INTBIS

This page was built for publication: Interval-based projection method for under-constrained numerical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487645)