Semi-formal and Formal Models Applied to Flexible Manufacturing Systems.

Andrea Matta Carlo A. Furia Matteo Rossi

Published in: ISCIS (2004)

Keyphrases

formal models
flexible manufacturing systems
formal model
rule based systems
database
dynamic scheduling
computer vision
manufacturing systems
real time
artificial intelligence
image sequences
search algorithm
fuzzy logic
error rate
web services
image processing
social networks
neural network
data sets