Universitą degli studi di Cagliari

Dipartimento di Ingegneria Elettrica ed Elettronica

 

 

Marco Pocci (pocci.marco@gmail.com)

Marco Pocci ha conseguito la Laurea Specialistica in Ingegneria Elettronica nel Luglio 2009 presso il Dipartimento di Ingegneria Elettrica ed Elettronica dell’Universitą degli Studi di Cagliari. Ha sviluppato la sua tesi di laurea specialistica presso il laboratorio di automatica del DIEE.

 

Relatori / Advisors:

     Prof. Alessandro Giua (DIEE-UNICA)

     Ing. Maria Paola Cabasino (DIEE-UNICA)

    

Un Toolbox per la diagnosticabilitą di reti posto/transizione

Sommario (in italiano)

La rilevazione automatica di guasti e la diagnosi si identificano in un'area di ricerca che ha avuto un discreto interesse nel corso degli ultimi anni nell'ambito dei Sistemi ad Eventi Discreti (SED). Nell'approccio alla diagnosi possono essere risolti due problemi: il problema della diagnosi ed il problema della diagnosticabilitą. In questa tesi viene, appunto, presentato un lavoro di ricerca sul problema di diagnosi e di diagnosticabilitą di guasti in sistemi modellabili con una particolare classe dei SED, le reti di Petri (RdP). Viene inquadrato il problema della diagnosi, congiuntamente a quello della diagnosticabilitą di guasto, in un contesto generale e presentata la trattazione degli stessi argomenti con le reti posto/transizione (P/T) nel particolare. Viene mostrata quale sia l'importanza di tali problemi e quali possano, dunque, essere i loro campi applicativi. Viene implementato un toolbox per MATLAB, comprendente un insieme di programmi, scritto per la risoluzione del problema per sistemi di dimensione significativa.

A Toolbox for place/transition net diagnosability

Abstract (english)

The automatic failure detection and diagnosis are identified in a research area that has received a lot of interest in the recent last years with respect to Discrete Event Systems (DES). In diagnosis approach two different problems can be solved: the problem of diagnosis and the problem of diagnosability. In this thesis is presented a research work on the problem of diagnosis and diagnosability of failures in systems modeled with a particular class of the DES, the Petri nets (PN). It is presented the problem of fault diagnosis and diagnosability in a general context and then with the place/transition net (P/T) in particular. It is shown what is the importance of these problems and which can be their application fields. It is presented a MATLAB toolbox, including a set of programs, written to solve the problem for systems of significant dimension.