声明
ABSTRACT
摘要
List of Figures
List of Tables
List of Symbols
List of Abbreviation
Content
Chapter 1 Introduction
1.1 Study Object
1.2 State of the Art
1.3 Dissertation Organization
Chapter 2 Preliminaries
2.1 Net Condition/Event Systems
2.2 Timed Net Condition/Event Systems
2.3 Model Checking
Chapter 3 Possible Reconfigurations in NCESs
3.1 Motivation
3.2 Experimental Manufacturing Platform
3.3 Specification of Reconfigurable Control Systems
3.4 Reconfiguration of Net Condition/Event Systems
3.5 System Verification
3.6 Summary
Chapter 4 Reconfigurable Timed Net Condition Event Systems
4.1 Motivation
4.2 Experimental Manufacturing Platform
4.3 Control Components
4.4 R-TNCESs
4.4.1 Definition
4.4.2 Dynamics of R-TNCESs
4.4.3 Reconfiguration Implementation of R-TNCESs
4.5 Verification of R-TNCESs
4.5.1 Verification of the Initial TNCES
4.5.2 Verification of Other TNCESs
4.5.3 Verification of the Control Module
4.5.4 System Correctness
4.5.5 Discussion
4.6 Summary
Chapter 5 Coordination of R-TNCESs
5.1 Motivation
5.2 Reconfigurable Coordination of a DRDECS
5.2.1 Specification of a DRDECS
5.2.2 Reconfigurable Coordination of a DRDECS
5.3 Modeling of DRDECSs
5.3.1 Benchmark Production System
5.3.2 Formal Models
5.4 SESA based Verification of DRDECSs
5.5 Discussion
5.6 Summary
Chapter 6 Extended R-TNCESs
6.1 Motivation
6.2 Reconfigurable and Energy-efficient Manufacturing Systems
6.2.1 System Specification
6.2.2 Running Example
6.3 Extended R-TNCESs
6.3.1 Drawbacks of R-TNCESs
6.3.2 Extended R-TNCESs
6.4 Verification of Extended R-TNCESs
6.4.1 Implementation of Extended R-TNCESs
6.4.2 Formal Verification of AAS
6.5 Summary
Chapter 7 Conclusion
7.1 Contribution
7.2 Discussion and Future WorKs
7.2.1 Discussion
7.3 Future Work
Reference
Acknowledgement
Biography
西安电子科技大学;