Opened 9 months ago

Last modified 5 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 (31)

comment:1 Changed 9 months ago by chaider

  • Status changed from new to accepted

r17589 Added branch

comment:2 Changed 9 months ago by chaider

r17590

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

comment:3 Changed 9 months ago by chaider

r17591 Added Problems.DataAnalysis and Problems.DataAnalysis.Views

comment:4 Changed 9 months ago by chaider

r17607 Added classes/views to define constraints

comment:5 Changed 9 months ago by chaider

r17627

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

comment:6 Changed 9 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 8 months ago by chaider

r17637 Changed variable ranges to readonly at GetIntervals methods

comment:8 Changed 8 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 8 months ago by chaider

r17651 Persistence fixes

comment:10 Changed 7 months ago by dpiringe

r17723

  • added regions in IntervalConstraint
  • modified IntervalConstraintsParser to detect regions

comment:11 Changed 6 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 6 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 6 months ago by chaider

r17742 Added smart splitting method to interpreter

comment:14 Changed 6 months ago by gkronber

r17756: suggested refactoring / fix for splitting algorithm

comment:15 Changed 6 months ago by gkronber

r17757:17758: change sorting order for BoxBound

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

comment:16 Changed 6 months ago by chaider

r17760

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

comment:17 Changed 5 months ago by chaider

r17763 Added interface for bound estimators and added an IABoundEstimator

comment:18 Changed 5 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 5 months ago by dpiringe (previous) (diff)

comment:19 Changed 5 months ago by dpiringe

r17767

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

comment:20 Changed 5 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 5 months ago by chaider

r17773 Fixed error calculation in IABoundsEstimator

comment:22 Changed 4 months ago by gkronber

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

comment:23 Changed 3 months ago by chaider

r17790 Merged trunk into branch

comment:24 Changed 3 months ago by dpiringe

r17791

  • removed the weight multiplication in IntervalUtil -> should not be calculated in this method

comment:25 Changed 3 months ago by mkommend

r17793: Merged trunk changes into the branch.

comment:26 Changed 3 months ago by gkronber

r17798 merged r17797 from trunk to branch.

comment:27 Changed 3 months ago by gkronber

r17800: fixed bug in derivation of power function

comment:28 Changed 3 months ago by gkronber

r17802: merged r17801 from trunk to branch

comment:29 Changed 2 months ago by chaider

r17818 Allow comma as decimal seperator

comment:30 Changed 7 weeks ago by chaider

r17822 Fixed double parsing

comment:31 Changed 5 weeks ago by gkronber

r17827: merged r17811:17826 from trunk to branch

Note: See TracTickets for help on using tickets.