| ABSTRACT | 第5-6页 |
| 摘要 | 第7-10页 |
| List of Symbols | 第10-12页 |
| List of Abbreviations | 第12-15页 |
| Chapter 1 Introduction | 第15-19页 |
| 1.1 Background | 第15-16页 |
| 1.2 Robust Deadlock Controllers for AMSs | 第16-17页 |
| 1.3 Thesis Organization | 第17-19页 |
| Chapter 2 Preliminaries | 第19-29页 |
| 2.1 Basics of Petri nets | 第19-21页 |
| 2.2 GS~3PR | 第21-24页 |
| 2.3 AMS with Unreliable Resources | 第24-28页 |
| 2.3.1 Motivation | 第24-26页 |
| 2.3.2 Unreliable GS~3PR | 第26-28页 |
| 2.4 Conclusion | 第28-29页 |
| Chapter 3 Robust Deadlock Control Based on Max-Controllability of Siphons | 第29-51页 |
| 3.1 Deadlock Prevention Strategy for GS~3PR Based on Max-Controllability of Siphons | 第29-32页 |
| 3.2 Robustness Liveness Analysis of a UGS~3PR | 第32-37页 |
| 3.2.1 The UGS~3PR with a Type of Unreliable Resource | 第32-35页 |
| 3.2.2 A UGS~3PR with Multiple Types of Unreliable Resources | 第35-37页 |
| 3.3 A Robust Deadlock Control Policy for an AMS with Unreliable Resources | 第37-43页 |
| 3.4 Examples | 第43-49页 |
| 3.5 Conclusion | 第49-51页 |
| Chapter 4 Robust Deadlock Control Based on Elementary Siphons Theory and Max'-Controllability of Siphons | 第51-73页 |
| 4.1 Combine Elementary Siphons Theory and Max'-Controllability of Siphonsto Control GS~3PR | 第51-56页 |
| 4.2 Robustness Analysis of UGS~3PR | 第56-59页 |
| 4.3 Robust Control for UGS~3PR Based on Max'-Controllability of Siphons and Elementary Siphons Theory | 第59-66页 |
| 4.4 Examples | 第66-72页 |
| 4.5 Conclusion | 第72-73页 |
| Chapter 5 Conclusions and Future Work | 第73-75页 |
| References | 第75-81页 |
| Acknowledgements | 第81-83页 |
| Biography | 第83-84页 |
