Optimal Supervisory Control of Automated Manufacturing Systems

This monograph presents developments in the design of behaviorally and structurally optimal livenessen-forcing Petri net supervisors with computationally tractable approaches.

Chen, Yufeng; Li, Zhiwu

Introduction. Preliminaries. Symbolic Computation and Analysis of Petri Nets. Supervisor Design Based on the Theory of Regions. Maximally Permissive Supervisors. Most Permissive Supervisors. Structurally Minimal Supervisors. Behaviorally Optimal and Structurally Simple Supervisors. Forbidden State Problems. Conclusions and Open Problems.