Guided Synthesis of Control Programs Using UPPAAL
SIDMAR Steel Production Plant
Steel Production Plant
Constraints
Difficulties and Problems
Modus Operandi
Overview of Plant Model
Load Automaton
Steel Recipe
Production Order
Crane A
Overview Plant Model
PPT Slide
General Strategies
Guided Plant Model
Guided Load Model
“Verification” Results
Experiment
LEGO Plant Components
LEGO Plant Model
Local Control Programs
Extracting Programs
Validation Results
Conclusion
Email: paupet@cs.auc.dk
Home Page: www.cs.auc.dk/~paupet/