Observability of Boolean control networks: A unified approach based on finite automata K Zhang, L Zhang IEEE Transactions on Automatic Control 61 (9), 2733-2738, 2015 | 166 | 2015 |
Controllability and observability of Boolean control networks with time-variant delays in states L Zhang, K Zhang IEEE Transactions on Neural Networks and Learning Systems 24 (9), 1478-1484, 2013 | 159 | 2013 |
Invertibility and nonsingularity of Boolean control networks K Zhang, L Zhang, L Xie Automatica 60, 155-164, 2015 | 80 | 2015 |
On decomposed subspaces of finite games D Cheng, T Liu, K Zhang, H Qi IEEE Transactions on Automatic Control 61 (11), 3651-3656, 2016 | 71 | 2016 |
Efficient verification of observability and reconstructibility for large Boolean control networks with special structures K Zhang, KH Johansson IEEE Transactions on Automatic Control 65 (12), 5144-5158, 2020 | 67 | 2020 |
A weighted pair graph representation for reconstructibility of Boolean control networks K Zhang, L Zhang, R Su SIAM Journal on Control and Optimization 54 (6), 3040-3060, 2016 | 59 | 2016 |
Opacity of nondeterministic transition systems: A (bi) simulation relation approach K Zhang, X Yin, M Zamani IEEE Transactions on Automatic Control 64 (12), 5116-5123, 2019 | 57 | 2019 |
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete K Zhang Automatica 81, 217-220, 2017 | 52 | 2017 |
Finite automata approach to observability of switched Boolean control networks K Zhang, L Zhang, L Xie Nonlinear Analysis: Hybrid Systems 19, 186-197, 2016 | 52 | 2016 |
Representations of the Drazin inverse on solution of a class singular differential equations C Bu, K Zhang, J Zhao Linear and Multilinear Algebra 59 (8), 863-877, 2011 | 49 | 2011 |
Group inverse for the block matrices with an invertible subblock C Bu, M Li, K Zhang, L Zheng Applied Mathematics and Computation 215 (1), 132-139, 2009 | 42 | 2009 |
Agent transformation of Bayesian games Y Wu, S Le, K Zhang, XM Sun IEEE Transactions on Automatic Control 67 (11), 5793-5808, 2021 | 36 | 2021 |
Some results on the group inverse for block matrices over skew fields C Bu, J Zhao, K Zhang The Electronic Journal of Linear Algebra 18, 117-125, 2009 | 35 | 2009 |
Discrete-time and discrete-space dynamical systems K Zhang, L Zhang, L Xie Springer International Publishing, 2020 | 31 | 2020 |
Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories LJ Zhang, KZ Zhang Science China Information Sciences 56, 1-12, 2013 | 30 | 2013 |
On detectability of labeled Petri nets and finite automata K Zhang, A Giua Discrete Event Dynamic Systems 30 (3), 465-497, 2020 | 28 | 2020 |
Some results on the group inverse of the block matrix with a sub-block of linear combination or product combination of matrices over skew fields C Bu, K Zhang, J Zhao Linear and Multilinear Algebra 58 (8), 957-966, 2010 | 28 | 2010 |
Observability of Boolean control networks: A unified approach based on the theories of finite automata and formal languages K Zhang, L Zhang Proceedings of the 33rd Chinese control conference, 6854-6861, 2014 | 26 | 2014 |
Observability of finite labeled transition systems K Zhang, T Liu, D Cheng IEEE Transactions on Automatic Control 63 (6), 1591-1602, 2017 | 23 | 2017 |
Strong current-state and initial-state opacity of discrete-event systems X Han, K Zhang, J Zhang, Z Li, Z Chen Automatica 148, 110756, 2023 | 22 | 2023 |