Corpus ID: 209376708

On Verification of Strong Periodic D-Detectability for Discrete Event Systems

@article{Balun2019OnVO,
  title={On Verification of Strong Periodic D-Detectability for Discrete Event Systems},
  author={Jivr'i Balun and T. Masopust},
  journal={ArXiv},
  year={2019},
  volume={abs/1912.07312}
}

Jivr'i Balun, T. Masopust

Published 2019

Mathematics, Computer Science, Engineering

ArXiv

Detectability of discrete event systems has been introduced as a generalization of other state-estimation properties studied in the literature, including stability or observability. It is a property whether the current and subsequent states of a systems can be determined based on observations. Since the requirement to exactly determine the current and subsequent states may be too strict in some applications, a relaxed notion of D-detectability has been introduced, distinguishing only certain… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed