| # Scheduling of Manufaturing Systems ## Summary
Modeling system represented as timed DES model.Time optimal schedule synthesized using compositional abstraction techniques. Different techniques allow less abstraction. Language projection of tick model can ensure optimality. Parallelism preserving abstraction of TDES allows heuristic synthesis of good enough schedules. Incremental scheduling of material based model allows scheduling of Low-Volume High-Mix systems. Each workpiece is scheduled in priority order. Higher priority work pieces are moving obstacles for low priority work pieces. ## References Ware, Simon and Su, Rong, “Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools.” IEEE Transactions on Automation Science and Engineering. Volume: 14, Issue: 2, pages: 772-784, April 2017. Ware, Simon and Su, Rong, “Progressive time optimal control of reactive systems.” Decision and Control (CDC), 2015 IEEE 54th Annual Conference: 3542-3547. Ware, Simon and Su, Rong, “Synthesis time optimal accepting traces using language projection and pruning.” Automation Science and Engineering (CASE), 2015 IEEE International Conference: 1363-1368. Fajun Yang, Naiqi Wu, Yan Qiao, Rong Su, Mengchu Zhou, “Modeling and Optimal Scheduling of Wafer- residency-time Constrained Cluster Tools via Petri Nets and Linear Programming”, IEEE Transactions on Systems, Man and Cybernetics: Systems. SMCA-17-03-0294. Fajun Yang, Naiqi Wu, Yan Qiao, Rong Su, “Polynomial Approach to Optimal One-wafer Cyclic Scheduling of Treelike Hybrid Multi-Cluster Tools via Petri Nets”, IEEE/CAA Journal of Automatica Sinica. JAS-2017-0083.R1. Fajun Yang, Naiqi Wu, Yan Qiao, Rong Su, Mengchu Zhou, “Petri Net-Based Efficient Determination of Optimal Schedule for Transport-dominant Single-Arm Multi-Cluster Tools”锛孖EEE Transactions on Industrial Informatics, TII-17-0953.