Numerical experiments and verifications of ZFD formula 4NgSFD for first-order derivative discretization and approximation.
Yunong ZhangHuan-Chang HuangYang ShiJian LiJianfeng WenPublished in: ICMLC (2016)
Keyphrases
- taylor series
- linear temporal logic
- systems of ordinary differential equations
- lagrange interpolation
- universally quantified
- first order logic
- numerical attributes
- horn clauses
- approximation methods
- approximation error
- numerical calculation
- numerical data
- error bounds
- sensitivity analysis
- higher order
- continuous attributes
- queueing networks
- discretization method
- error tolerance
- numerical methods