Skip to main content
SpringerLink
Log in

Critical observability of partially observed discrete event systems under cyber attacks

  • Letter
  • Published:
Science China Information Sciences Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Cassandras C G, Lafortune S. Introduction to Discrete Event System. New York: Springer, 2008

    Book  Google Scholar 

  2. Su R. Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations. Automatica, 2018, 94: 35–44

    Article  MathSciNet  Google Scholar 

  3. Pola G, de Santis E, di Benedetto M D, et al. Design of decentralized critical observers for networks of finite state machines: a formal method approach. Automatica, 2017, 86: 174–182

    Article  MathSciNet  Google Scholar 

  4. Tong L, Liang J. I-S detectability of partially-observed discrete event systems: a novel matrix-based method. J Franklin Institute, 2023, 360: 3436–3458

    Article  MathSciNet  Google Scholar 

  5. Yan Y, Deng H, Chen Z. A new look at the critical observability of finite state machines from an algebraic viewpoint. Asian J Control, 2022, 24: 3056–3065

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work was supported by National Natural Science Foundation of China (Grant Nos. 62373103, 62173308).

Author information

Authors and Affiliations

  1. Department of Mathematics, School of Sciences, Hangzhou Dianzi University, Hangzhou, 310018, China

    Liyun Tong

  2. School of Mathematics, Southeast University, Nanjing, 210096, China

    Jinling Liang

  3. College of Mathematics and Computer Science, Zhejiang Normal University, Jinhua, 321004, China

    Yang Liu

Authors
  1. Liyun Tong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jinling Liang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yang Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jinling Liang.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tong, L., Liang, J. & Liu, Y. Critical observability of partially observed discrete event systems under cyber attacks. Sci. China Inf. Sci. 67, 129203 (2024). https://doi.org/10.1007/s11432-022-3921-0

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11432-022-3921-0

Search

Navigation