Introduction to Interval Analysis
branch-and-bound algorithmconvergencenumerical examplesboundary value problemsintegral equationsinterval analysisinterval arithmeticinitial value problemsinterval functionsinterval sequencesautomatic differentiationinterval matricesinterval Newton methodINTLABcomputer-assisted proofsroundoff errorsscientific computationKrawczyk methodautomatic verification of resultsSkelboe-Moore algorithm
Symbolic computation and algebraic computation (68W30) Roundoff error (65G50) Numerical methods for integral equations (65R20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to numerical analysis (65-01) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20) Numerical methods for ordinary differential equations (65Lxx) Numerical linear algebra (65Fxx) Nonlinear algebraic or transcendental equations (65Hxx)
- On the stability of periodic \(N\)-body motions with the symmetry of platonic polyhedra
- On the algebraic solution of fuzzy linear systems based on interval theory
- Simple and reliable boundary detection for meshfree particle methods using interval analysis
- Regularity radius: properties, approximation and a not a priori exponential algorithm
- Inflation of poorly conditioned zeros of systems of analytic functions
- AE solutions to two-sided interval linear systems over max-plus algebra
- Multi-objective geometric programming with varying parameters: application in waste water treatment system
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- EA solutions and EA solvability to general interval linear systems
- Convergence-order analysis of branch-and-bound algorithms for constrained problems
- Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Unified polynomial expansion for interval and random response analysis of uncertain structure-acoustic system with arbitrary probability distribution
- The metric derivative of set-valued functions
- AE solutions to interval linear systems over max-plus algebra
- Incremental updating of rough approximations in interval-valued information systems under attribute generalization
- Probabilistic Analysis of Binary Sessions
- Validated B-series and Runge-Kutta pairs
- Response statistics of linear structures with uncertain-but-bounded parameters under Gaussian stochastic input
- SUSPECT: MINLP special structure detector for Pyomo
- scientific article; zbMATH DE number 1694748 (Why is no real title available?)
- Numerical treatment of engineering problems with uncertainties. The fuzzy set approach and its application to the heat exchanger problem
- Extended ellipsoidal outer-bounding set-membership estimation for nonlinear discrete-time systems with unknown-but-bounded disturbances
- A general unified framework for interval pairwise comparison matrices
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Design of high-gain observers based on sampled measurements via the interval arithmetic
- A parameter method for linear algebra and optimization with uncertainties
- Some results in interval multiobjective linear programming for recognizing different solutions
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Expansion of Generalized Hukuhara Differentiable Interval Valued Function
- Satisfaction of modeling requirements for intelligent navigation systems: risk management context
- On interval \((\mathbb{G}, \mathbb{N})\)-implications and \((\mathbb{O}, \mathbb{G}, \mathbb{N})\)-implications derived from interval overlap and grouping functions
- Hermite-Hadamard type inequalities for interval-valued fractional integrals with respect to another function
- Interval linear systems as a necessary step in fuzzy linear systems
- Complexity of computing interval matrix powers for special classes of matrices.
- DiffRNN: differential verification of recurrent neural networks
- Local adaption for approximation and minimization of univariate functions
- Computing the spectral decomposition of interval matrices and a study on interval matrix powers
- A dual-layer dimension-wise fuzzy finite element method for structural analysis with epistemic uncertainties
- Equivalence of sequential Henstock and topological Henstock integrals for interval valued functions
- Quantile and expectile smoothing based on L₁-norm and L₂-norm fuzzy transforms
- Need for techniques intermediate between interval and probabilistic ones
- Computing enclosures for the inverse square root and the sign function of a matrix
- Sensitivity analysis of grey linear programming for optimization problems
- Wormholes, superfast computations, and Selivanov's theorem
- Suspended load path tracking control using a tilt-rotor UAV based on zonotopic state estimation
- Exact enclosures of roots of interval quadratic equations by Sridhara's and Fagnano's or modified Fagnano's formulas
- Rigorous cubical approximation and persistent homology of continuous functions
- A verified realization of a Dempster-Shafer based fault tree analysis
- Sensitivity-based feedforward and feedback control for uncertain systems
- New characterizations for the solution set to interval linear systems of equations
- scientific article; zbMATH DE number 4088842 (Why is no real title available?)
- Dual interval-and-fuzzy analysis method for temperature prediction with hybrid epistemic uncertainties via polynomial chaos expansion
- Multidimensional interval type 2 epistemic fuzzy arithmetic
- Implementing real polyhedral homotopy
- A note on definitions of the rank for interval matrices
- The encounter of interval and probabilistic approaches to structural reliability at the design point
- Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue
- Optimal robust fault detection of discrete‐time LPV systems with measurement error‐affected scheduling variables combining ZKF and pQP
- Set inversion and box contraction on Lie groups using interval analysis
- Fractional inclusions of the Hermite-Hadamard type for \(m\)-polynomial convex interval-valued functions
- Novel interval theory-based parameter identification method for engineering heat transfer systems with epistemic uncertainty
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- Rare event probability estimation in the presence of epistemic uncertainty on input probability distribution parameters
- An efficient uncertainty propagation method for parameterized probability boxes
- Some results on the upper bound of optimal values in interval convex quadratic programming
- New order relations in set optimization
- A new multi-section based technique for constrained optimization problems with interval-valued objective function
- On the fractional double integral inclusion relations having exponential kernels via interval-valued co-ordinated convex mappings
- scientific article; zbMATH DE number 3854310 (Why is no real title available?)
- Using geometric interval algebra modeling for improved three-dimensional camera calibration
- Interval-Krawczyk approach for solving nonlinear equations systems in B-spline form
- An interval algorithm for uncertain dynamic stability analysis
- Identifying volatile numeric expressions in numeric computing applications
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- A new approach to interval-valued probability measures, a formal method for consolidating the languages of information deficiency: foundations
- D number theory based game-theoretic framework in adversarial decision making under a fuzzy environment
- Matrix methods for the tensorial Bernstein form
- Fatigue analysis of structures with interval axial stiffness subjected to stationary stochastic excitations
- Fuzzy-stochastic partial differential equations
- Hermite-Hadamard-Mercer type inclusions for interval-valued functions via Riemann-Liouville fractional integrals
- Interval Linear Algebra and Computational Complexity
- Verified error bounds for solutions of Sylvester matrix equations
- scientific article; zbMATH DE number 7582452 (Why is no real title available?)
- Weak and strong solvability of interval linear systems of equations and inequalities
- A new reliable performance evaluation model: IFB-IER-DEA
- Solving over-constrained systems of non-linear interval equations -- and its robotic application
- On solvability of some nonlinear fractional interval integral equations
- scientific article; zbMATH DE number 3915975 (Why is no real title available?)
- Interval tensors and their application in solving multi-linear systems of equations
- Properties of fuzzy transform obtained from \(L_p\) minimization and a connection with Zadeh's extension principle
- A fast memoryless interval-based algorithm for global optimization
- Adaptive safety-critical control for a class of nonlinear systems with parametric uncertainties: a control barrier function approach
- On approximation of the best case optimal value in interval linear programming
- scientific article; zbMATH DE number 1767706 (Why is no real title available?)
- Reliability analysis of structures with interval uncertainties under stationary stochastic excitations
- Interval matrices: realization of ranks by rational matrices
- An Efficient Method for Uncertainty Propagation using Fuzzy Sets
- Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations
This page was built for publication: Introduction to Interval Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605131)