Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems.
Yong GuanJie ZhangZhiping ShiYi WangYongdong LiPublished in: J. Syst. Archit. (2020)
Keyphrases
- fourier transform
- cyber physical systems
- frequency domain
- cyber physical
- signal processing
- fourier domain
- cyber security
- physical world
- correlation function
- multiresolution
- fourier coefficients
- polar coordinates
- virtual environment
- denoising
- critical infrastructure
- discrete fourier transform
- fast fourier transform
- pattern recognition
- computer vision
- social networks
- neural network
- real time