PLC programs' checking method and strategy based on module state transfer.
Litian XiaoMengyuan LiMing GuJiaguang SunPublished in: ICIA (2015)
Keyphrases
- preprocessing
- pairwise
- cost function
- search strategy
- clustering method
- hardware and software
- dynamic programming
- synthetic data
- selection strategy
- objective function
- optimization method
- fully automatic
- classification method
- detection algorithm
- optimization algorithm
- state space
- probabilistic model
- computational cost
- hidden markov models
- significant improvement