Solving non-linear constraint satisfation problems involving time-dependant functions - Archive ouverte HAL
Article Dans Une Revue Mathematics in Computer Science Année : 2014

Solving non-linear constraint satisfation problems involving time-dependant functions

Résumé

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.
Fichier non déposé

Dates et versions

hal-01062347 , version 1 (09-09-2014)

Identifiants

Citer

Aymeric Bethencourt, Luc Jaulin. Solving non-linear constraint satisfation problems involving time-dependant functions. Mathematics in Computer Science, 2014, 8 (3-4), pp.503-524. ⟨10.1007/s11786-014-0209-6⟩. ⟨hal-01062347⟩
121 Consultations
0 Téléchargements

Altmetric

Partager

More