Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta.
Julien Alexandre Dit SandrettoJian WanPublished in: RP (2018)
Keyphrases
- runge kutta
- reachability analysis
- ordinary differential equations
- differential equations
- markov decision processes
- numerical methods
- model checking
- dynamic systems
- timed automata
- boundary value problem
- incremental algorithms
- numerical solution
- mathematical models
- partial differential equations
- biological systems
- algebraic geometry
- gene regulatory networks
- reinforcement learning
- high order
- dynamical systems
- mathematical model
- state space