About this book
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:
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.
- DOI https://doi.org/10.1007/978-3-030-30821-6
- Copyright Information Springer Nature Switzerland AG 2020
- Publisher Name Springer, Cham
- eBook Packages Intelligent Technologies and Robotics
- Print ISBN 978-3-030-30820-9
- Online ISBN 978-3-030-30821-6
- Series Print ISSN 0178-5354
- Series Online ISSN 2197-7119
- Buy this book on publisher's site