Advertisement

Estimation and Inference in Discrete Event Systems

A Model-Based Approach with Finite Automata

  • Christoforos N. Hadjicostis

Part of the Communications and Control Engineering book series (CCE)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Christoforos N. Hadjicostis
    Pages 15-23
  3. Christoforos N. Hadjicostis
    Pages 25-68
  4. Christoforos N. Hadjicostis
    Pages 69-117
  5. Christoforos N. Hadjicostis
    Pages 119-153
  6. Christoforos N. Hadjicostis
    Pages 155-183
  7. Christoforos N. Hadjicostis
    Pages 185-223
  8. Christoforos N. Hadjicostis
    Pages 225-249
  9. Christoforos N. Hadjicostis
    Pages 251-303
  10. Christoforos N. Hadjicostis
    Pages 305-342
  11. Back Matter
    Pages 343-346

About this book

Introduction

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.

    Keywords

    Discrete Event Systems State Estimation Formal Methods Fault Diagnosis and Verification of Diagnosability Opacity and Verification of Privacy Requirements Distributed/Decentralized State Estimation Distributed/Decentralized Fault Diagnosis

    Authors and affiliations

    • Christoforos N. Hadjicostis
      • 1
    1. 1.Department of Electrical and Computer EngineeringUniversity of CyprusNicosiaCyprus

    Bibliographic information