Optimal Supervisory Control of Automated Manufacturing Systems (Hardcover)

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.

本專著介紹了在行為和結構上最佳的可行性強制Petri網監控器的最新發展，並提供了可計算的方法。它詳細介紹了自動化生產系統中出現的最佳監控問題，並概述了一種實現死結預防最佳性目標的方法，通過將各種問題轉換為整數線性規劃模型。本書每章末尾都附有參考文獻和完整的索引。