%0 Journal Article
%T Solving non-linear constraint satisfation problems involving time-dependant functions
%+ Lab-STICC_ENSTAB_CID_IHSEV ; OSM
%A Bethencourt, Aymeric
%A Jaulin, Luc
%< avec comitÃ© de lecture
%@ 1661-8270
%J Mathematics in Computer Science
%I Springer
%V 8
%N 3-4
%P 503-524
%8 2014-09-01
%D 2014
%R 10.1007/s11786-014-0209-6
%K Interval analysis Constraint satisfaction problem Tubes Time dependant functions Primary 65G40 Secondary 65G30
%Z Engineering Sciences [physics]/AutomaticJournal articles
%X In this paper, we consider the resolution of non-linear constraint satisfaction problems where the variables of the systems are trajectories (functions from R to Rn). We introduce the notion of tubes as intervals of functions, for which the lower and upper bounds are trajectories with respect to the inclusion. We then define basic operators and prove propositions verified by tubes. We show the possibility to build contractors on tubes and propagate constraints to solve problems involving time-dependant functions as the unknown variables.We show that the approach is particularly powerful when inter-temporal equations (e.g. delays) are involved. Finally, in order to illustrate the principle and efficiency of the approach, several test cases are provided.
%G English
%L hal-01062347
%U https://hal.science/hal-01062347
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ ENIB
%~ LAB-STICC_ENIB
%~ LAB-STICC
%~ TDS-MACS
%~ INSTITUTS-TELECOM