Open JulienCalbert opened 1 year ago
@JulienCalbert Isn't it the purpose of any derivation scheme such as Runge Kutta or explicit Euler?
Runge Kutta and Euler only give you an approximation. Here, you need a guaranteed outer bound (as provided by https://github.com/dionysos-dev/Dionysos.jl/issues/302).
Some solvers work with discrete-time systems, others with continuous-time systems. We should make a function that converts a continuous-time system into a discrete-time system automatically.