Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter.
Yang SongHaipeng FuHao YuGuoyong ShiPublished in: ASP-DAC (2013)
Keyphrases
- genetic algorithm
- model checking
- neural network
- state space
- missing data
- noisy data
- formal verification
- noise reduction
- signal to noise ratio
- noise model
- arbitrary shape
- median filter
- forward backward
- additive gaussian noise
- forward and backward
- forward search
- error detection
- bi directional
- image noise
- transitive closure
- additive noise
- noise level
- input data
- multiscale