Formal Methods in Manufacturing

21	Fault Diagnosis of Manufacturing Systems Using Finite State Automata Stéphane Lafortune, Richard Hill and Andrea Paoli

CONTENTS

21.1 Introduction

21.2 Modelling

21.2.1 Language Preliminaries

21.2.2 Automata

21.2.3 Parallel Composition of Automata

21.2.4 Projection and Inverse Projection

21.2.5 Observable and Unobservable Events

21.3 Analysis of Automata with Unobservable Events

21.3.1 Observer Automata

21.4 Online Diagnosis

21.4.1 Diagnoser Automata

21.5 Diagnosability Analysis

21.5.1 Verifier Automata

21.6 Illustrative Example

21.7 Discussion

21.7.1 Cooperative Diagnosis

21.7.2 Sensor Selection for Diagnosability

21.8 Conclusion

References

21.1 INTRODUCTION

This chapter presents the salient features of a general methodology for fault ...