A Modular Formal Model for Pallet Transportation System in Machining Centres Automation.

Adamo Castelnuovo Luca Ferrarini

Published in: CDC/ECC (2005)

Keyphrases

formal model
transportation systems
transportation problem
formal models
modular structure
high speed
security patterns
process planning
security properties
predicate calculus
transportation costs
modular neural networks
probabilistic knowledge