Towards a Property Preserving Transformation from IEC 61131-3 to BIP

Jan Olaf Blech Anton Hattendorf Jia Huang

Published in: CoRR (2010)

Keyphrases

interactive evolutionary computation
control system
neural network
information technology
database
artificial intelligence
case study
image sequences
bayesian networks
data structure
search algorithm
genetic algorithm
color images
data mining
desirable properties
transformation rules
monotonicity property