Opened 6 months ago

Last modified 4 weeks ago

#3073 accepted enhancement

Constraints and Splitting for Interval Arithmetic

Reported by: chaider Owned by: chaider
Priority: medium Milestone: HeuristicLab 3.3.17
Component: Problems.DataAnalysis Version: branch
Keywords: Cc:

Description

Extend the current interval arithmetic

  • Add shape constraints to define constraints over the model and its partial derivatives
  • Add splitting for intervals to reduce the overestimation of boundaries

Change History (22)

comment:1 Changed 6 months ago by chaider

  • Status changed from new to accepted

r17589 Added branch

comment:2 Changed 6 months ago by chaider

r17590

  • Added DataAnalysis.Symbolic (Corrected path)
  • Changed includes/paths
  • Added solution

comment:3 Changed 6 months ago by chaider

r17591 Added Problems.DataAnalysis and Problems.DataAnalysis.Views

comment:4 Changed 5 months ago by chaider

r17607 Added classes/views to define constraints

comment:5 Changed 5 months ago by chaider

r17627

  • Added interval grammar for fixed scaling
  • Changed formatting
  • Fixed typos

comment:6 Changed 5 months ago by chaider

r17631

  • Added splitting parameter in IntervalInterpreter
  • Added methods for spitting in Interval class
  • Fixed some typos and other minor changes

comment:7 Changed 5 months ago by chaider

r17637 Changed variable ranges to readonly at GetIntervals methods

comment:8 Changed 5 months ago by chaider

r17650

  • Added HyperbolicTangent as known symbol to IntervalInterpreter and DerivativeCalculator
  • Removed Cube- and Cuberoot-Symbol from IntervalArithmeticGrammar and set Power- and Root-Symbol to disabled
  • Added HyperbolicTangent as known symbol to IntervalInterpreter and DerivativeCalculator
  • Removed Cube- and Cuberoot-Symbol from IntervalArithmeticGrammar and set Power- and Root-Symbol to disabled

comment:9 Changed 5 months ago by chaider

r17651 Persistence fixes

comment:10 Changed 4 months ago by dpiringe

r17723

  • added regions in IntervalConstraint
  • modified IntervalConstraintsParser to detect regions

comment:11 Changed 3 months ago by dpiringe

r17728

  • added a weight property for constraints (to have a weight multiplier for errors) in IntervalConstraint
  • modified IntervalConstraintsParser to detect weights

comment:12 Changed 3 months ago by dpiringe

r17736

  • added a check in Interval/IntervalConstraintsParser to throw an exception for multiple variables with the same key

comment:13 Changed 3 months ago by chaider

r17742 Added smart splitting method to interpreter

comment:14 Changed 2 months ago by gkronber

r17756: suggested refactoring / fix for splitting algorithm

comment:15 Changed 2 months ago by gkronber

r17757:17758: change sorting order for BoxBound

Last edited 2 months ago by gkronber (previous) (diff)

comment:16 Changed 2 months ago by chaider

r17760

  • Split only variables occuring more than once in the model
  • Fixed returning interval from splitting method

comment:17 Changed 2 months ago by chaider

r17763 Added interface for bound estimators and added an IABoundEstimator

comment:18 Changed 2 months ago by dpiringe

r17765

  • added new class Region and refactored the relevant code in IntervalConstraint and IntervalConstraintsParser
  • added the .editorconfig file from trunk (to satisfy the coding guidelines)
Last edited 2 months ago by dpiringe (previous) (diff)

comment:19 Changed 2 months ago by dpiringe

r17767

  • fixed a bug which caused a NullPointerException
  • added a storable constructor in Region
Last edited 2 months ago by dpiringe (previous) (diff)

comment:20 Changed 2 months ago by chaider

r17768

  • Removed Region class and used IntervallCollection instead
  • Changed Parser to work with IntervalColletions
  • Moved CheckConstraint methods from Analyzer to IntervalUtil class
  • Added CheckConstraint method to interface to check if an interval is in a given constraint
  • Added possibility to stop splitting as soon as a constraint is fulfiled

comment:21 Changed 8 weeks ago by chaider

r17773 Fixed error calculation in IABoundsEstimator

comment:22 Changed 4 weeks ago by gkronber

r17780: added (limited) support for power symbol (only for integer exponents)

Note: See TracTickets for help on using tickets.