Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations.
Shenghua FengMingshuai ChenNaijun ZhanMartin FränzleBai XuePublished in: CAV (1) (2019)
Keyphrases
- dynamical systems
- differential equations
- dynamic systems
- numerical solution
- qualitative simulation
- ordinary differential equations
- boundary value problem
- phase space
- numerical methods
- linear systems
- control theory
- nonlinear differential equations
- state space
- initial conditions
- difference equations
- nonlinear dynamical systems
- agent environment
- model checking
- computer vision
- machine learning
- dynamic programming