A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.
Mohammed Bani YounisGeorg FreyPublished in: ETFA (2006)
Keyphrases
- detection method
- high accuracy
- high precision
- dynamic programming
- clustering method
- computationally efficient
- optimization method
- support vector machine svm
- significant improvement
- data sets
- evolutionary algorithm
- preprocessing
- support vector
- synthetic data
- segmentation method
- classification method
- image processing
- fully automatic
- neural network