PLC Modeling and Checking Based on Formal Method.

Yueshan Zheng Guiming Luo Junbo Sun Junjie Zhang Zhenfeng Wang

Published in: J. Softw. Eng. Appl. (2010)

Keyphrases

fully automatic
high precision
synthetic data
main contribution
modeling method
experimental evaluation
cost function
high accuracy
detection method
computational cost
probabilistic model
input data
learning algorithm
clustering method
segmentation method
pairwise
optimization method
computational complexity