Introduction to Interval Analysis

DOI10.1137/1.9780898717716zbMath1168.65002OpenAlexW1507872748MaRDI QIDQ3605131

Ramon E. Moore, Michael J. Cloud, Ralph Baker Kearfott

Publication date: 20 February 2009

Full work available at URL: https://semanticscholar.org/paper/401699bcab0b683f4ec32cb00542909520aa79bf

Symbolic computation and algebraic computation (68W30) Numerical methods for integral equations (65R20) Interval and finite arithmetic (65G30) Roundoff error (65G50) Algorithms with automatic result verification (65G20) Numerical linear algebra (65Fxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to numerical analysis (65-01) Numerical methods for ordinary differential equations (65Lxx) Nonlinear algebraic or transcendental equations (65Hxx)

Related Items (only showing first 100 items - show all)

Model predictive control of dynamic systems with mixed uncertainty and its application to supply chain management ⋮ A FORMAL PROOF OF THE KEPLER CONJECTURE ⋮ The multivariate bisection algorithm ⋮ Inner and outer estimations of the generalized solution sets and an application in economic ⋮ Interval extensions of the Halley method and its modified method for finding enclosures of roots of nonlinear equations ⋮ A computer-assisted proof of dynamo growth in the stretch-fold-shear map ⋮ Floating-point arithmetic ⋮ Multi-modal and multi-route transportation problem for hazardous materials under uncertainty ⋮ Optimal robust fault detection of discrete‐time LPV systems with measurement error‐affected scheduling variables combining ZKF and pQP ⋮ The Hukuhara difference, gH-difference and gH-division are not inclusion isotonic ⋮ A new methodology for solving fuzzy systems of equations: thick fuzzy sets based approach ⋮ Validated Root Enclosures for Interval Polynomials with Multiplicities ⋮ Certified simultaneous isotopic approximation of pairs of curves via subdivision ⋮ New differentiability concepts for set-valued functions and applications to set differential equations ⋮ Interval nonlinear initial-valued problem using constraint intervals: theory and an application to the SARS-CoV-2 outbreak ⋮ On the uniqueness of convex central configurations in the planar 4-body problem ⋮ Recursive solution of initial value problems with temporal discretization ⋮ Gradient-based descent linesearch to solve interval-valued optimization problems under gH-differentiability with application to finance ⋮ Towards interval uncertainty propagation control in bivariate aggregation processes and the introduction of width-limited interval-valued overlap functions ⋮ The interval eigenvalue problem using constraint interval analysis with an application to linear differential equations ⋮ The interval-valued Choquet-Sugeno-like operator as a tool for aggregation of interval-valued functions ⋮ Robust nonlinear model predictive control based on nominal predictions with piecewise constant references and bounded disturbances ⋮ Fréchet subdifferential calculus for interval-valued functions and its applications in nonsmooth interval optimization ⋮ Mixed-Integer programming models for irregular strip packing based on vertical slices and feasibility cuts ⋮ A novel geometry optimization strategy to online active fault diagnosis of LPV systems ⋮ Should data ever be thrown away? Pooling interval-censored data sets with different precision ⋮ Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals ⋮ Interval variational inequalities and their relationship with interval optimization problems ⋮ Interval-Krawczyk Approach for Solving Nonlinear Equations Systems in B-spline Form ⋮ Need for techniques intermediate between interval and probabilistic ones ⋮ A survey of interval algorithms for solving multicriteria analysis problems ⋮ Sliding window algorithm for parametric identification of dynamical systems with rectangular and ellipsoid parameter uncertainty domains ⋮ Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming ⋮ Inequalities for interval-valued Riemann diamond-alpha integrals ⋮ Dynamics of beams with uncertain crack depth: stochastic versus interval analysis ⋮ Fatigue analysis of structures with interval axial stiffness subjected to stationary stochastic excitations ⋮ A domain-theoretic framework for robustness analysis of neural networks ⋮ Linear dynamic fuzzy granule based long-term forecasting model of interval-valued time series ⋮ On the fractional integral inclusions having exponential kernels for interval-valued convex functions ⋮ Certain fractional integral inclusions pertaining to interval-valued exponential trigonometric convex functions ⋮ On the polyhedral homotopy method for solving generalized Nash equilibrium problems of polynomials ⋮ Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test ⋮ Various approaches to multiobjective linear programming problems with interval costs and interval weights ⋮ Robot workspace approximation with modified bicentered Krawczyk method ⋮ Generalized Hermite-Hadamard inclusions for a generalized fractional integral ⋮ A rigorous deterministic global optimization approach for the derivation of secondary information in digital maps ⋮ Subdomain separability in global optimization ⋮ Projection-based guaranteed \(L^2\) error bounds for finite element approximations of Laplace eigenfunctions ⋮ Towards an automatic uncertainty compiler ⋮ Interval Laplace transform and its application in production inventory ⋮ Newton's method for interval-valued multiobjective optimization problem ⋮ Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fuzzy Matrix Contractor Based Approach for Localization of Robots ⋮ Modeling Radon Diffusion Equation by Using Fuzzy Polynomials in Galerkin’s Method ⋮ Unnamed Item ⋮ The Worst Case Finite Optimal Value in Interval Linear Programming ⋮ Computing Enclosures for the Matrix Exponential ⋮ Mathematically Rigorous Global Optimization and Fuzzy Optimization ⋮ Accurate Evaluation of Arithmetic Expressions (Invited Talk) ⋮ On robust control of a class of nonlinear mechanical systems with parametric uncertainty ⋮ Effective topological degree computation based on interval arithmetic ⋮ SAT Modulo Differential Equation Simulations ⋮ Example Guided Synthesis of Linear Approximations for Neural Network Verification ⋮ Dynamic interval analysis by abstract interpretation ⋮ Interval incremental learning of interval data streams and application to vehicle tracking ⋮ Carbon price interval prediction method based on probability density recurrence network and interval multi-layer perceptron ⋮ On solvability recognition for interval linear systems of equations ⋮ A NOTE ON DEFINITIONS OF THE RANK FOR INTERVAL MATRICES ⋮ An extension of the \(\alpha\mathrm{BB}\)-type underestimation to linear parametric Hessian matrices ⋮ A parameter method for linear algebra and optimization with uncertainties ⋮ Fractional Hermite-Hadamard-type inequalities for interval-valued functions ⋮ An iterative model predictive control algorithm for constrained nonlinear systems ⋮ Computable analysis with applications to dynamic systems ⋮ Soft Computing Simulations of Chaotic Systems ⋮ Generalization of real interval matrices to other fields ⋮ Fuzzy-Stochastic Partial Differential Equations ⋮ Weak and Strong Compatibility in Data Fitting Problems Under Interval Uncertainty ⋮ Dealing with Uncertainties in Computing: From Probabilistic and Interval Uncertainty to Combination of Different Types of Uncertainty ⋮ EA solutions and EA solvability to general interval linear systems ⋮ Some results on the fundamental concepts of fuzzy set theory in intuitionistic fuzzy environment by using α and β cuts ⋮ Expansion of Generalized Hukuhara Differentiable Interval Valued Function ⋮ Rare event probability estimation in the presence of epistemic uncertainty on input probability distribution parameters ⋮ Some results on the upper bound of optimal values in interval convex quadratic programming ⋮ An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ An efficient uncertainty propagation method for parameterized probability boxes ⋮ Certification for polynomial systems via square subsystems ⋮ Correlation propagation for uncertainty analysis of structures based on a non-probabilistic ellipsoidal model ⋮ Inflation of poorly conditioned zeros of systems of analytic functions ⋮ A new multi-section based technique for constrained optimization problems with interval-valued objective function ⋮ AE solutions to two-sided interval linear systems over max-plus algebra ⋮ New Jensen and Hermite-Hadamard type inequalities for \(h\)-convex interval-valued functions ⋮ The complexity of computation and approximation of the \(t\)-ratio over one-dimensional interval data ⋮ A modification of the \(\alpha \mathrm{BB}\) method for box-constrained optimization and an application to inverse kinematics ⋮ A heuristic prover for real inequalities ⋮ DiffRNN: differential verification of recurrent neural networks ⋮ Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs

Uses Software

This page was built for publication: Introduction to Interval Analysis