论文目录 | |
ABSTRACT | 第1-7页 |
摘要 | 第7-11页 |
List of Symbols | 第11-13页 |
List of Abbreviations | 第13-16页 |
Chapter 1 Introduction | 第16-22页 |
1.1 Deadlock in Flexibly Manufacturing Systems | 第16-17页 |
1.2 Deadlock Control Based on Petri Net in FMSs | 第17-19页 |
1.3 Thesis Organization | 第19-22页 |
Chapter 2 Preliminaries | 第22-30页 |
2.1 Basics of Petri Nets | 第22-24页 |
2.2 Structural Analysis | 第24-26页 |
2.3 Reachability Analysis | 第26-28页 |
2.4 Control Place Synthesis Method by PI | 第28-29页 |
2.5 Conclusion | 第29-30页 |
Chapter 3 Synthesis of Liveness-Enforcing Supervisors Based on a TGAL Approachand Vector Covering | 第30-48页 |
3.1 Control Place Computation | 第30-34页 |
3.1.1 Optimal Control Place Synthesis | 第30-31页 |
3.1.2 Vetcor Covering Approach for Place Invariant Control | 第31-34页 |
3.2 TGAL and TGALW Approach | 第34-36页 |
3.3 Deadlock Prevention Policy | 第36-40页 |
3.4 Experimental Results | 第40-45页 |
3.5 Conclusion | 第45-48页 |
Chapter 4 Design of Maximally Permissive Liveness-Enforcing Supervisors Basedon TGAL Approach and Vector Covering | 第48-64页 |
4.1 Synthesis of M-related Super Succeed Markings | 第48-49页 |
4.2 Deadlock Prevention Policy | 第49-54页 |
4.3 Experimental Results | 第54-56页 |
4.4 Conclusion | 第56-64页 |
Chapter 5 Conclusion and Future Work | 第64-66页 |
References | 第66-72页 |
Acknowledgements | 第72-74页 |
Biography | 第74-75页 |