| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| List of Symbols | 第9-11页 |
| List of Abbreviations | 第11-14页 |
| Chapter 1 Introduction | 第14-20页 |
| 1.1 State Estimation | 第14-16页 |
| 1.2 Fault Diagnosis | 第16-18页 |
| 1.3 The Motivation of Our Work | 第18页 |
| 1.4 Thesis Organization | 第18-20页 |
| Chapter 2 Preliminaries | 第20-34页 |
| 2.1 Time Labeled Petri Nets | 第20-24页 |
| 2.2 Max-Plus Algebra | 第24-25页 |
| 2.3 Max-Plus Automata | 第25-31页 |
| 2.4 Sequence Projection in Max-Plus Automata | 第31-32页 |
| 2.5 Summary | 第32-34页 |
| Chapter 3 Offline and Online State Estimation for Max-Plus Automata | 第34-48页 |
| 3.1 State Estimation for TLPN in [21] | 第34-36页 |
| 3.2 Consistent States in Max-Plus Automata | 第36-38页 |
| 3.3 Offline State Estimation | 第38-43页 |
| 3.4 Computational Complexity of Offline State Estimation | 第43-44页 |
| 3.5 Online State Estimation | 第44-46页 |
| 3.6 Summary | 第46-48页 |
| Chapter 4 A Two-step Approach for Fault Diagnosis | 第48-58页 |
| 4.1 Transformation: from Event-based Framework to State-based Framework | 第48-54页 |
| 4.2 Diagnosis State with Respect to Fault Classes | 第54-55页 |
| 4.3 A Two-step Fault Diagnosis Approach | 第55-57页 |
| 4.4 Summary | 第57-58页 |
| Chapter 5 Conclusions and Future Work | 第58-60页 |
| References | 第60-64页 |
| Acknowledgements | 第64-66页 |
| Biography | 第66-67页 |
