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
comment:2 Changed 6 months ago by chaider
- 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
- Added interval grammar for fixed scaling
- Changed formatting
- Fixed typos
comment:6 Changed 5 months ago by chaider
- 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
- 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
- added regions in IntervalConstraint
- modified IntervalConstraintsParser to detect regions
comment:11 Changed 3 months ago by dpiringe
- 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
- 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
comment:16 Changed 2 months ago by chaider
- 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
- added new class Region and refactored the relevant code in IntervalConstraint and IntervalConstraintsParser
- added the .editorconfig file from trunk (to satisfy the coding guidelines)
comment:19 Changed 2 months ago by dpiringe
- fixed a bug which caused a NullPointerException
- added a storable constructor in Region
comment:20 Changed 2 months ago by chaider
- 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)
r17589 Added branch