Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms.
Abraham P. VinodBaisravan HomChaudhuriMeeko M. K. OishiPublished in: HSCC (2017)
Keyphrases
- linear systems
- fourier transform
- reachability analysis
- frequency domain
- dynamical systems
- sufficient conditions
- model checking
- markov decision processes
- signal processing
- timed automata
- coefficient matrix
- state space
- discrete fourier transform
- sparse linear systems
- radon transform
- incremental algorithms
- log polar
- fourier domain
- fast fourier transform
- genetic algorithm
- evolutionary algorithm
- video sequences
- reinforcement learning
- machine learning