加入收藏夹
联系我们
关于本站
个人主页
西电导航
西安电子科技大学
    当前位置:首页>>学术讲座
Decentralized fault diagnosis and codiagnosability analysis of discrete event systems using Petri nets
时间:2017-06-15 09:57    点击:   所属单位:机电工程学院
讲座名称 Decentralized fault diagnosis and codiagnosability analysis of discrete event systems using Petri nets
讲座时间 2017-06-19 14:30:00
讲座地点 北校区主楼III-143北 (第三会议室)
讲座人 Carla Seatzu
讲座人介绍 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 55th IEEE 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 2nd IFAC Conf. on the Analysis and Design of Hybrid Systems (ADHS’06), and member of the International Program Committee of over 60 international conferences.
讲座内容 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.
转载请注明出处:西安电子科技大学学术信息网
如果您有学术信息或学术动态,欢迎投稿。我们将在第一时间确认并收录,投稿邮箱: meeting@xidian.edu.cn
Copyright © 2011-2017 西安电子科技大学 
开发维护:电子工程学院网络信息中心  管理员:meeting@xidian.edu.cn 站长统计: