| 书目名称 | Estimation and Inference in Discrete Event Systems |
| 副标题 | A Model-Based Approa |
| 编辑 | Christoforos N. Hadjicostis |
| 视频video | |
| 概述 | Provides detailed discussion of opacity in discrete event systems and the verification of related privacy/security properties.Readers gain more perspective for recursive algorithms for state estimatio |
| 丛书名称 | Communications and Control Engineering |
| 图书封面 |  |
| 描述 | .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, |
| 出版日期 | Book 2020 |
| 关键词 | Discrete Event Systems; State Estimation; Formal Methods; Fault Diagnosis and Verification of Diagnosab |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-30821-6 |
| isbn_softcover | 978-3-030-30823-0 |
| isbn_ebook | 978-3-030-30821-6Series ISSN 0178-5354 Series E-ISSN 2197-7119 |
| issn_series | 0178-5354 |
| copyright | Springer Nature Switzerland AG 2020 |
发表于 2025-3-21 16:18:32
