题目：State/Event Estimation in Petri Net Models

报告人：Prof. Lingxi Li
Department of Electrical and Computer Engineering
Indiana University-Purdue University Indianapolis
USA

时间：7月8日星期三下午16:00
地点：玉泉校区控制学院智能系统与控制研究所（教18）223室

报告摘要：
Petri nets are used to model and analyze dynamical systems, such as manufacturing systems, transportation systems, and communication systems. As the size and complexity of these widespread systems increase due to higher integration and market penetration, it is important to develop efficient state and event estimation approaches for the purposes of monitoring and fault diagnosis. This talk will present several approaches for state/event estimation problems in Petri nets. The first part of this talk will focus on event sequence estimation in labeled Petri nets with/without unobservable transitions. We show that under certain conditions, we are able to develop an algorithm that can find the least-cost transition firing sequence with polynomial complexity. The second part of this talk will focus on minimum initial state estimation in labeled Petri nets where we develop an efficient algorithm and several heuristics to achieve this goal. The techniques introduced in this talk are useful for a variety of state/event estimation problems in many practical systems including, for example, planning sequence estimation and initial resource allocation in manufacturing systems.

报告人简介：
LingxiLireceived the B.E. degree in Automation from Tsinghua University, Beijing, China, in 2000; the M.S. degree in Control Theory and Control Engineering from Chinese Academy of Sciences, Beijing, China, in 2003; and the Ph.D. degree in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign, USA, in 2008. Since August 2008, he has been with Indiana University-Purdue University Indianapolis (IUPUI) where he is currently an Associate Professor in Electrical and Computer Engineering. His research interests include modeling, analysis, control, and optimization of complex systems; discrete-event and hybrid systems; intelligent transportation systems and intelligent vehicles; active safety systems; and human factors. Dr. Li has served as Program Chair of 2011 and 2013 IEEE International Conference on Vehicular Electronics and Safety, and has been serving as Associate Editor for IEEE Transactions on Intelligent Transportation Systems since 2009. Dr. Li received the honors of Remarkable Paper at ACM ICUIMC conference in 2011, Indiana University Trustees Teaching Award in 2012, Outstanding Editorial Service Award for IEEE Transactions on Intelligent Transportation Systems in 2012, and IUPUI Prestigious External Awards Recognition in 2013. Dr. Li is a Senior Member of the IEEE.