Making adaptive an interval constraint propagation algorithm exploiting monotonicity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6308 LNCS, Issue , 2010, Pages 61-68

  Araya, Ignacio ^a   Trombettoni, Gilles ^a   Neveu, Bertrand ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; EMBEDDED SYSTEMS;

EMPIRICAL STUDIES; INTERVAL CONSTRAINT PROPAGATION; MANUAL TUNING; MONOTONICITY; NUMERICAL CONSTRAINTS; USER-DEFINED PARAMETERS; VARIABLE DOMAIN;

COMPUTER CONTROL;

EID: 78149262598     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15396-9_8     Document Type: Conference Paper

References (14)

1. Araya, I.: Exploiting Common Subexpressions and Monotonicity of Functions for Filtering Algorithms over Intervals. PhD thesis, University of Nice-Sophia (2010)
2. Araya, I., Trombettoni, G., Neveu, B.: Exploiting Monotonicity in Interval Constraint Propagation. In: Proc. AAAI (to appear, 2010)
3. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: Proc. ICLP, pp. 230-244 (1999)
4. Chabert, G.: Ibex - An Interval Based EXplorer (2010), http://www.ibex-lib.org
5. Collavizza, H., Delobel, F., Rueher, M.: Comparing Partial Consistencies. Reliable Comp. 5(3), 213-228 (1999)
6. Jaulin, L.: Interval Constraint Propagation with Application to Bounded-error Estimation. Automatica 36, 1547-1552 (2000)
7. Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996)
8. Kieffer, M., Jaulin, L., Walter, E., Meizel, D.: Robust Autonomous Robot Localization Using Interval Analysis. Reliable Computing 3(6), 337-361 (2000)
9. Lhomme, O.: Consistency Tech. for Numeric CSPs. In: IJCAI, pp. 232-238 (1993)
10. Merlet, J.-P.: Interval Analysis and Robotics. In: Symp. of Robotics Research (2007)
11. Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)
12. Rueher, M., Goldsztejn, A., Lebbah, Y., Michel, C.: Capabilities of Constraint Programming in Rigorous Global Optimization. In: NOLTA (2008)
13. Trombettoni, G., Chabert, G.: Constructive Interval Disjunction. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 635-650. Springer, Heidelberg (2007)
14. Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge (1997)