A numerical verification method for a periodic solution of a delay differential equation.
Teruya MinamotoMitsuhiro T. NakaoPublished in: J. Comput. Appl. Math. (2010)
Keyphrases
- differential equations
- numerical methods
- verification method
- nonlinear differential equations
- boundary value problem
- dynamical systems
- runge kutta
- numerical integration
- numerical solution
- model checking
- ordinary differential equations
- temporal logic
- sensitivity analysis
- partial differential equations
- feed forward artificial neural networks
- optimal solution
- initial conditions
- continuous functions
- computer vision
- dynamic programming
- genetic algorithm