Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers /

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,ortoobtaina...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Jermann, Christophe (Editor), Neumaier, Arnold (Editor), Sam, Djamila (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series:Lecture Notes in Computer Science, 3478
Subjects:
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Constraint Satisfaction
  • Efficient Pruning Technique Based on Linear Relaxations
  • Inter-block Backtracking: Exploiting the Structure in Continuous CSPs
  • Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums
  • Global Optimization
  • Convex Programming Methods for Global Optimization
  • A Method for Global Optimization of Large Systems of Quadratic Constraints
  • A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials
  • Using a Cooperative Solving Approach to Global Optimization Problems
  • Global Optimization of Convex Multiplicative Programs by Duality Theory
  • Applications
  • High-Fidelity Models in Global Optimization
  • Incremental Construction of the Robot’s Environmental Map Using Interval Analysis
  • Nonlinear Predictive Control Using Constraints Satisfaction
  • Gas Turbine Model-Based Robust Fault Detection Using a Forward – Backward Test
  • Benchmarking on Approaches to Interval Observation Applied to Robust Fault Detection.