声明
List of Figures
List of Tables
List of Symbols
List of Abbreviations
Chapter 1 Introduction
1.1 Control Problems of DRDES
1.2 State of the Art
1.3 Thesis Organization
Chapter 2 Preliminary
2.1 NCES
2.2 Formal Language and Generator
2.3 Invariant-Based Control Synthesis of Petri Net with Uncontrollable Transitions
Chapter 3 Shortest Path Control of DRDES Based on NCESs
3.1 Dynamic Reconfigurable Discrete Event System
3.2 SLFS Computation of DRDES
3.3 Virtual Guiding Controller Design of DRDES
3.4 Example
3.5 Conclusion
Chapter 4 Consistency Control of DRDES Based on NCES
4.1 Consistency Control Problems of DRDES
4.2 Consistency Control Policy
4.3 Example for Consistency Control
4.4 Consistency Control with Uncontrollable Transition
4.5 Conclusion
Chapter 5 Conclusion and Future Work
参考文献
致谢
Biography
西安电子科技大学;
