Technical Reports - Query ResultsYour query term was 'number = 93-19'
1 report found
- OFAI-TR-93-19 ( 36kB g-zipped PostScript file)
Interval Arithmetic with CLPR
- Igor Mozetic, Christian Holzbaur
- We describe two extensions of CLPR, motivated by an application to model-based diagnosis of active analog filters. The first extension addresses the problem of rounding errors in CLPR. We represent Reals with floating-point intervals which are computed by outward rounding. The second extension increases the expressiveness of linear CLPR. Constants in linear expressions can now be intervals, which enables reasoning with imprecise model parameters (tolerances). Bounds (sup and inf) for individual variables are computed by the linear optimization via modified Simplex. Both extensions are implemented in a CLP shell --- an adaptation of SICStus Prolog, which allows for easy and fast developments and modifications of CLP languages.