Formal modeling and synthesis of programmable logic controllers.

Rui Wang Xiaoyu Song Jianzhong Zhu Ming Gu

Published in: Comput. Ind. (2011)

Keyphrases

programmable logic
feature extraction
control system
dynamic programming
formal model
controller synthesis
artificial intelligence
image processing
bayesian networks
field programmable gate array
program synthesis