TCDES Tutorial

State Estimation and Event Inference in DES: Implications to Detectability, Diagnosability and Opacity

Christoforos Hadjicostis

Date & Time

Thu, January 21, 2021

Abstract

We discuss recursive algorithms for state estimation and event inference, both of which are key tasks for monitoring and control of discrete event systems. In particular, we discuss algorithms for current-, initial-, and delayed-state estimation. We also discuss implications to various pertinent properties of interest, such as 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 state lies within a set of certain secret/critical states). The talk also briefly discusses the extension of state estimation and event inference methodologies in emerging decentralized/distributed observation settings.

Presenter

Christoforos Hadjicostis

University of Cyprus

Cyprus

Christoforos Hadjicostis

Biography

Christoforos Hadjicostis received S.B. degrees in Electrical Engineering, in Computer Science and Engineering, and in Mathematics, the M.Eng. degree in Electrical Engineering and Computer Science in 1995, and the Ph.D. degree in Electrical Engineering and Computer Science in 1999, all from the Massachusetts Institute of Technology, Cambridge, MA. In August 1999 he joined the Faculty at the University of Illinois at Urbana-Champaign (UIUC) where he reached the rank of Associate Professor with the Department of Electrical and Computer Engineering, Research Associate Professor with the Coordinated Science Laboratory, and Research Associate Professor with the Information Trust Institute. In 2007, Dr. Hadjicostis joined the Department of Electrical and Computer Engineering at the University of Cyprus, where he served as Chair of the ECE Department from 2008 to 2010, and as Dean of Engineering from 2014 to 2017. He currently serves as Interim Director of the FOSS Research Center for Sustainable Energy at the University of Cyprus.

Dr. Hadjicostis teaches and conducts research in the areas of systems and control, communication, and digital signal processing. His current research focuses on fault diagnosis and tolerance in distributed dynamic systems; error control coding; distributed algorithms for monitoring, diagnosis and control; discrete event systems; and applications to power distribution networks, network security, anomaly detection, medical diagnosis, and biosequencing. Dr. Hadjicostis serves as Editor in Chief for the Journal of Discrete Event Dynamic Systems and as Associate Editor for Automatica. He has also served as Associate Editor for IEEE Transactions on Automatic Control, IEEE Transactions on Automation Science and Engineering, IEEE Transactions on Circuits and Systems I (Regular Papers), IEEE Transactions on Control Systems Technology, the Journal of Nonlinear Analysis: Hybrid Systems, and the Journal of Discrete Event Dynamic Systems, and as Editor on the Conference Editorial Board of the IEEE Control Systems Society. At the University of Illinois, Dr. Hadjicostis received the Faculty Early Development (CAREER) award from the National Science Foundation in February 2001, the ECE Faculty Outstanding Teaching Award in 2003, and the Willett Faculty Scholar recognition from the College of Engineering in 2005; at the University of Cyprus, he received a 2008 Marie Curie International Reintegration Fellowship from the European Commission. As a graduate student at MIT, he served as president of the MIT Chapter of HKN, received the Harold L. Hazen Teaching Award and the Ernst A. Guillemin Thesis Prize, and received fellowships from the National Semiconductor Corporation and the Grass Instrument Company. Dr. Hadjicostis is a member of Eta Kappa Nu and Sigma Xi, and a Fellow of the IEEE.

Affiliation(s)

University of Cyprus

Cyprus

Date & Time

Thu, January 21, 2021

View Schedule