This chapter presents the salient features of a general methodology for fault diagnosis in partially observed 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 the set of 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, that are constructed from the system model. The analysis of the diagnosability properties of the system is done off-line using verifier automata, 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.

Lafortune Stephane, Hill Rick, Paoli Andrea (2014). Fault diagnosis of manufacturing systems using finite state machines. Boca Raton : CRC PRess.

Fault diagnosis of manufacturing systems using finite state machines

PAOLI, ANDREA
2014

Abstract

This chapter presents the salient features of a general methodology for fault diagnosis in partially observed 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 the set of 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, that are constructed from the system model. The analysis of the diagnosability properties of the system is done off-line using verifier automata, 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.
2014
Formal Methods in Manufacturing
601
626
Lafortune Stephane, Hill Rick, Paoli Andrea (2014). Fault diagnosis of manufacturing systems using finite state machines. Boca Raton : CRC PRess.
Lafortune Stephane; Hill Rick; Paoli Andrea
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/531987
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact