Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
Bai XuePeter Nazier MosaadMartin FränzleMingshuai ChenYangjia LiNaijun ZhanPublished in: FORMATS (2017)
Keyphrases
- differential equations
- continuous functions
- difference equations
- numerical integration
- dynamical systems
- ordinary differential equations
- numerical solution
- boundary value problem
- transmission line
- control theory
- partial differential equations
- brownian motion
- numerical methods
- nonlinear differential equations
- image processing
- approximation algorithms
- multiresolution
- queueing networks
- convex sets
- least squares
- dynamic programming
- optimal control problems