Symbolic Analysis of Programmable Logic Controllers.

Hehua Zhang Yu Jiang William N. N. Hung Xiaoyu Song Ming Gu Jia-Guang Sun

Published in: IEEE Trans. Computers (2014)

Keyphrases

programmable logic
general purpose
neural network
machine learning
symbolic description
database
data sets
website
case study
image segmentation
image analysis
scheduling problem
quantitative analysis