OURS: Over- and Under-approximating Reachable Sets for analytic time-invariant differential equations.
Ruiqi HuZhikun ShePublished in: J. Syst. Archit. (2022)
Keyphrases
- differential equations
- dynamical systems
- ordinary differential equations
- brownian motion
- numerical solution
- difference equations
- numerical methods
- nonlinear differential equations
- boundary value problem
- machine learning
- image analysis
- neural network
- convex sets
- pattern recognition
- multiscale
- similarity measure
- genetic algorithm
- numerical integration