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

    References

    SHOWING 1-10 OF 29 REFERENCES
    Generalized detectability for discrete event systems
    • S. Shu, F. Lin
    • Mathematics, Computer Science
    • Syst. Control. Lett.
    • 2011
    • 68
    • Highly Influential
    Detectability of Discrete Event Systems
    • S. Shu, F. Lin
    • Mathematics, Computer Science
    • IEEE Transactions on Automatic Control
    • 2007
    • 55
    • PDF
    Revisiting delayed strong detectability of discrete-event systems
    • 5
    • PDF
    Complexity of Deciding Detectability in Discrete Event Systems
    • 23
    • PDF
    Delayed Detectability of Discrete Event Systems
    • S. Shu, F. Lin
    • Mathematics, Computer Science
    • IEEE Transactions on Automatic Control
    • 2013
    • 38
    State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks
    • 8
    Observability of discrete event dynamic systems
    • 299
    • PDF
    On observability of discrete-event systems
    • 756
    • PDF
    Verification complexity of a class of observational properties for modular discrete events systems
    • 23
    • PDF