Control software for manufacturing plants

1
Control software for manufacturing
plants Principal Investigator Ugo Buy---Support
NIST
Problem Statement and Motivation

• Control programs are hard to write and maintain
• Flexible manufacturing demands rapid
  reconfiguration
• Possibility of deadlock, mutex violations,
  deadline violations

Technical Approach
Key Achievements and Future Goals

• Avoid verification complexity with supervisory
  control
• Petri nets vs. finite state automata
• Synthesis of deadline-enforcing supervisors using
  net unfolding
• Compositional methods (e.g., hierarchical control)

• System for enforcing deadlines on transition
  firing in time Petri nets
• Framework for compositional control
• Integration of methods for enforcing mutual
  exclusion and freedom from deadlock
• Generation of target code