Introducing X-machine models to verify PLC ladder diagrams.

Colin Chambers Mike Holcombe Judith Barnard

Published in: Comput. Ind. (2001)

Keyphrases

probabilistic model
genetic algorithm
decision making
database systems
evolutionary algorithm
parameter estimation
complex systems
experimental data
search engine
information systems
prior knowledge
model selection
statistical models
neural network model
hardware and software
parametric models