Home Topics Speakers Organizers Contact

Presentation slides are now available below

password:

Analysis and Control for Resilience of Discrete Event Systems

A Workshop for CDC'21

Organizers: Rong Su
Time/Date: 13:00 - 17:00 (UTC), Dec 11 and Dec 12, 2021
Location: Virtual Online

60th IEEE Control Decision Conference in Austin, Texas, USA, December 13-15, 2021

Abstract: Resilience has emerged as a property of major interest for the design and analysis of a complex system. It describes the system ability to continue providing its designed services or functions, even after disruptive changes in the system, caused either by faults, or other naturally occurring phenomena, or by malicious actions. Resilience has been enjoying a spotlight in many different fields, including the Discrete Event Systems (DES) community. This workshop aims to report recent research achievements related to resilience of DES and to identify relevant challenges. It will focus on two main themes: cyber security and information confidentiality, which include synthesis of attack strategies, analysis and control enforcement of opacity, and privacy-preserving control for requirement satisfaction, and resilient state estimation and fault diagnosis under attacks, which discuss latest state estimation and fault diagnosis methods for discrete-event systems that are affected by malicious attacks on observation channels.

Organizers

Avatar

Assoc Prof Rong Su, School of Electrical and Electronic Engineering, Nanyang Technological University, 50 Nanyang Avenue, Singapore 639798, Email: rsu@ntu.edu.sg


This workshop is technically co-sponsored by the Discrete Event Systems Technical Committee, the Smart Cities Technical Committee in IEEE Control Systems Society, Control Systems Chapter, Singapore and IEEE Robotics and Automation Society Technical Committee on Automation in Logistics.

Topics

Topic 1: Cybersecurity and Information Confidentiality

Topic 2: State Estimation and Fault Diagnosis under Attacks

Speakers

New York
Alessandro Giua

Department of Electrical and Electronic Engineering, University of Cagliari

State Estimation of Partially Observed Discrete Event System under Attack

New York
Joao Carlos Basilio

Department of Electrical Engineering, Universidade Federal do Rio de Janeiro

Fault Diagnosis of Discrete-event Cyber-Physical Systems in the Presence of Denial-of-Service and Deception Attacks

New York
Christoforos Hadjicostis

Department of Electrical and Computer Engineering, University of Cyprus

Tamper-Tolerant State Estimation and Fault Diagnosis in Discrete Event Systems

New York
Stephane Lafortune

University of Michigan, Ann Arbor

Modeling, Analysis, and Synthesis of Attacks on Communication Protocols using Supervisory Control Theory: Two Case Studies

New York
Rong Su

Nanyang Technological University

Privacy-Preserving Supervisory Control of Discrete-Event Systems for Opacity Enforcement and Requirement Satisfaction

New York
Xiang Yin

Shanghai Jiao Tong University

Verification and Control of Opacity for Large-Scale Cyber-Physical Systems

Workshop Goals

  1. Report and showcase several recent technical progresses related to resiience of discrete event systems.

  2. Identify challenges ahead which, although hindering the current research efforts, are critical for developing resilient discrete event systems, in order to arouse more interests and efforts at a broader societal level to ensure R&D sustainability.

Intended Audience

In this workshop we intend to achieve two goals: (1) to report and showcase several recent technical progresses related to resilience of discrete event systems, and (2) to identify challenges ahead which, although hindering the current research efforts, are critical for developing resilient discrete event systems, in order to arouse more interests and efforts at a broader societal level to ensure R&D sustainability.

Part 1 of Workshop: 13:00 - 17:00 (UTC), December 11, 2021 (Saturday)

Presentation Title Speaker Time Slot
Opening Speech Rong Su,
Nanyang Technological University
13:00 - 13:02
Modeling, Analysis, and Synthesis of Attacks on Communication Protocols using Supervisory Control Theory: Two Case Studies Stephane Lafortune
University of Michigan, Ann Arbor
13:02 - 14:00
State Estimation of Partially Observed Discrete Event System under Attack Alessandro Giua,
University of Cagliari
14:00 - 15:00
Tea Break -
15:00 - 15:30
Privacy-Preserving Supervisory Control of Discrete-Event Systems for Opacity Enforcement and Requirement Satisfaction Rong Su,
Nanyang Technological University
15:30 - 16:30
Round-table discussion -
16:30 - 17:00

Part 2 of Workshop: 13:00 - 17:00 (UTC), December 12, 2021 (Sunday)

Presentation Title Speaker Time Slot
Opening Speech Rong Su,
Nanyang Technological University
13:00 - 13:02
Verification and Control of Opacity for Large-Scale Cyber-Physical Systems Xiang Yin,
Shanghai Jiao Tong University
13:02 - 14:00
Tamper-Tolerant State Estimation and Fault Diagnosis in Discrete Event Systems Christoforos Hadjicostis,
University of Cyprus
14:00 - 15:00
Tea Break -
15:00 - 15:30
Fault Diagnosis of Discrete-event Cyber-Physical Systems in the Presence of Denial-of-Service and Deception Attacks Joao Carlos Basilio,
Universidade Federal do Rio de Janeiro
15:30 - 16:30
Round-table discussion -
16:30 - 17:00
x

Bio: Xiang Yin

Xiang Yin was born in Anhui, China, in 1991. He received the B.Eng degree from Zhejiang University in 2012, the M.S. degree from the University of Michigan, Ann Arbor, in 2013, and the Ph.D degree from the University of Michigan, Ann Arbor, in 2017, all in electrical engineering. Since 2017, he has been with the Department of Automation, Shanghai Jiao Tong University, where he is an Associate Professor. His research interests include formal methods, discrete-event systems and cyber-physical systems. Dr. Yin is serving as the co-chair of the IEEE CSS Technical Committee on Discrete Event Systems, an Associate Editor for the Journal of Discrete Event Dynamic Systems: Theory & Applications, and a member of the IEEE CSS Conference Editorial Board. Dr. Yin received the IEEE Conference on Decision and Control (CDC) Best Student Paper Award Finalistin 2016.

x

Bio: Joao Carlos Basilio

Joao Carlos Basilio received his bachelor degree in Electrical Engineering in 1986 from the Federal University of Juiz de Fora and master and PhD degrees, both in Control Systems, in 1989 and 1995, respectively, at the Military Engineering Institute, Rio de Janeiro, and at the University Oxford, Oxford, England. He began his career as Assistant Professor in the Department of Electrical Engineering of the Federal University of Rio de Janeiro in 1990, becoming Assistant Professor in 1996 and Associate Professor in 2006. He is currently Full Professor of the Polytechnic School of UFRJ. He was coordinator of the Control and Automation Engineering Course of the Polytechnic School / UFRJ in the 2005-2006 biennium, coordinator of the Graduate Program in Electrical Engineering of COPPE / UFRJ from January 2008 to February 2009, head of the Department of Electrical Engineering of the Polytechnic School from May 2012 to February 2014 and Director of the Polytechnic School of UFRJ from February 2014 to February 2018. He completed postdoctoral training at the University of Michigan from September 2007 to December of 2008 and was Guest Visiting Professor of the cole Centrale de Lille, University of Lille, France during the months of September 2016 and November 2018. His main interests are: fault diagnosis, opacity and supervisory control of systems to discrete events. Prof. Basilio was awarded in 1981 with the Correia Lima medal.

x

Bio: Christoforos Hadjicostis

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. 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 network security, anomaly detection, medical diagnosis, and biosequencing. Dr. Hadjicostis serves as Departmental Editor of the Journal of Discrete Event Dynamic Systems and as Associate Editor for IEEE Transactions on Automatic Control, Automatica, IEEE Transactions on Automation Science and Engineering, and the Journal of Nonlinear Analysis: Hybrid Systems; he has also served as Associate Editor for the IEEE Transactions on Circuits and Systems I (Regular Papers), the IEEE Transactions on Control Systems Technology, 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 senior member of the IEEE.

x

Bio: Stephane Lafortune

Stephane Lafortune received the B.Eng degree from cole Polytechnique de Montral in 1980, the M.Eng degree from McGill University in 1982, and the Ph.D degree from the University of California at Berkeley in 1986, all in electrical engineering. Since September 1986, he has been with the University of Michigan, Ann Arbor, where he is a Professor of Electrical Engineering and Computer Science. In March 2018, he was appointed as the N. Harris McClamroch Collegiate Professor of Electrical Engineering and Computer Science. Lafortune is a Fellow of the IEEE (1999) and of IFAC (2017). He received the Presidential Young Investigator Award from the National Science Foundation in 1990 and the Axelby Outstanding Paper Award from the Control Systems Society of the IEEE in 1994 (for a paper co-authored with S.-L. Chung and F. Lin) and in 2001 (for a paper co-authored with G. Barrett). Lafortune's research interests are in discrete event systems and include multiple problem domains: modeling, diagnosis, control, optimization, and applications to computer and software systems. He is the lead developer of the software package UMDES and co-developer of DESUMA with L. Ricker. He co-authored, with C. Cassandras, the textbook Introduction to Discrete Event Systems (Second Edition, Springer, 2008). Lafortune is Editor-in-Chief of the Journal of Discrete Event Dynamic Systems: Theory and Applications.

x

Bio: Rong Su

Rong Su obtained his Bachelor of Engineering degree from University of Science and Technology of China in 1997, and Master of Applied Science degree and PhD degree from University of Toronto, in 2000 and 2004, respectively. He was aliated with University of Waterloo and Technical University of Eindhoven before he joined Nanyang Technological University in 2010. Currently, he is an associate professor in the School of Electrical and Electronic Engineering. Dr. Su's research interests include multi-agent systems, discrete-event system theory, resilient supervisory control, model-based fault diagnosis, operation planning and scheduling with applications in flexible manufacturing, intelligent transportation, human-robot interface, power management and green building. In the aforementioned areas he has more than 220 journal and conference publications, 1 monograph, and 6 granted/filed USA/Singapore patents. Dr. Su is a senior member of IEEE, and an associate editor for Automatica, Journal of Discrete Event Dynamic Systems: Theory and Applications, and Journal of Control and Decision. He was the chair of the Technical Committee on Smart Cities in the IEEE Control Systems Society in 2016-2019, and is currently a co-chair of the Technical Committee on Automation in Logistics in the IEEE Robotic and Automation Society, and the chair of IEEE Control Systems Chapter, Singapore.

x

Bio: Alessandro Giua

Alessandro Giua is professor of Automatic Control at the Department of Electrical and Electronic Engineering (DIEE) of the University of Cagliari, Italy. He has also held academic and visiting positions in several institutions worldwide, including Xidian University (China) and Aix-Marseille University (France). He received a Ph.D. degree in computer and systems engineering from Rensselaer Polytechnic Institute, Troy, NY, USA in 1992. His research interests include discrete event systems, hybrid systems, networked control systems, Petri nets and failure diagnosis. On these topics he has published extensively, given several talks and managed international and national research projects. He is currently the Editor in Chief of the IFAC journal Nonlinear Analysis: Hybrid Systems and a Senior Editor of the IEEE Trans. on Automatic Control. He is serving as Vice President for Conference Activities of the IEEE Control Systems Society (2000-21). He is a Fellow of the Institute of Electrical and Electronics Engineers and a Fellow of the International Federation of Automatic Control for contributions to discrete event and hybrid systems. He received in 2017 the People's Republic of China Friendship Award.

CONTACT

Avatar

Assoc Prof Rong Su, School of Electrical and Electronic Engineering, Nanyang Technological University, 50 Nanyang Avenue, Singapore 639798, Email: rsu@ntu.edu.sg