期刊名称：International Journal of Applied Mathematics and Computer Science
电子版ISSN：2083-8492
出版年度：2009
卷号：19
期号：3
DOI：10.2478/v10006-009-0032-4
出版社：De Gruyter Open
摘要：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 V AL E NC IA-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, V AL E NC IA-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 V AL E NC IA-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
关键词：ordinary differential equations; differential-algebraic equations; V AL E NC IA-IVP; verified simulation; inverse control problems
