In this paper, an interval branch and bound algorithm is proposed to estimate the
parameters for three models of photovoltaic (PV) cells. These models are a single diode …

Recently, barrier certificates have been introduced to prove the safety of continuous or
hybrid dynamical systems. A barrier certificate needs to exhibit some barrier function, which …

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

Computing the maximal pose error given an upper bound on model parameters
uncertainties, called perturbations in this paper, is challenging for parallel robots, mainly …

The formal verification of safety properties for hybrid systems is an important but challenging
problem. Recently, barrier functions have been introduced to prove safety without requiring …

Neural networks are powerful tools for automated decision-making, with applications
ranging from image recognition to hiring decisions and safety-critical autonomous driving …

We present in this article new strategies for selecting nodes in interval Branch and Bound
algorithms for constrained global optimization. For a minimization problem the standard best …

This paper considers nonlinear semi-infinite problems, which contain at least one semi-
infinite constraint (SIC). The standard branch-and-bound algorithm is adapted to such …

The Lyapunov equation allows finding a quadratic Lyapunov function for an asymptotically
stable fixed point of a linear system. Applying this equation to the linearization of a nonlinear …

In deterministic global optimization, techniques for linear relaxation of a non-convex
program are used in the lower bound calculation phase. To achieve this phase, most …