This paper describes a solver programming method, called contractor programming, that
copes with two issues related to constraint processing over the reals. First, continuous …

The convex restriction of power flow feasibility sets identifies the convex subset of power
injections where a solution for power flow equations is guaranteed to exist and satisfy the …

Quadratic systems of equations appear in several applications. The results in this letter are
motivated by quadratic systems of equations that describe equilibrium behavior of physical …

This paper deals with offline nonlinear state estimation where measurements are available
only when some given equality conditions are satisfied. For this type of problems, which are …

Some design methodologies for Parallel Kinematic Machines (PKM) have been proposed
but with limitations regarding two main problems: how to improve multiple properties of …

Codac (Catalog Of Domains And Contractors) is a C++/Python library providing tools for
constraint programming over reals, trajectories and sets. It has many applications in …

In this paper, we propose a new approach to compute the projection of a set defined by
polynomial equations. It assumes that the polynomial equations have some nice symmetries …

No method for the computation of a reliable subset of the range of vector-valued functions is
available today. A method for computing such inner approximations is proposed in the …

In complex systems design, multidisciplinary constraints are imposed by stakeholders.
Engineers need to search feasible design space for a given problem before searching for …

In this paper, we consider a scenario where a source node wishes to broadcast two
confidential messages for two respective receivers, while a wire-tapper also receives the …