Skip to main content
SpringerLink
Log in
Book cover

Global Optimization and Constraint Satisfaction

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Christophe Jermann

    1. LINA, FRE CNRS 2729 – University of Nantes, Nantes cedex 3, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Arnold Neumaier

    1. Institute for Mathematics, University Wien, Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Djamila Sam

    1. Artificial Intelligence Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3478)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: COCOS 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Constraint Satisfaction

    1. Efficient Pruning Technique Based on Linear Relaxations

      • Yahia Lebbah, Claude Michel, Michel Rueher
      Pages 1-14

    2. Inter-block Backtracking: Exploiting the Structure in Continuous CSPs

      • Bertrand Neveu, Christophe Jermann, Gilles Trombettoni
      Pages 15-30

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

      • Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith
      Pages 31-45

  3. Global Optimization

    1. Convex Programming Methods for Global Optimization

      • J. N. Hooker
      Pages 46-60

    2. A Method for Global Optimization of Large Systems of Quadratic Constraints

      • Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy
      Pages 61-70

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

      • Jürgen Garloff, Andrew P. Smith
      Pages 71-85

    4. Using a Cooperative Solving Approach to Global Optimization Problems

      • Alexander Kleymenov, Alexander Semenov
      Pages 86-100

    5. Global Optimization of Convex Multiplicative Programs by Duality Theory

      • Rúbia M. Oliveira, Paulo A. V. Ferreira
      Pages 101-111

  4. Applications

    1. High-Fidelity Models in Global Optimization

      • Daniele Peri, Emilio F. Campana
      Pages 112-126

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

      • Cyril Drocourt, Laurent Delahoche, Eric Brassart, Bruno Marhic, Arnaud Clérentin
      Pages 127-141

    3. Nonlinear Predictive Control Using Constraints Satisfaction

      • Fabien Lydoire, Philippe Poignet
      Pages 142-153

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

      • Alexandru Stancu, Vicenç Puig, Joseba Quevedo
      Pages 154-170

    5. Benchmarking on Approaches to Interval Observation Applied to Robust Fault Detection

      • Alexandru Stancu, Vicenç Puig, Pep Cugueró, Joseba Quevedo
      Pages 171-191

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Global Optimization and Constraint Satisfaction

Keywords

About this book

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem,eitherto?ndthebestsolution,ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization and Constraint S- isfaction, COCOS 2003, which took place during November 18–21, 2003 in L- sanne, Switzerland, was dedicated to theoretical, algorithmic, and application oriented advances in answering these questions. Here global optimization refers to ?nding the absolutely best feasible point, while constraint satisfaction refers to?ndingallpossiblefeasiblepoints.AsinCOCOS2002,the?rstsuchworkshop (see the proceeedings [1]), the emphasis was on complete solving techniques for problems involving continuous variables that provide all solutions with full rigor, and on applications which, however, were allowed to have relaxed standards of rigor. The participants used the opportunity to meet experts from global optimi- tion, mathematical programming, constraint programming, and applications, and to present and discuss ongoing work and new directions in the ?eld. Four invited lectures and 20 contributed talks were presented at the workshop. The invited lectures were given by John Hooker (Logic-Based Methods for Global Optimization), Jean-Pierre Merlet (Usual and Unusual Applications of Interval Analysis), Hermann Schichl (The COCONUT Optimization Environment), and Jorge Mor´ e (Global Optimization Computational Servers). This volume contains the text of Hooker’s invited lecture and of 12 c- tributed talks. Copies of the slides for most presentations canbe found at [2]. Constraintsatisfactionproblems.Threepapersfocusonalgorithmicaspects of constraint satisfaction problems.

Editors and Affiliations

  • LINA, FRE CNRS 2729 – University of Nantes, Nantes cedex 3, France

    Christophe Jermann

  • Institute for Mathematics, University Wien, Wien, Austria

    Arnold Neumaier

  • Artificial Intelligence Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland

    Djamila Sam

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation