Skip to main content
SpringerLink
Log in

I-Detectability of Networked Discrete Event Systems by Matrix Approach

  • Regular Papers
  • Control Theory and Applications
  • Published:
International Journal of Control, Automation and Systems Aims and scope Submit manuscript

Abstract

State estimation is the primary concern in system analysis and control issues, especially for complex networked systems. This paper explores the influence of communication delays on the initial-state detectability of networked discrete event systems (NDESs). Firstly, the communication delays are hypothesized to be upper bounded through the observation channel, and the notion of networked initial-state (NI) detectability is proposed and lucubrated. Subsequently, according to the semi-tensor product (STP) of matrices, the dynamics affected by bounded delays could be perfectly depicted by a reachable matrix. Then, these algebraic criteria of NI detectability: strongly NI and weakly NI detectability, can be converted into checking some constructed matrix. Meanwhile, two algorithms are developed to verify the detectability based on a novel algebraic framework. Lastly, one prototypical numeric example is provided to validate the effectiveness of our theoretical approach. Note that the current results will help us to further investigate the detectability-based enforcement of networked systems.

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

Similar content being viewed by others

References

  1. F. Pasqualetti, F. Dörfler, and F. Bullo, “Attack detection and identification in cyber-physical systems,” IEEE Transactions on Automatic Control, vol. 58, no. 11, pp. 2715–2729, 2013.

    Article  MathSciNet  Google Scholar 

  2. B. Wang and J. Feng, “A matrix approach for the static correction problem of asynchronous sequential machines,” International Journal of Control, Automation, and Systems, vol. 18, no. 2, pp. 477–485, 2020.

    Article  Google Scholar 

  3. Y. Yao, Y. Tong, and H. Lan, “Initial-state estimation of multi-channel networked discrete event systems,” IEEE Control Systems Letters, vol. 4, no. 4, pp. 1024–1029, 2020.

    Article  MathSciNet  Google Scholar 

  4. Z. Zhang, C. Xia, S. Chen, T. Yang, and Z. Chen, “Reachability analysis of networked finite state machine with communication losses: A switched perspective,” IEEE Journal on Selected Areas in Communications, vol. 38, no. 5, pp. 845–853, 2020.

    Article  Google Scholar 

  5. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Springer, New York, NY, 2008.

    Book  Google Scholar 

  6. F. Lin, “Diagnosability of discrete event systems and its applications,” Discrete Event Dynamic Systems, vol. 4, no. 2, pp. 197–212, 1994.

    Article  Google Scholar 

  7. C. Keroglou and C. N. Hadjicostis, “Distributed fault diagnosis in discrete event systems via set intersection refinements,” IEEE Transactions on Automatic Control, vol. 63, no. 10, pp. 3601–3607, 2018.

    Article  MathSciNet  Google Scholar 

  8. P. J. G. Ramadge and W. M. Wonham, “The control of discrete event systems,” Proceedings of the IEEE, vol. 77, no. 1, pp. 81–98, 2002.

    Article  Google Scholar 

  9. P. Zhao, S. Shu, F. Lin, and B. Zhang, “Detectability measure for state estimation of discrete event systems,” IEEE Transactions on Automatic Control, vol. 64, no. 1, pp. 433–439, 2019.

    Article  MathSciNet  Google Scholar 

  10. E. Athanasopoulou, L. Li, and C. N. Hadjicostis, “Maximum likelihood failure diagnosis in finite state machines under unreliable observations,” IEEE Transactions on Automatic Control, vol. 55, no. 3, pp. 579–593, 2010.

    Article  MathSciNet  Google Scholar 

  11. S. Shu, F. Lin, and H. Ying, “Detectability of discrete event systems,” IEEE Transactions on Automatic Control, vol. 52, no. 12, pp. 2356–2359, 2007.

    Article  MathSciNet  Google Scholar 

  12. S. Shu and F. Lin, “Generalized detectability for discrete event systems,” Systems and Control Letters, vol. 60, no. 5, pp. 310–317, 2011.

    Article  MathSciNet  Google Scholar 

  13. C. Keroglou and C. N. Hadjicostis, “Detectability in stochastic discrete event systems,” IFAC Proceedings Volumes, vol. 47, no. 2, pp. 27–32, 2014.

    Article  Google Scholar 

  14. S. Shu and F. Lin, “Detectability of discrete event systems with dynamic event observation,” Systems and Control Letters, vol. 59, no. 1, pp. 9–17, 2010.

    Article  MathSciNet  Google Scholar 

  15. J. Pan, J. Feng, M. Meng, and J. Zhao, “Design of large-scale boolean networks based on prescribed attractors,” International Journal of Control, Automation, and Systems, vol. 16, no. 3, pp. 1120–1128, 2018.

    Article  Google Scholar 

  16. B. Wang and J. Feng, “On detectability of probabilistic boolean networks,” Information Sciences, vol. 483, pp. 383–395, 2019.

    Article  MathSciNet  Google Scholar 

  17. F. Lin, “Control of networked discrete event systems: Dealing with communication delays and losses,” SIAM Journal on Control and Optimization, vol. 52, no. 2, pp. 1276–1298, 2014.

    Article  MathSciNet  Google Scholar 

  18. Y. Sasi and F. Lin, “Detectability of networked discrete event systems,” Discrete Event Dynamic Systems, vol. 28, no. 3, pp. 449–470, 2018.

    Article  MathSciNet  Google Scholar 

  19. F. Lin, W. Wang, L. Han, and B. Shen, “State estimation of multichannel networked discrete event systems,” IEEE Transactions on Control of Network Systems, vol. 7, no. 1, pp. 53–63, 2019.

    Article  MathSciNet  Google Scholar 

  20. M. V. S. Alves and J. C. Basilio, “State estimation and detectability of networked discrete event systems with multichannel communication networks,” Proc. of 2019 American Control Conference (ACC), 2019.

  21. D. Cheng and H. Qi, “A linear representation of dynamics of boolean networks,” IEEE Transactions on Automatic Control, vol. 55, no. 10, pp. 2251–2258, 2010.

    Article  MathSciNet  Google Scholar 

  22. Z. Zhang, S. Shu, and C. Xia, “Networked opacity for finite state machine with bounded communication delays,” Information Sciences, vol. 572, pp. 57–66, 2021.

    Article  MathSciNet  Google Scholar 

  23. Z. Zhang, C. Xia, and S. Chen, “Security and privacy with opacity-based state observation for finite state machine,” Asian Journal of Control, 2021. [Online]. Available: https://doi.org/10.1002/asjc.2570.

  24. Z. Zhang, C. Xia, and Z. Chen, “On the stabilization of nondeterministic finite automata via static output feedback,” Applied Mathematics and Computation, vol. 365, pp. 124687–124687, 2020.

    Article  MathSciNet  Google Scholar 

  25. J. Liang, H. Chen, and Y. Liu, “On algorithms for state feedback stabilization of boolean control networks,” Automatica, vol. 84, pp. 10–16, 2017.

    Article  MathSciNet  Google Scholar 

  26. J. Lu, J. Zhong, C. Huang, and J. Cao, “On pinning controllability of boolean control networks,” IEEE Transactions on Automatic Control, vol. 61, no. 6, pp. 1658–1663, 2016.

    Article  MathSciNet  Google Scholar 

  27. D. Cheng and T. Liu, “From boolean game to potential game,” Automatica, vol. 96, pp. 51–60, 2018.

    Article  MathSciNet  Google Scholar 

  28. D. Cheng and H. Qi, “Controllability and observability of boolean control networks,” Automatica, vol. 45, no. 7, pp. 1659–1667, 2009.

    Article  MathSciNet  Google Scholar 

  29. J. Qiu, W. Ji, I. J. Rudas, and H. Gao, “Asynchronous sampled-data filtering design for fuzzy-affine-model-based stochastic nonlinear systems,” IEEE Transactions on Cybernetics, vol. 51, no. 8, pp. 3964–3974, 2021.

    Article  Google Scholar 

  30. J. Qiu, W. Ji, H. K. Lam, and M. Wang, “Fuzzy-affine-model based sampled-data filtering design for stochastic nonlinear systems,” IEEE Transactions on Fuzzy Systems, vol. 29, no. 11, pp. 3360–3373, 2021.

    Article  Google Scholar 

  31. Z. Wang, C. Xia, Z. Chen, and G. Chen, “Epidemic propagation with positive and negative preventive information in multiplex networks,” IEEE Transactions on Cybernetics, vol. 51, no. 3, pp. 1454–1462, 2021.

    Article  Google Scholar 

Download references

Funding

This work was supported in part by the National Natural Science Foundation of China under Grant no. 62173247.

Author information

Authors and Affiliations

  1. Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology, Tianjin University of Technology, Tianjin, 300384, China

    Kexin Ren, Zhipeng Zhang & Chengyi Xia

  2. Engineering Research Center of Learning-Based Intelligent System, Ministry of Education, Tianjin University of Technology, Tianjin, 300384, China

    Kexin Ren, Zhipeng Zhang & Chengyi Xia

Authors
  1. Kexin Ren
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhipeng Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chengyi Xia
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Zhipeng Zhang or Chengyi Xia.

Additional information

Kexin Ren received her B.S. degree in computer science and technology from Shenyang Ligong University, Liaoning, China, in 2019. Now she is a graduate student in computer technology with the School of Computer Science and Engineering, Tianjin University of Technology. Her current research interests include the control of networked discrete event systems and security of cyber-physical systems.

Zhipeng Zhang received his M.Sc. degree in control science and engineering from the School of Electrical and Information Engineering, Tianjin University, Tianjin, in 2016, and a Ph.D. degree in operational research and cybernetics from College of Artificial Intelligence, Nankai University, Tianjin, China, in 2019. Now he is a lecturer with the School of Computer Science and Engineering, Tianjin University of Technology. His current research interests include the control of networked discrete event systems and security of cyber-physical systems.

Chengyi Xia received his B.S. degree in mechanical engineering from Hefei University of Technology, Hefei, China, in 1998, an M.Sc. degree in nuclear energy science and engineering from the Institute of Plasma Physics, Chinese Academy of Science, Hefei, in 2001, and a Ph.D. degree in control theory and control engineering from Nankai University, Tianjin, China, in 2008. Since 2013, he has been a professor with the School of Computer Science and Engineering, Tianjin University of Technology. His research interests include complex system modeling and analysis, complex networks, epidemic propagation and evolutionary game theory.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ren, K., Zhang, Z. & Xia, C. I-Detectability of Networked Discrete Event Systems by Matrix Approach. Int. J. Control Autom. Syst. 20, 750–757 (2022). https://doi.org/10.1007/s12555-021-0017-0

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12555-021-0017-0

Keywords

Search

Navigation