A Formal Method for Safety Time Series Simulation of Aerospace.
Ti ZhouJinying WangYi MiaoPublished in: ICAIS (1) (2020)
Keyphrases
- high accuracy
- detection method
- mathematical model
- neural network
- computationally efficient
- probabilistic model
- preprocessing
- computational complexity
- objective function
- cost function
- fully automatic
- optimization method
- computational cost
- synthetic data
- support vector machine
- similarity measure
- optimization algorithm
- evaluation method
- data sets
- autoregressive
- support vector machine svm
- particle filter
- markov random field
- classification accuracy
- experimental evaluation
- dynamic programming
- multiscale
- bayesian networks
- clustering algorithm