Estimation and Inference in Discrete Event Systems A Model-Based Approach with Finite Automata /
| Tác giả chính: | |
|---|---|
| Tác giả của công ty: | |
| Tóm tắt: | XVIII, 346 p. 79 illus., 3 illus. in color. text |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cham :
Springer International Publishing : Imprint: Springer,
2020.
|
| Phiên bản: | 1st ed. 2020. |
| Loạt: | Communications and Control Engineering,
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-3-030-30821-6 |
| Định dạng: | Điện tử Sách |
Mục lục:
- Chapter 1. Introduction to Estimation and Inference in Discrete Event Systems
- Chapter 2. Preliminaries and Notation
- Chapter 3. Finite Automata Models
- Chapter 4. State Estimation
- Chapter 5. Verification of State Isolation Properties
- Chapter 6. Detectability
- Chapter 7. Diagnosability
- Chapter 8. Opacity
- Chapter 9. Decentralized State Estimation
- Chapter 10. Distributed State Estimation
- Index.