| ABSTRACT(Chinese) | 第5-7页 |
| ABSTRACT | 第7-9页 |
| ABBREVIATION | 第16-20页 |
| 1 Introduction | 第20-30页 |
| 1.1 Traditional Power Transmission Systems | 第20-21页 |
| 1.2 Smart Grids | 第21-23页 |
| 1.3 Distributed Control Systems | 第23-28页 |
| 1.4 Thesis Organization | 第28-30页 |
| 2 Preliminaries | 第30-42页 |
| 2.1 Introduction | 第30页 |
| 2.2 Petri Nets | 第30-37页 |
| 2.3 Coloured Petri Nets | 第37-42页 |
| 3 Traditional Power Transmission Systems | 第42-58页 |
| 3.1 Introduction | 第42页 |
| 3.2 Traditional Power Transmission Systems | 第42-51页 |
| 3.2.1 The Formalization of Traditional Power Transmission Systems | 第43-46页 |
| 3.2.2 The Electric Substation Relations | 第46-48页 |
| 3.2.3 The Parameters of Electric Substations | 第48-49页 |
| 3.2.4 Faults in Traditional Power Transmission Systems | 第49-51页 |
| 3.3 Semi-intelligent Power Transmission Systems | 第51-57页 |
| 3.3.1 Solutions | 第51-53页 |
| 3.3.2 Semi-intelligent Power Transmission Systems | 第53-55页 |
| 3.3.3 Solution Classification | 第55-57页 |
| 3.4 Summary | 第57-58页 |
| 4 Hierarchical Distributed Control Systems | 第58-76页 |
| 4.1 Introduction | 第58-59页 |
| 4.2 The Structure of Supervisors | 第59-60页 |
| 4.3 Hierarchical Distributed Control Systems for Fault Diagnosis | 第60-72页 |
| 4.3.1 Hierarchical Distributed Control Systems | 第61-65页 |
| 4.3.2 Communication Rules | 第65-68页 |
| 4.3.3 Complexity Analysis | 第68-70页 |
| 4.3.4 Intelligent Power Transmission Systems | 第70-72页 |
| 4.3.5 Fault Diagnosis | 第72页 |
| 4.4 Large Area Blackout Avoidance | 第72-74页 |
| 4.5 Summary | 第74-76页 |
| 5 Supervisory Control Protocols | 第76-104页 |
| 5.1 Introduction | 第76页 |
| 5.2 Supervisory Control Protocol with Solution Optimization | 第76-87页 |
| 5.2.1 Preliminaries | 第79-80页 |
| 5.2.2 Supervisory Control Protocol | 第80-86页 |
| 5.2.3 Discussion | 第86-87页 |
| 5.3 Supervisory Control Protocol with Message Optimization | 第87-102页 |
| 5.3.1 Preliminaries | 第87-89页 |
| 5.3.2 Supervisory Control Protocol | 第89-98页 |
| 5.3.3 Discussion | 第98-102页 |
| 5.4 Summary | 第102-104页 |
| 6 Simulation and Verification | 第104-128页 |
| 6.1 Introduction | 第104-105页 |
| 6.2 Simulation and Verification by Using Coloured Petri Nets | 第105-113页 |
| 6.2.1 Models based on Coloured Petri Nets | 第105-106页 |
| 6.2.2 Verification | 第106-113页 |
| 6.3 Simulation and Verification by Using Timed Automata | 第113-127页 |
| 6.3.1 Introduction for Timed Automata | 第113-117页 |
| 6.3.2 The Timed Automaton Model of Supervisors | 第117-122页 |
| 6.3.3 Verification | 第122-127页 |
| 6.4 Summary | 第127-128页 |
| 7 Conclusions and Future Research | 第128-132页 |
| 7.1 Contributions | 第128-129页 |
| 7.2 Future Work | 第129-132页 |
| References | 第132-142页 |
| Acknowledgements | 第142-144页 |
| About the Author | 第144-145页 |
