Estimation and Inference in Discrete Event Systems A Model-Based Approach with Finite Automata /

Bibliographic Details
Main Author: Hadjicostis, Christoforos N. (Author)
Corporate Author: SpringerLink (Online service)
Summary:XVIII, 346 p. 79 illus., 3 illus. in color.
text
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:1st ed. 2020.
Series:Communications and Control Engineering,
Subjects:
Online Access:https://doi.org/10.1007/978-3-030-30821-6
Format: Electronic Book
Table of Contents:
  • 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.