Foundations and Trends® in Systems and Control > Vol 8 > Issue 4

Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security

João Carlos Basilio, Universidade Federal do Rio de Janeiro, Brazil, basilio@dee.ufrj.br , Christoforos N. Hadjicostis, University of Cyprus, Cyprus, chadjic@ucy.ac.cy , Rong Su, Nanyang Technological University, Singapore, rsu@ntu.edu.sg
 
Suggested Citation
João Carlos Basilio, Christoforos N. Hadjicostis and Rong Su (2021), "Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security", Foundations and Trends® in Systems and Control: Vol. 8: No. 4, pp 285-443. http://dx.doi.org/10.1561/2600000024

Publication Date: 17 Aug 2021
© 2021 João Carlos Basilio, Christoforos N. Hadjicostis and Rong Su
 
Subjects
Control of hybrid and discrete event systems,  Formal models and language models for IR,  Privacy-preserving systems,  Privacy,  Security,  Fault location and service restoration,  Cyber-physical systems security and privacy,  Distributed systems security and privacy,  Security and privacy policies,  Security architectures,  System security
 

Free Preview:

Download extract

Share

Download article
In this article:
1. Introduction and Motivation
2. Notation and Preliminaries
3. Fault Diagnosis and Safe Diagnosability
4. Opacity, Verification and Enforcement
5. Cyber Security in Discrete Event Systems
6. Conclusions
Acknowledgements
References

Abstract

System resilience captures the ability of the system to withstand a major disruption within acceptable performance degradation and to recover within an acceptable time frame. In this monograph we consider two possible sources of major disruptions, i.e., component faults and cyber intrusions. A component fault is an indigenous activity that renders unavailability or inaccessibility of certain functions within a component, either permanently or temporarily. It typically generates safety and performance concerns. Cyber intrusion on the other hand is an exogenous activity that tampers privacy, confidentiality, availability, or integrity of the system. These two sources are not always independent from each other. For example, a cyber intrusion may trigger a component fault, whereas a component fault may open a door for cyber intrusion, e.g., by keeping it undetected. For cyber intrusion, we will focus on opacity, which describes the system’s ability to hide certain secrets from an external observer (or eavesdropper), and sensor and actuator attacks that exploit the system’s existing controller to generate undesirable behaviours.

In this monograph, we provide a detailed account of most recent research outcomes on fault diagnosis, opacity analysis and enhancement, and cyber security analysis and enforcement, within suitable discrete event system modelling frameworks. In each case, we describe basic problem statements and key concepts, and then point out the key challenges in each research area. After that, we present a thorough review of state-of-the-art techniques, and discuss their advantages and disadvantages. Finally, we highlight key research directions for further exploration.

DOI:10.1561/2600000024
ISBN: 978-1-68083-856-5
173 pp. $99.00
Buy book (pb)
 
ISBN: 978-1-68083-857-2
173 pp. $140.00
Buy E-book (.pdf)
Table of contents:
1. Introduction and Motivation
2. Notation and Preliminaries
3. Fault Diagnosis and Safe Diagnosability
4. Opacity, Verification and Enforcement
5. Cyber Security in Discrete Event Systems
6. Conclusions
Acknowledgements
References

Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security

As modern systems become larger and the impact of a failure can be wide-ranging in some cases causing havoc to everyday life system reliance, the ability of a system to withstand major disruption and to recover within an acceptable time frame, becomes increasingly important. While systems failures can have many causes, component faults and cyber intrusions are two common such causes which can occur separately or one type can cause another failure of the other type.

In this monograph, the authors describe in detail the research on fault diagnosis, opacity analysis and enhancement, and cyber security analysis and enforcement, within suitable discrete event system modelling frameworks. In each case, they describe basic problem statements and key concepts, and then point out the key challenges in each research area. Finally the authors present a thorough review of state-of-the-art techniques, and discuss their advantages and disadvantages.

This monograph is a thorough overview of the cutting edge of research on resilient systems. It will be starting point for the readers own research into improving the reliability and fault-tolerance of modern-day engineering and computer systems.

 
SYS-024