Reachability Analysis for One Dimensional Linear Parabolic Equations.
Hoang-Dung TranWeiming XiangStanley BakTaylor T. JohnsonPublished in: ADHS (2018)
Keyphrases
- reachability analysis
- linear systems
- model checking
- markov decision processes
- multi dimensional
- angular velocity
- state space
- closed form solutions
- timed automata
- mathematical model
- differential equations
- set of linear equations
- data mining
- incremental algorithms
- finite difference
- square root
- hough transform
- artificial intelligence