Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms.
Abraham P. VinodBaisravan HomchaudhuriMeeko M. K. OishiPublished in: CoRR (2016)
Keyphrases
- linear systems
- fourier transform
- reachability analysis
- frequency domain
- markov decision processes
- model checking
- dynamical systems
- signal processing
- sufficient conditions
- radon transform
- timed automata
- incremental algorithms
- fourier domain
- coefficient matrix
- sparse linear systems
- spatial domain
- state space
- log polar
- discrete fourier transform
- fast fourier transform
- machine learning
- correlation function
- np hard
- feature selection