Your location now is: Home > Lectures > Content

Decentralized fault diagnosis and codiagnosability analysis ofdiscrete event systems using Petri nets
Jun 19, 2017


Decentralized fault diagnosis and codiagnosability analysis of discrete event systems using Petri nets


2017-06-19 14:30:00


Main Buidling III-143(3rd Meeting Room)


Carla Seatzu

Lecturer Profile

Carla Seatzu received the Laurea degree in electrical engineering and her Ph.D. degree in electronic engineering and computer science from the University of Cagliari, Italy, in 1996 and 2000, respectively. In 2002 she joined the Department of Electrical and Electronic Engineering of the University of Cagliari as an assistant professor of Automatic Control. She currently serves as an associate professor of Automatic Control in the same Department. In 2013 she got the national Italian abilitation to full professor of Automatic Control.

She is vice-director of the PhD school in Electronic and Computer Engineering, University of Cagliari, and vice-president of the Faculty Committee of Engineering and Architecture of the University of Cagliari.

Dr. Seatzu’s research interests include discrete-event systems, hybrid systems, Petri nets, manufacturing systems, networked control systems, and control of mechanical systems. She has published 220+ publications, including one textbook and 60+ international journals. Her h-index in Scopus is 26.

She is associate editor of three international journals: IEEE Trans. on Automatic Control, IEEE Trans. on Automation, Science and Engineering, and Discrete Event Dynamic Systems, and Senior Editor of the IEEE Control Systems Letters. She has also been associate editor of Nonlinear Analysis: Hybrid Systems.

She is Co-Chair of the IEEE IES Technical Committee on Factory Automation - Subcommittee on Industrial Automated Systems and Control, and Vice-Chair of the IEEE CSS Technical Committee on Discrete Event and Hybrid Systems.

Dr. Seatzu has been Associate Editor of the Conference Editorial Board of the IEEE Control System Society and of the IEEE Robotics and Automation Society. She also served as: Workshop Chair of the 55thIEEE Int. Conf. on Decision and Control (2016), General Co-Chair of the 18th IEEE Int. Conf. on Emerging Technology and Factory Automation (ETFA2013), Chair of the National Organizing Committee of the 2ndIFAC Conf. on the Analysis and Design of Hybrid Systems (ADHS’06), and member of the International Program Committee of over 60 international conferences.

Lecture Abstract

In this talk we focus on the problem of decentralized diagnosis of discrete event systems modelled by labeled Petri nets. The considered decentralized architecture is composed by a set of sites communicating their diagnosis information to a coordinator that is responsible of detecting the occurrence of failures in the system. Three protocols are defined and their properties investigated. Such protocols differ for the amount of information exchanged with the coordinator.

We then focus on the problem of codiagnosability analysis for bounded labeled Petri nets. In simple words, a labeled Petri net system is codiagnosable with respect to a certain fault class if, once a fault in that class has occurred, there exists at least one site that detects it within a finite delay. A necessary and sufficient condition for codiagnosability is the absence of sequences that are “ambiguous” with respect to all sites and whose length may grow indefinitely after the occurrence of some fault. The novelties of the approach presented in this talk consists in using the notion of basis markings to avoid exhaustive enumeration of the set of reachable markings, and in the construction of an automaton, called Verifier, which allows one to detect the presence of ambiguous sequences.

Previous:Edge Computing: Vision and Challenges
Next:(October 15)Hybrid Material and Device Platforms for Reconfigurable Integrated Nanophotonics

South Campus

Add: 266 Xinglong Section of Xifeng Road, Xi’an, Shaanxi 710126
Tel: 86-29-81891818

North Campus

Add: No. 2 South Taibai Road, Xi’an, Shaanxi 710071
Tel: 86-29-88202212