A new interval arithmetic to generate the complementary of contractors
Résumé
Contractor algebra is used to characterize a set defined as a composition of sets defined by inequalities. It mainly uses interval methods combined with constraint propagation. This algebra includes the classical operations we have for sets such as the intersection, the union and the inversion. Now, it does not include to complement operator. The reason for this is probably related to the interval arithmetic itself. In this paper, we show that it we change the arithmetic used for intervals adding a single flag, similar to not a number, we are able to include easily the complement in the algebra of contractors.
Origine | Fichiers produits par l'(les) auteur(s) |
---|