%0 Conference Paper
%F Oral
%T A new interval arithmetic to generate the complementary of contractors
%+ École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)
%+ Equipe ROBotics for EXploration (Lab-STICC_ROBEX)
%+ Equipe Hardware ARchitectures and CAD tools (Lab-STICC_ARCAD)
%A Filiol, Pierre
%A Bollengier, Théotime
%A Jaulin, Luc
%A Le Lann, Jean-Christophe
%< avec comité de lecture
%B Summer Workshop on Interval Methods
%C Hannover, Germany
%8 2022-07-21
%D 2022
%K Intervals
%K Contractors
%Z Computer Science [cs]/Hardware Architecture [cs.AR]
%Z Computer Science [cs]/Numerical Analysis [cs.NA]Conference papers
%X 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.
%G English
%2 https://hal.science/hal-03859346/document
%2 https://hal.science/hal-03859346/file/iota.pdf
%L hal-03859346
%U https://hal.science/hal-03859346
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ ENIB
%~ LAB-STICC
%~ INSTITUTS-TELECOM
%~ LAB-STICC_ARCAD
%~ LAB-STICC_ROBEX
%~ LAB-STICC_SHARP