Bracketing the solutions of an ordinary differential equation with uncertain initial conditions.
Applied Mathematics and Computation(2018)
摘要
In this paper, we present a new method for bracketing (i.e., characterizing from inside and from outside) all solutions of an ordinary differential equation in the case where the initial time is inside an interval and the initial state is inside a box. The principle of the approach is to cast the problem into bracketing the largest positive invariant set which is included inside a given set X. Although there exists an efficient algorithm to solve this problem when X is bounded, we need to adapt it to deal with cases where X is unbounded.
更多查看译文
关键词
Abstract interpretation, Dynamical systems, Infinity, Interval computation, ODE
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络