×

Detectability verification of probabilistic Boolean networks. (Detectability vverification of probabilistic Boolean networks.) (English) Zbl 1478.93293

Summary: We in this paper study the current-state estimation problem of probabilistic Boolean networks with output observations. First, we propose the concepts of three fundamental categories of detectability in the context of PBNs based on the different purposes, which are periodic detectability, (periodic) \(k\)-detectability, and (periodic) \(d\)-detectability. Second, utilizing the semi-tensor product technique, we create a uniform methodology for the verification of all the aforementioned categories of detectability. Accordingly, several necessary and sufficient verification criteria are derived. All results obtained in this paper are numerically tractable since they avoid the graph-based symbolic manipulations. Finally, several examples modeled by the same PBN are provided to instantiate the correctness and effeteness of the obtained results.

MSC:

93C29 Boolean control/observation systems
93B70 Networked control
93E03 Stochastic systems in control theory (general)

Software:

UMDES
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Cassandras, C.; Lafortune, S., Introduction to Discrete Event Systems (2008), Springer: Springer New York · Zbl 1165.93001
[2] Chen, H.; Sun, J., Stability and stabilisation of context-sensitive probabilistic Boolean networks, IET Control Theory Appl., 8, 17, 2115-2121 (2014)
[3] Chen, H.; Liang, J., Local synchronization of interconnected Boolean networks with stochastic disturbances, IEEE Trans. Neural Netw. Learn. Syst., 31, 2, 452-463 (2020)
[4] H. Chen, Z. Wang, J. Liang, M. Li, State estimation for stochastic time-varying Boolean networks, IEEE Trans. Autom. Control doi: 10.1109/TAC.2020.2973817.
[5] Cheng, D.; Qi, H., A linear representation of dynamics of Boolean networks, IEEE Trans. Autom. Control, 55, 10, 2251-2258 (2010) · Zbl 1368.37025
[6] Cheng, D.; Qi, H., Controllability and observability of Boolean control networks, Automatica, 45, 7, 1659-1667 (2009) · Zbl 1184.93014
[7] Cheng, D.; Qi, H.; Zhao, Y., An Introduction to Semi-Tensor Product of Matrices and Its Applications (2012), World Scientific: World Scientific Singapore · Zbl 1273.15029
[8] Fornasini, E.; Valcher, M., Observability, reconstructibility and state observers of Boolean control networks, IEEE Trans. Autom. Control, 58, 6, 1390-1401 (2013) · Zbl 1369.93101
[9] Hadjicostis, C.; Seatzu, C., K-detectability in discrete event systems, (Proceedings of IEEE 55th Conference on Decision and Control (2016)), 420-425
[10] Han, X.; Chen, Z.; Su, R., Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems, Syst. Control Lett., 123, 33-39 (2019) · Zbl 1408.93138
[11] C. Huang, J. Lu, G. Zhai, et al. Stability and stabilization in probability of probabilistic Boolean networks, IEEE Trans. Neural Netw. Learn. Syst. doi: 10.1109/TNNLS.2020.2978345.
[12] Huang, C.; Lu, J.; Ho, D., Stabilization of probabilistic Boolean networks via pinning control strategy, Inf. Sci., 510, 205-217 (2020) · Zbl 1461.93381
[13] Kitano, H., Foundation of Systems Biology (2001), MIT Press: MIT Press Cambrige
[14] Kauffman, S., Metabolic stability and epigenesis in randomly constructed genetic nets, J. Theor. Biol., 22, 3, 437-467 (1969)
[15] Li, F.; Sun, J.; Wu, Q., Observability of Boolean control networks with state time delays, IEEE Trans. Neural Netw., 22, 6, 948-954 (2011)
[16] Li, R.; Yang, M.; Chu, T., Observability conditions of Boolean control networks, Int. J. Robust Nonlinear Control, 24, 17, 2711-2723 (2014) · Zbl 1305.93038
[17] Lu, J.; Li, H.; Liu, Y.; Li, F., Survey on semi-tensor product method with its applications in logical networks and other finite-valued systems, IET Control Theory Appl., 11, 13, 2040-2047 (2017)
[18] Shmulevich, I.; Dougherty, E.; Kim, S.; Zhang, W., Probabilistic Boolean network: a rule-based uncertainty model for gene regulatory networks, Bioinformatics, 2, 261-274 (2002)
[19] Shu, S.; Lin, F., Generalized detectability for discrete event systems, Syst. Control Lett., 60, 5, 310-317 (2011) · Zbl 1214.93066
[20] Wang, B.; Feng, J., On detectability of probability Boolean networks, Inf. Sci., 483, 383-395 (2019)
[21] Wang, W.; Lafortune, S.; Lin, F., An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions, Syst. Control Lett., 56, 9, 656-661 (2007) · Zbl 1155.93387
[22] Wu, Y.; Xu, J.; Sun, X., Observability of Boolean multiplex control networks, Sci. Rep., 7, 46495 (2017)
[23] Xu, X.; Hong, Y., Matrix expression and reachability analysis of finite automata, J. Control Theory Appl., 10, 2, 210-215 (2012)
[24] Yan, Y.; Yue, J.; Chen, Z., Algebraic method of simplifying Boolean networks using semi-tensor product of matrices, Asian J. Control, 21, 6, 2569-2577 (2019) · Zbl 1451.93061
[25] Zad, S.; Kwong, R.; Wonham, W., Fault diagnosis in discrete-event systems: Framework and model reduction, IEEE Trans. Autom. Control, 48, 7, 1199-1212 (2003) · Zbl 1364.93464
[26] Zhang, K.; Zhang, L., Observability of Boolean control networks: a unified approach based on finite automata, IEEE Trans. Autom. Control, 61, 9, 2733-2738 (2016) · Zbl 1359.93074
[27] Zhang, K.; Zhang, L.; Su, R., A weighted pair graph representation for reconstructibility of Boolean control networks, SIAM J. Control Optim., 54, 6, 3040-3060 (2016) · Zbl 1350.93048
[28] Zhang, K.; Zhang, L.; Xie, L., Discrete-Time and Discrete-Space Dynamical Systems (2020), Springer: Springer Switzerland · Zbl 1430.93007
[29] Zhang, Z.; Chen, Z.; Liu, Z., Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices, Sci. China Inf. Sci., 61, 12 (2018), 129202
[30] Zhao, Y.; Cheng, D., On controllability and stabilizability of probabilistic Boolean control networks, Sci. China Inf. Sci., 57, 1 (2014), 012202 · Zbl 1331.93027
[31] J. Zhong, B. Li, Y. Liu, et al., Steady-state design of large-dimensional Boolean networks, IEEE Trans. Neural Netw. Learn. Syst. doi: 10.1109/TNNLS.2020.2980632.
[32] Zhou, R.; Guo, Y.; Gui, W., Set reachability and observability of probabilistic Boolean networks, Automatica, 106, 230-241 (2019) · Zbl 1429.93034
[33] Zhu, S.; Lu, J.; Liu, Y., Output tracking of probabilistic Boolean networks by output feedback control, Inf. Sci., 483, 96-105 (2019) · Zbl 1453.93116
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.