UMLogo
H O M E     N E W S     F A C U L T Y     S T U D E N T S     P U B L I C A T I O N S     T O O L B O X E S     C O U R S E S     L I N K S   [   L I B R A R Y   ]
 

Manufacturing

  • Manufacturing Systems: Centralized Supervisory Control
    • In this example, we investigate a manufacturing system consisting of two machines and a buffer. We will model the machines, model the behavior of the machines and buffer, and use synthesization of a control law to make sure that all desired specifications are met.
  • Manufacturing Systems: Multitasking Supervisory Control
    • In this example, we investigate a flexible manufacturing system consisting of eight devices connected through eight buffers. We will model the system and behavior specifications, and demonstrate how a multitasking supervisor can be synthesized to deal with diverse liveness and safety specifications.

    Back to Library
University of Michigan, Department of Electrical Engineering and Computer Science
1301 Beal Avenue, Ann Arbor, Michigan 48109-2122