| ABSTRACT | 第5-6页 |
| 摘要 | 第7-12页 |
| List of Symbols | 第12-13页 |
| List of Abbreviation | 第13-17页 |
| Chapter 1 Introduction | 第17-27页 |
| 1.1 Study Object | 第17-21页 |
| 1.2 State of the Art | 第21-24页 |
| 1.3 Dissertation Organization | 第24-27页 |
| Chapter 2 Preliminaries | 第27-35页 |
| 2.1 Net Condition/Event Systems | 第27-29页 |
| 2.2 Timed Net Condition/Event Systems | 第29-31页 |
| 2.3 Model Checking | 第31-35页 |
| Chapter 3 Possible Reconfigurations in NCESs | 第35-47页 |
| 3.1 Motivation | 第35-36页 |
| 3.2 Experimental Manufacturing Platform | 第36-38页 |
| 3.3 Specification of Reconfigurable Control Systems | 第38-41页 |
| 3.4 Reconfiguration of Net Condition/Event Systems | 第41-43页 |
| 3.5 System Verification | 第43-45页 |
| 3.6 Summary | 第45-47页 |
| Chapter 4 Reconfigurable Timed Net Condition Event Systems | 第47-77页 |
| 4.1 Motivation | 第47-49页 |
| 4.2 Experimental Manufacturing Platform | 第49-52页 |
| 4.3 Control Components | 第52-55页 |
| 4.4 R-TNCESs | 第55-64页 |
| 4.4.1 Definition | 第56-59页 |
| 4.4.2 Dynamics of R-TNCESs | 第59-62页 |
| 4.4.3 Reconfiguration Implementation of R-TNCESs | 第62-64页 |
| 4.5 Verification of R-TNCESs | 第64-75页 |
| 4.5.1 Verification of the Initial TNCES | 第65-69页 |
| 4.5.2 verificanon or Other INCESs | 第69-71页 |
| 4.5.3 Verification of the Control Module | 第71-72页 |
| 4.5.4 System Correctness | 第72-74页 |
| 4.5.5 Discussion | 第74-75页 |
| 4.6 Summary | 第75-77页 |
| Chapter 5 Coordination of R-TNCESs | 第77-93页 |
| 5.1 Motivation | 第77-78页 |
| 5.2 Reconfigurable Coordination of a DRDECS | 第78-83页 |
| 5.2.1 Specification of a DRDECS | 第79-80页 |
| 5.2.2 Reconfigurable Coordination of a DRDECS | 第80-83页 |
| 5.3 Modeling of DRDECSs | 第83-88页 |
| 5.3.1 Benchmark Production System | 第84页 |
| 5.3.2 Formal Models | 第84-88页 |
| 5.4 SESA based Verification of DRDECSs | 第88-90页 |
| 5.5 Discussion | 第90-92页 |
| 5.6 Summmary | 第92-93页 |
| Chapter 6 Extended R-TNCESs | 第93-113页 |
| 6.1 Motivation | 第93-94页 |
| 6.2 Reconfigurable and Energy-efficient Manufacturing Systems | 第94-98页 |
| 6.2.1 System Specification | 第95-96页 |
| 6.2.2 Running Example | 第96-98页 |
| 6.3 Extended R-TNCESs | 第98-106页 |
| 6.3.1 Drawbacks of R-TNCESs | 第98-102页 |
| 6.3.2 Extended R-TNCESs | 第102-106页 |
| 6.4 Verification of Extended R-TNCESs | 第106-111页 |
| 6.4.1 Implementation of Extended R-TNCESs | 第107-109页 |
| 6.4.2 Formal Verification of AAS | 第109-111页 |
| 6.5 Summary | 第111-113页 |
| Chapter 7 Conclusion | 第113-117页 |
| 7.1 Contribution | 第113-115页 |
| 7.2 Discussion and Future Works | 第115-116页 |
| 7.2.1 Discussion | 第115-116页 |
| 7.3 Future Work | 第116-117页 |
| Reference | 第117-125页 |
| Acknowledgement | 第125-127页 |
| Biography | 第127-128页 |
