Automatic Verification of Stability and Safety for Delay Differential Equations.
Liang ZouMartin FränzleNaijun ZhanPeter Nazier MosaadPublished in: CAV (2) (2015)
Keyphrases
- differential equations
- dynamical systems
- ordinary differential equations
- numerical solution
- brownian motion
- numerical methods
- control theory
- feed forward artificial neural networks
- boundary value problem
- partial differential equations
- difference equations
- nonlinear differential equations
- runge kutta
- transmission line
- asymptotic stability
- pattern recognition
- neural network