Analysis and Control for Resilience of Discrete Event Systems
Analysis and Control for Resilience of Discrete Event Systems

Author: João Carlos Basilio

Publisher:

Published: 2021-08-17

Total Pages: 174

ISBN-13: 9781680838565

DOWNLOAD EBOOK

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.

H-Systems
H-Systems

Author: Elena De Santis

Publisher: Springer Nature

Published: 2023-05-08

Total Pages: 305

ISBN-13: 3031204476

DOWNLOAD EBOOK

This book focuses on the observability of hybrid systems. It enables the reader to determine whether and how a hybrid system’s state can be reconstructed from sometimes necessarily partial information. By explaining how available measurements can be used to deduce past and future behaviours of a system, the authors extend this study of observability to embrace the properties of diagnosability and predictability. H-systems shows how continuous and discrete dynamics and their interaction affect the observability of this general class of hybrid systems and demonstrates that hybrid characteristics are not simply generalizations of well-known aspects of traditional dynamics. The authors identify conditions for state reconstruction, prediction and diagnosis of the occurrence of possibly faulty states. The formal approach to proving those properties for hybrid systems is accompanied by simple illustrative examples. For readers who are interested in the use of state estimation for controller design, the book also provides design methods for hybrid state observers and covers their application in some industrial cases. The book’s tutorial approach to the various forms of observability of hybrid systems helps to make H-systems of interest to academic researchers and graduate students working in control and to practitioners using control in an industrial environment.

Cybersecurity of Discrete Event Systems
Cybersecurity of Discrete Event Systems

Author: Rong Su

Publisher: CRC Press

Published: 2024-09-05

Total Pages: 220

ISBN-13: 1040031366

DOWNLOAD EBOOK

This book describes analysis and control against smart cyberattacks in discrete event systems (DES). This is the first technical DES book to provide a thorough introduction to smart cyberattacks on supervisory control systems modelled by regular languages or finite-state automata and possible resilient defence methods against smart cyberattacks. "Smart attacks" cannot be detected by the supervisor until an irreversible process toward ensured damage occurs. An attack may be conducted either in the observation channel (i.e., the supervisor’s input of the supervisor) or in the command channel (i.e., the supervisor’s output) or both simultaneously. Therefore, defence strategies against these attacks are urgently needed. Rong Su provides a comprehensive overview of the latest theories and includes empirical examples to illustrate concepts and methods. By centering on what information is available and how such information is used, the readers are provided with methods to evaluate the cyber vulnerability of a given system and design a resilient supervisor against relevant smart attacks. This book comprises two sections. Firstly, Su introduces the required concepts and techniques related to DES and supervisory control. Then he introduces different types of smart attacks that intercept and manipulate information in sensor and command channels in a standard closed-loop control system. Secondly, he presents resilient defence strategies against relevant types of attacks. By focusing on a conceptual introduction and systematic analysis, this book provides a solid theoretical foundation for future exploration by researchers and graduate students who are interested in cybersecurity research, not necessarily limited to those in the DES community. To illustrate the practical relevance of this research, realistic examples are used throughout this book. Readers are recommended to have a background in formal language theory.

Recent Developments on Industrial Control Systems Resilience
Recent Developments on Industrial Control Systems Resilience

Author: Emil Pricop

Publisher: Springer Nature

Published: 2019-10-05

Total Pages: 342

ISBN-13: 303031328X

DOWNLOAD EBOOK

This book provides profound insights into industrial control system resilience, exploring fundamental and advanced topics and including practical examples and scenarios to support the theoretical approaches. It examines issues related to the safe operation of control systems, risk analysis and assessment, use of attack graphs to evaluate the resiliency of control systems, preventive maintenance, and malware detection and analysis. The book also discusses sensor networks and Internet of Things devices. Moreover, it covers timely responses to malicious attacks and hazardous situations, helping readers select the best approaches to handle such unwanted situations. The book is essential reading for engineers, researchers, and specialists addressing security and safety issues related to the implementation of modern industrial control systems. It is also a valuable resource for students interested in this area.

Resilience of Cyber-Physical Systems
Resilience of Cyber-Physical Systems

Author: Francesco Flammini

Publisher: Springer

Published: 2019-01-25

Total Pages: 237

ISBN-13: 3319955977

DOWNLOAD EBOOK

This book addresses the latest approaches to holistic Cyber-Physical System (CPS) resilience in real-world industrial applications. Ensuring the resilience of CPSs requires cross-discipline analysis and involves many challenges and open issues, including how to address evolving cyber-security threats. The book describes emerging paradigms and techniques from two main viewpoints: CPSs’ exposure to new threats, and CPSs’ potential to counteract them. Further, the chapters address topics ranging from risk modeling to threat management and mitigation. The book offers a clearly structured, highly accessible resource for a diverse readership, including graduate students, researchers and industry practitioners who are interested in evaluating and ensuring the resilience of CPSs in both the development and assessment stages.

Introduction to Supply Chain Resilience
Introduction to Supply Chain Resilience

Author: Dmitry Ivanov

Publisher: Springer Nature

Published: 2021-04-30

Total Pages: 162

ISBN-13: 3030704904

DOWNLOAD EBOOK

This book offers a concise yet comprehensive introduction to supply chain resilience, covering management, modeling and technology perspectives. Designed to accompany the textbook “Global Supply Chain and Operations Management” it addresses the topics of supply chain risks and resilience in more depth, describing the major features of supply chain resilience and explaining methodologies to mitigate supply chain disruptions and recover. Numerous practical examples and short case studies are provided to illustrate theoretical concepts. Without relying heavily on mathematical derivations, the book explains major concepts and methods to build and improve supply chain resilience and tackle supply chain disruption risks in a simple, uniform format to make it easy to understand for students and professionals with both management and engineering backgrounds. Graduate/PhD students and supply chain professionals alike will benefit from the structured, didactically oriented and concise presentation of the concepts, principles and methods of supply chain resilience management, modeling, and technological implementation.

15th European Workshop on Advanced Control and Diagnosis (ACD 2019)
15th European Workshop on Advanced Control and Diagnosis (ACD 2019)

Author: Elena Zattoni

Publisher: Springer Nature

Published: 2022-06-13

Total Pages: 1441

ISBN-13: 3030853187

DOWNLOAD EBOOK

This book, published in two volumes, embodies the proceedings of the 15th European Workshop on Advanced Control and Diagnosis (ACD 2019) held in Bologna, Italy, in November 2019. It features contributed and invited papers from academics and professionals specializing in an important aspect of control and automation. The book discusses current theoretical research developments and open problems and illustrates practical applications and industrial priorities. With a focus on both theory and applications, it spans a wide variety of up-to-date topics in the field of systems and control, including robust control, adaptive control, fault-tolerant control, control reconfiguration, and model-based diagnosis of linear, nonlinear and hybrid systems. As the subject coverage has expanded to include cyber-physical production systems, industrial internet of things and sustainability issues, some contributions are of an interdisciplinary nature, involving ICT disciplines and environmental sciences. This book is a valuable reference for both academics and professionals in the area of systems and control, with a focus on advanced control, automation, fault diagnosis and condition monitoring.

Lifeline Engineering Systems
Lifeline Engineering Systems

Author: Jie Li

Publisher: Springer Nature

Published: 2020-12-19

Total Pages: 216

ISBN-13: 9811591016

DOWNLOAD EBOOK

This book, for the first time, introduces comprehensively all main topics of lifeline earthquake engineering, including the structure analysis, network evaluation, and network design. The distinctive features involved in this book are the construction of theories and methods for stochastic analysis of structures based the physical idea, probability analytical algorithms for network evaluation by employing Boolean Algebra, functional evaluation of water distribution networks using hydraulic analysis, and network design methods by employing genetic, simulated annealing, and hybrid algorithms.

Blockchain-Enabled Resilience
Blockchain-Enabled Resilience

Author: Polinpapilinho F. Katina

Publisher: CRC Press

Published: 2023-03-17

Total Pages: 143

ISBN-13: 1000836487

DOWNLOAD EBOOK

This book provides a first-of-its-kind approach for using blockchain to enhance resilience in disaster supply chain and logistics management, especially when dealing with dynamic communication, relief operations, prioritization, coordination, and distribution of scarce resources — these are elements of volatility, uncertainty, complexity, and ambiguity (VUCA) describing a dynamic environment that now form the "new norm" for many leaders. Blockchain-Enabled Resilience: An Integrated Approach for Disaster Supply Chain and Logistics Management analyzes the application of blockchain technology used to enable resilience in a disaster supply chain network. It discusses IoT and DVFS algorithms for developing a network-based simulation and presents advancements in disaster supply chain strategies using smart contacts for collaborations. The book covers how success is based on collaboration, coordination, sovereignty, and equality in distributing resources and offers a theoretical analysis that reveals that enhancing resilience can improve collaboration and communication and can result in more time-efficient processing for disaster supply management. The book offers a first-of-its-kind approach for managers and policy-makers as well as researchers interested in using blockchain to enhance resilience in disaster supply chains, especially when dealing with dynamic communication, relief operations, prioritization, coordination, and distribution of scarce resources. Practical guidance is provided for managers interested in implementation. A robust research agenda is also provided for those interested in expanding present research.