Optimal Supervisory Control of Automated Manufacturing Systems

by Yufeng Chen, Zhiwu Li

Overview

This monograph presents the state-of-the-art developments in the design of behaviorally and structurally optimal livenessen-forcing Petri net supervisors with computationally tractable approaches. It details optimal supervisory control problems arising in automated production systems and outlines a methodology to achieve the optimality purposes of deadlock prevention via converting a variety of problems under consideration into integer linear programming models. The book includes a reference bibliography at the end of each chapter and a complete index.

Product Details

ISBN-13:	9781466577534
Publisher:	Taylor & Francis
Publication date:	01/23/2013
Pages:	204
Product dimensions:	6.30(w) x 9.20(h) x 0.80(d)

Table of Contents

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.