An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement.
Lei RaoShaoying LiuHan PengPublished in: IEEE Access (2022)
Keyphrases
- statistical model
- cost function
- objective function
- mathematical model
- optimization method
- modeling method
- classification method
- test data
- study proposes
- linear model
- evaluation method
- probabilistic model
- high accuracy
- hybrid model
- segmentation method
- recognition algorithm
- prediction model
- formal model
- prior information
- regression analysis
- markov model
- high order
- computational model
- similarity measure
- pairwise
- dynamic programming
- input data
- parameter estimation
- sensitivity analysis
- reconstruction method
- detection method
- hybrid method
- autoregressive
- prior knowledge
- significant improvement
- monte carlo simulation
- kalman filter
- bayesian framework
- theoretical analysis
- closed form
- gaussian distribution
- face recognition
- network model
- markov chain
- em algorithm
- linear regression
- artificial neural networks
- preprocessing
- optimization model
- energy function