Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation (Q368577)

The authors aim at computing guaranteed interval bounds on the solutions of nonlinear, semi-explicit, index-one differential-algebraic equations (DAEs). Their results are reported by two separated papers (for part I, cf. [the authors, ibid. 125, No. 1, 1--25 (2013; Zbl 1282.65095)]). This paper is the second one and provides computational contributions on two bounding approaches. These two methods are developed in details and applied to numerical examples. Actually, two case studies are presented to show that both methods produce sharp bounds very efficiently, but one of them appears consistently faster.