<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>The theoretical background and the implementation of a new interval arithmetic approach for solving sets of differential-algebraic equations (DAEs) are presented. The proposed approach computes guaranteed enclosures of all reachable states of dynamical systems described by sets of DAEs with uncertainties in both initial conditions and system parameters. The algorithm is based on ValEncIA-IVP, which has been developed recently for the computation of verified enclosures of the solution sets of initial value problems for ordinary differential equations. For the application to DAEs, ValEncIA-IVP has been extended by an interval Newton technique to solve nonlinear algebraic equations in a guaranteed way. In addition to verified simulation of initial value problems for DAE systems, the developed approach is applicable to the verified solution of the so-called inverse control problems. In this case, guaranteed enclosures for valid input signals of dynamical systems are determined such that their corresponding outputs are consistent with prescribed time-dependent functions. Simulation results demonstrating the potential of ValEncIA-IVP for solving DAEs in technical applications conclude this paper. The selected application scenarios point out relations to other existing verified simulation techniques for dynamical systems as well as directions for future research.</p></abstract>

The theoretical background and the implementation of a new interval arithmetic approach for solving sets of differential-algebraic equations (DAEs) are presented. The proposed approach computes guaranteed enclosures of all reachable states of dynamical systems described by sets of DAEs with uncertainties in both initial conditions and system parameters. The algorithm is based on ValEncIA-IVP, which has been developed recently for the computation of verified enclosures of the solution sets of initial value problems for ordinary differential equations. For the application to DAEs, ValEncIA-IVP has been extended by an interval Newton technique to solve nonlinear algebraic equations in a guaranteed way. In addition to verified simulation of initial value problems for DAE systems, the developed approach is applicable to the verified solution of the so-called inverse control problems. In this case, guaranteed enclosures for valid input signals of dynamical systems are determined such that their corresponding outputs are consistent with prescribed time-dependent functions. Simulation results demonstrating the potential of ValEncIA-IVP for solving DAEs in technical applications conclude this paper. The selected application scenarios point out relations to other existing verified simulation techniques for dynamical systems as well as directions for future research.

A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

Chair of Mechatronics, University of Rostock, D-18059 Rostock, Germany

Institute of Measurement, Control, and Microtechnology, University of Ulm, D-89069 Ulm, Germany

International Journal of Applied Mathematics and Computer Science

The theoretical background and the implementation of a new interval arithmetic approach for solving sets of differential-algebraic equations (DAEs) are...

A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

Published Online: Sep 24, 2009

Page range: 381 - 397

DOI: https://doi.org/10.2478/v10006-009-0032-4

Keywords
ordinary differential equations, differential-algebraic equations, ValEncIA-IVP, verified simulation, inverse control problems

This content is open access.

A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

Published Online: Sep 24, 2009

Page range: 381 - 397

DOI: https://doi.org/10.2478/v10006-009-0032-4

Keywordsordinary differential equations, differential-algebraic equations, ValEncIA-IVP, verified simulation, inverse control problems

This content is open access.

Keywords
ordinary differential equations, differential-algebraic equations, ValEncIA-IVP, verified simulation, inverse control problems