scispace - formally typeset
Open AccessBook

Applied Interval Analysis

Reads0
Chats0
About
The article was published on 2001-08-30 and is currently open access. It has received 1709 citations till now. The article focuses on the topics: Interval arithmetic.

read more

Citations
More filters
Book

Introduction to Interval Computation

TL;DR: In this paper, the authors present an ALGOLGOL-based approach for the inclusion of complex Zeros of polynomials of a function of one real variable in a system of linear systems of equations.
Journal ArticleDOI

Survey of sampling-based methods for uncertainty and sensitivity analysis

TL;DR: Sampling-based methods for uncertainty and sensitivity analysis are reviewed and special attention is given to the determination of sensitivity analysis results.
Book

Digital arithmetic

TL;DR: Digital Arithmetic, two of the field's leading experts, deliver a unified treatment of digital arithmetic, tying underlying theory to design practice in a technology-independent manner, to develop sound solutions, avoid known mistakes, and repeat successful design decisions.
Journal ArticleDOI

On Identifiability of Nonlinear ODE Models and Applications in Viral Dynamics

TL;DR: This article reviews identifiability analysis methodologies for nonlinear ODE models developed in the past one to two decades, including structural identifiable analysis, practical identIFiability analysis and sensitivity-based identifability analysis.
Journal ArticleDOI

Complete search in continuous global optimization and constraint satisfaction

TL;DR: This survey covers the state of the art of techniques for solving general-purpose constrained global optimization problems and continuous constraint satisfaction problems, with emphasis on complete techniques that provably find all solutions (if there are finitely many).
References
More filters
Proceedings ArticleDOI

The 40 “generic” positions of a parallel robot

TL;DR: This paper considers the direct kinematic problem of a parallel robot (called the Stewart platform or left hand) and shows how the use of formal tools help to guess the solution of this problem and then to establish it.
Journal ArticleDOI

Newton—constraint programming over nonlinear constraints

TL;DR: Newton is introduced, a constraint programming language over nonlinear real constraints, which approximates arc-consistency, a notion well-known in artificial intelligence, and achieves an effective pruning at a reasonable computation cost and generalizes some traditional interval operators.
Journal ArticleDOI

Guaranteed characterization of stability domains via set inversion

TL;DR: A new method is presented for characterizing the set of all values of the parameters of a linear time-invariant model that are associated with a stable behavior and readily extends to the design of controllers stabilizing all models in a given class.
Journal ArticleDOI

Robust stabilizability for linear systems with both parameter variation and unstructured uncertainty

TL;DR: In this article, the authors considered the problem of finding a single compensator which stabilizes a plant having both parameter variation and high-frequency unstructured uncertainty, and proposed closed-loop stability criteria are then proposed for the model.
Journal ArticleDOI

Method of robust stability analysis with highly structured uncertainties

TL;DR: In this paper, the stability of linear time-invariant interconnected systems with uncertainties was analyzed using a finite Dumber of calculations. But it was shown that the convex closure of the image of the Cartesian product of these polygons under the mapping φ = \det [I + FH] is not consistent with convex closures of the vertices of these polygonal vertices under φ. A sufficient stability condition was obtained by applying this result to the multivariable Nyquist stability criterion.