IMPORTANT NOTICE: We are putting the finishing touches to this new version of the repository; please bear with us! If you have any questions, please contact eprints.lincoln.ac.uk.

Fault diagnosis of manufacturing systems using finite state automata

Lafortune, Stefane and Hill, Richard and Paoli, Andrea (2014) Fault diagnosis of manufacturing systems using finite state automata. In: Formal methods in manufacturing. Industrial Information Technology . Taylor & Francis. ISBN 9781466561557

Documents
19814 CHAPTER_22.pdf

Request a copy
[img] PDF
19814 CHAPTER_22.pdf - Whole Document
Restricted to Repository staff only

301kB
Item Type:Book Section
Item Status:Live Archive

Abstract

.This chapter presents the salient features of a general methodology for fault diagnosis in partiallyobserved
finite-state automata and its application to automated manufacturing systems. The system of
interest is modeled as a set of interacting automata coupled by common events. The total event set
comprises observable and unobservable events, reflecting those events that can, or cannot, be perceived
by the sensors attached to the manufacturing system. Fault events are inherently unobservable and the
diagnostic task is to infer their occurrence from the sequences of observable events and the system model.
On-line diagnosis is performed using diagnoser automata, which are constructed from the system model
either off-line or on-the-fly. The analysis of the diagnosability properties of the system is done off-line
using verifier automata, which are also constructed from the system model. The algorithms presented
are illustrated with relevant examples. The chapter concludes with a discussion of sensor selection for
diagnosability and of cooperative diagnosis for systems with decentralized information.

Keywords:Fault diagnosis
Subjects:H Engineering > H710 Manufacturing Systems Engineering
Divisions:College of Science > School of Engineering
ID Code:19814
Deposited On:15 Dec 2015 16:52

Repository Staff Only: item control page