Estimation and Inference in Discrete Event Systems
Title | Estimation and Inference in Discrete Event Systems PDF eBook |
Author | Christoforos N. Hadjicostis |
Publisher | Springer Nature |
Pages | 357 |
Release | 2019-10-02 |
Genre | Technology & Engineering |
ISBN | 3030308219 |
Estimation and Inference in Discrete Event Systems chooses a popular model for emerging automation systems—finite automata under partial observation—and focuses on a comprehensive study of the key problems of state estimation and event inference. The text includes treatment of current, delayed, and initial state estimation. Related applications for assessing and enforcing resiliency—fault detection and diagnosis—and security—privacy and opacity—properties are discussed, enabling the reader to apply these techniques in a variety of emerging applications, among them automated manufacturing processes, intelligent vehicle/highway systems, and autonomous vehicles. The book provides a systematic development of recursive algorithms for state estimation and event inference. The author also deals with the verification of pertinent properties such as: the ability to determine the exact state of a system, “detectability”; the ability to ensure that certain classes of faults can be detected/identified, “diagnosability”; and the ability to ensure that certain internal state variables of the system remain “hidden” from the outside world regardless of the type of activity that is taking place, “opacity”. This book allows students, researchers and practicing engineers alike to grasp basic aspects of state estimation in discrete event systems, aspects like distributivity and probabilistic inference, quickly and without having to master the entire breadth of models that are available in the literature.
Introduction to Discrete Event Systems
Title | Introduction to Discrete Event Systems PDF eBook |
Author | Christos G. Cassandras |
Publisher | Springer Nature |
Pages | 821 |
Release | 2021-11-11 |
Genre | Computers |
ISBN | 3030722740 |
This unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques. Topics and features: detailed treatment of automata and language theory in the context of discrete event systems, including application to state estimation and diagnosis comprehensive coverage of centralized and decentralized supervisory control of partially-observed systems timed models, including timed automata and hybrid automata stochastic models for discrete event systems and controlled Markov chains discrete event simulation an introduction to stochastic hybrid systems sensitivity analysis and optimization of discrete event and hybrid systems new in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software tools This proven textbook is essential to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, transportation networks, operations research, and industrial engineering. Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering, and Professor of Electrical and Computer Engineering at Boston University. Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor.
Discrete Event Simulation
Title | Discrete Event Simulation PDF eBook |
Author | Udo W. Pooch |
Publisher | CRC Press |
Pages | 432 |
Release | 1992-12-21 |
Genre | Computers |
ISBN | 9780849371745 |
Discrete Event Simulation is a process-oriented text/reference that utilizes an eleven-step model to represent the simulation process from problem formulation to implementation and documentation. The book presents the necessary level of detail required to fully develop a model that produces meaningful results and considers the tools necessary to interpret those results. Sufficient background information is provided so that the underlying concepts of simulation are understood. Major topics covered in Discrete Event Simulation include probability and distributional theory, statistical estimation and inference, the generation of random variates, verification and validation techniques, time management methods, experimental design, and programming language considerations. The book also examines distributed simulation and issues related to distributing the physical process over a network of tightly coupled processors. Topics covered in this area include deadlock, synchronization, rollback, event management, and communication processes. Fully worked examples and numerous practical exercises have been drawn from the engineering disciplines and computer science, although they have been structured so that they will be useful as well to other disciplines such as economics, business administration, and management science. The presentation of techniques and methods in Discrete Event Simulation make it an ideal text/reference for all practitioners of discrete event simulation.
Estimation and Control of Nonlinear and Discrete Event Systems
Title | Estimation and Control of Nonlinear and Discrete Event Systems PDF eBook |
Author | Edward Price Gatzke |
Publisher | |
Pages | 558 |
Release | 2000 |
Genre | Chemical process control |
ISBN |
A General Framework for Statistical Inference on Discrete Event Systems
Title | A General Framework for Statistical Inference on Discrete Event Systems PDF eBook |
Author | |
Publisher | |
Pages | 16 |
Release | 2006 |
Genre | |
ISBN |
Cybersecurity of Discrete Event Systems
Title | Cybersecurity of Discrete Event Systems PDF eBook |
Author | Rong Su |
Publisher | CRC Press |
Pages | 220 |
Release | 2024-09-05 |
Genre | Computers |
ISBN | 1040031366 |
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.
Control of Discrete Event Systems Using Limited Lookahead Based on Estimation
Title | Control of Discrete Event Systems Using Limited Lookahead Based on Estimation PDF eBook |
Author | Hok Mo Cheung |
Publisher | |
Pages | 116 |
Release | 1993 |
Genre | |
ISBN |