Login / Signup
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.
Luca Ferrucci
Dino Mandrioli
Angelo Morzenti
Matteo Rossi
Published in:
FMICS (2012)
Keyphrases
</>
flexible manufacturing systems
data analysis
database
real time
real world
data mining
artificial intelligence
model checking
learning algorithm
website
clustering algorithm
quantitative analysis
real time control
dynamic scheduling