Global Optimization and Constraint Satisfaction

Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

Editors:

ISBN: 978-3-540-26003-5 (Print) 978-3-540-32041-8 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. Constraint Satisfaction

    1. No Access

      Book Chapter

      Pages 1-14

      Efficient Pruning Technique Based on Linear Relaxations

    2. No Access

      Book Chapter

      Pages 15-30

      Inter-block Backtracking: Exploiting the Structure in Continuous CSPs

    3. No Access

      Book Chapter

      Pages 31-45

      Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums

  3. Global Optimization

    1. No Access

      Book Chapter

      Pages 46-60

      Convex Programming Methods for Global Optimization

    2. No Access

      Book Chapter

      Pages 61-70

      A Method for Global Optimization of Large Systems of Quadratic Constraints

    3. No Access

      Book Chapter

      Pages 71-85

      A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials

    4. No Access

      Book Chapter

      Pages 86-100

      Using a Cooperative Solving Approach to Global Optimization Problems

    5. No Access

      Book Chapter

      Pages 101-111

      Global Optimization of Convex Multiplicative Programs by Duality Theory

  4. Applications

    1. No Access

      Book Chapter

      Pages 112-126

      High-Fidelity Models in Global Optimization

    2. No Access

      Book Chapter

      Pages 127-141

      Incremental Construction of the Robot’s Environmental Map Using Interval Analysis

    3. No Access

      Book Chapter

      Pages 142-153

      Nonlinear Predictive Control Using Constraints Satisfaction

    4. No Access

      Book Chapter

      Pages 154-170

      Gas Turbine Model-Based Robust Fault Detection Using a Forward – Backward Test

    5. No Access

      Book Chapter

      Pages 171-191

      Benchmarking on Approaches to Interval Observation Applied to Robust Fault Detection

  5. Back Matter

    Pages -