加入收藏夹
联系我们
关于本站
个人主页
西电导航
西安电子科技大学
    当前位置:首页>>学术讲座
State Estimation and Event Inference in Discrete Event Systems: Applications to Detectability, Fault Diagnosis, and Opacity Verification in Nondeterministic Finite Automata
时间:2018-05-08 16:38    点击:   所属单位:机电工程学院
讲座名称 State Estimation and Event Inference in Discrete Event Systems: Applications to Detectability, Fault Diagnosis, and Opacity Verification in Nondeterministic Finite Automata
讲座时间 2018-05-10 16:40:00
讲座地点 北校区阶梯教室J-401
讲座人 国家千人计划专家Christoforos Hadjicostis 教授
讲座人介绍 Biography: Christoforos Hadjicostis is Professor of Electrical and Computer Engineering at the University of Cyprus. He received S.B. degrees in Electrical Engineering, Computer Science and Engineering, and Mathematics, the M.Eng. degree in Electrical Engineering and Computer Science, and the Ph.D. degree in Electrical Engineering and Computer Science, all from the Massachusetts Institute of Technology, Cambridge, MA. From 1999 to 2007, he was Assistant and then Associate Professor with the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. Since 2007, he has been with the University of Cyprus, where he has served as Chair of the Department of Electrical and Computer Engineering and Dean of Engineering. His research focuses on fault diagnosis and tolerance in distributed dynamic systems; error control coding; monitoring, diagnosis and control of large-scale discrete event systems; and related applications in automated transportation and manufacturing systems, distributed robotics, anomaly detection and network security.
讲座内容 Abstract: We consider Discrete Event Systems (DES) that can be modeled as nondeterministic finite automata, and discuss recursive algorithms for state estimation and event inference, both of which are key tasks for monitoring and control of such systems. We also discuss the verification of three properties of interest, namely detectability (i.e., the ability to determine the exact system state after a finite number of events), diagnosability (i.e., the ability to detect within finite time the occurrence/type of a fault), and opacity (i.e., the guarantee that outsiders will never be able to infer that the system lies within a set of certain secret/critical states). We will also briefly discuss the extension of these methodologies in emerging decentralized/distributed observation settings, where there may exist multiple interacting systems and multiple monitors, with diverse (and possibly unreliable) observation and communication capabilities.
转载请注明出处:西安电子科技大学学术信息网
如果您有学术信息或学术动态,欢迎投稿。我们将在第一时间确认并收录,投稿邮箱: meeting@xidian.edu.cn
Copyright © 2011-2018 西安电子科技大学 
开发维护:电子工程学院网络信息中心  管理员:meeting@xidian.edu.cn 站长统计: