This paper studies the application of interval analysis and consistency techniques to ordinary differential equations. It presents a unifying framework to extend traditional numerical techniques to intervals. In particular, it shows how to extend explicit methods to intervals. The paper also took a fresh look at the traditional problems encountered by interval techniques and studied how consistency techniques may help. It proposes to generalize interval techniques into a two-step process: a forward process that computes an enclosure and a backward process that reduces this enclosure. In addition, the paper studies how consistency techniques may help in improving the forward process and the wrapping effect
This paper considers initial value problems for ordinary differential equations (ODEs), where some o...
The mathematical models of physical systems may be only approximations, because the characteristics ...
This work considers initial value problems (IVPs) for ordinary differential equations (ODEs) where s...
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODE...
AbstractWe give an overview on applications of interval arithmetic. Among others we discuss verifica...
The purpose of this communication is to give some discussion, supported by numerical results of inte...
Interval methods for ordinary differential equations (ODEs) provide guaranteed enclosures of the sol...
Interval analysis is an essential tool in the construction of validated numerical solutions of Init...
Many system types in engineering require mathematical models involv-ing non-differentiable or discon...
Numerical methods for solving initial value problems in ordinary differential equations are studied....
grantor: University of TorontoCompared to standard numerical methods for initial value pro...
grantor: University of TorontoCompared to standard numerical methods for initial value pro...
In many real-life applications of interval computations, the desired quantities appear (in a good ap...
Constraint programming is often associated with solving problems over finite domains. Many applicati...
The mathematical models of physical systems may be only approximations, because the characteristics ...
This paper considers initial value problems for ordinary differential equations (ODEs), where some o...
The mathematical models of physical systems may be only approximations, because the characteristics ...
This work considers initial value problems (IVPs) for ordinary differential equations (ODEs) where s...
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODE...
AbstractWe give an overview on applications of interval arithmetic. Among others we discuss verifica...
The purpose of this communication is to give some discussion, supported by numerical results of inte...
Interval methods for ordinary differential equations (ODEs) provide guaranteed enclosures of the sol...
Interval analysis is an essential tool in the construction of validated numerical solutions of Init...
Many system types in engineering require mathematical models involv-ing non-differentiable or discon...
Numerical methods for solving initial value problems in ordinary differential equations are studied....
grantor: University of TorontoCompared to standard numerical methods for initial value pro...
grantor: University of TorontoCompared to standard numerical methods for initial value pro...
In many real-life applications of interval computations, the desired quantities appear (in a good ap...
Constraint programming is often associated with solving problems over finite domains. Many applicati...
The mathematical models of physical systems may be only approximations, because the characteristics ...
This paper considers initial value problems for ordinary differential equations (ODEs), where some o...
The mathematical models of physical systems may be only approximations, because the characteristics ...
This work considers initial value problems (IVPs) for ordinary differential equations (ODEs) where s...