| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| List of Symbols | 第12-13页 |
| List of Abbreviations | 第13-16页 |
| Chapter1 Background and Motivation | 第16-24页 |
| 1.1 Supervisory Control Theory | 第17-18页 |
| 1.2 Automaton Learning Algorithm | 第18-20页 |
| 1.3 Integration of SCT and Learning Algorithms | 第20-21页 |
| 1.4 Organization and Contributions | 第21-24页 |
| 1.4.1 Organization | 第21页 |
| 1.4.2 Contributions | 第21-24页 |
| Chapter2 Preliminaries | 第24-32页 |
| 2.1 Automaton. | 第24-25页 |
| 2.2 Supervisory Control Theory | 第25-26页 |
| 2.3 Learning-based Testing and LBTest | 第26-27页 |
| 2.4 L*Learning Algorithm | 第27-32页 |
| 2.4.1 Brief Description about the L*Learning Algorithm | 第27-28页 |
| 2.4.2 A Small Example. | 第28-32页 |
| Chapter3 Supervisory Control without Formal Models of Requirements | 第32-64页 |
| 3.1 Supervisor Synthesis Approach | 第32-53页 |
| 3.1.1 The Proposed Learning Approach. | 第34-47页 |
| 3.1.2 Computing Supervisors Using SCT | 第47-48页 |
| 3.1.3 Simplifications of Requirement Membership Queries | 第48-49页 |
| 3.1.4 Illustrative Examples | 第49-53页 |
| 3.2 Experimental Studies | 第53-62页 |
| 3.2.1 A Manufacturing System Using AGVs | 第53-59页 |
| 3.2.2 Small Factory | 第59-62页 |
| 3.3 Conclusions and Discussion | 第62-64页 |
| Chapter4 Supervisory Control without Formal Models of Systems | 第64-88页 |
| 4.1 The Integration of LBT and SCT | 第64-78页 |
| 4.1.1 Integration Framework | 第65-74页 |
| 4.1.2 Example:A Simplified Cruise Controller | 第74-78页 |
| 4.2 Experimental Studies | 第78-86页 |
| 4.2.1 Testing Performing | 第79-82页 |
| 4.2.2 Supervisory Control of the System | 第82-84页 |
| 4.2.3 Confirmation of the Experiment Results by Simulation for the BBW | 第84-85页 |
| 4.2.4 Scalability Study. | 第85-86页 |
| 4.3 Conclusions and Discussion | 第86-88页 |
| Chapter5 Supervisory Control without Formal Models of Systems and Requirements | 第88-108页 |
| 5.1 Learning and Control Approach | 第88-97页 |
| 5.1.1 Testing the System. | 第89-90页 |
| 5.1.2 System Abstraction | 第90页 |
| 5.1.3 Learning Moore Automaton | 第90-96页 |
| 5.1.4 Computing Supervisors | 第96-97页 |
| 5.1.5 Supervisory Control of the System | 第97页 |
| 5.2 Experimental Studies | 第97-106页 |
| 5.2.1 BBW System | 第98-101页 |
| 5.2.2 Adaptive Cruise Control in A Platooning Program | 第101-106页 |
| 5.3 Conclusions | 第106-108页 |
| Chapter6 Conclusions and Future Works | 第108-110页 |
| 6.1 Conclusions | 第108-109页 |
| 6.2 Future Works | 第109-110页 |
| Reference | 第110-120页 |
| Acknowledgement | 第120-122页 |
| Biography | 第122-124页 |
