- Tytuł:
- A novel interval arithmetic approach for solving differential-algebraic equations with VALENCIA-IVP
- Autorzy:
-
Rauh, A.
Brill, M.
Günther, C. - Powiązania:
- https://bibliotekanauki.pl/articles/930113.pdf
- Data publikacji:
- 2009
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
równanie różniczkowe
symulacja sprawdzona
sterowanie odwrotne
ordinary differential equations
differential algebraic equations
VALENCIA-IVP
verified simulation
inverse control problems - Opis:
- 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.
- Źródło:
-
International Journal of Applied Mathematics and Computer Science; 2009, 19, 3; 381-397
1641-876X
2083-8492 - Pojawia się w:
- International Journal of Applied Mathematics and Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł