Abstract Interval Branch and Bound algorithms are used to solve rigorously continuous
constraint satisfaction and constrained global optimization problems. In this paper, we …

This work deals with control of vibrating structures using tuned mass damper (TMD) in
presence of uncertain bounded structural parameters. The adopted optimization strategy of …

The computation of tight interval image enclosures of functions over bounded variable
domains is in the heart of interval-based branch and bound optimization (and constraint …

Interval analysis has been applied with success at solving continuous nonlinear
programming problems. In this chapter we review the most relevant research on interval …

The minimal model of glucose‐insulin dynamics is currently being used in several diabetes‐
related applications, such as investigating the glucose metabolism, and in the developments …

Model-Order Reduction Using Interval Constraint Solving Techniques Page 1 University of
Texas at El Paso ScholarWorks@UTEP Departmental Technical Reports (CS) Computer …

The reliability and increasing performance of search-tree-based interval solvers for solving
numerical systems of constraints make them applicable to various expert system domains …

Many real-life situations require that a match between quantities, behaviors, etc. be found.
That is the case, for instance, when scientists try to find a fit between two sets of data, or a set …

In this work a reliability based optimization of Tuned Mass Damper (TMD) parameters in
seismic vibration control under uncertain system parameters is presented and two questions …

Adaptive use of extended systems for the efficient verified solution of nonlinear systems
Page 1 Adaptive use of extended systems for the efficient verified solution of nonlinear …