Szukana fraza: [Abstract = "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."]

Wyników: 1