1. Detectability of Nondeterministic Finite Transition Systems*. Issue 1 (July 2017) Authors: Zhang, Kuize; Zamani, Majid Journal: IFAC-PapersOnLine Issue: Volume 50:Issue 1(2017) Page Start: 9272 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Discrete-time and discrete-space dynamical systems. (2019) Authors: Zhang, Kuize; Zhang, Lijun, 1979-; Xie, Lihua Record Type: Book Extent: 1 online resource (222 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Eventual strong detectability of labeled weighted automata over monoids. Issue 28 (2022) Authors: Zhang, Tianchen; Zhang, Kuize Journal: IFAC-PapersOnLine Issue: Volume 55:Issue 28(2022) Page Start: 270 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Finite automata approach to observability of switched Boolean control networks. (February 2016) Authors: Zhang, Kuize; Zhang, Lijun; Xie, Lihua Journal: Nonlinear analysis Issue: Volume 19(2016) Page Start: 186 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Instant detectability of discrete-event systems. Issue 2 (2020) Authors: Zhang, Kuize; Giua, Alessandro Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 2137 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Instant detectability of discrete-event systems⁎This work was partially supported by the Alexander von Humboldt Foundation. Issue 2 (2020) Authors: Zhang, Kuize; Giua, Alessandro Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 2137 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Invertibility and nonsingularity of Boolean control networks. (October 2015) Authors: Zhang, Kuize; Zhang, Lijun; Xie, Lihua Journal: Automatica Issue: Volume 60(2015) Page Start: 155 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. L2 stability, H∞ control of switched homogeneous nonlinear systems and their semi‐tensor product of matrices representation. (14th January 2012) Authors: Zhang, Lijun; Zhang, Kuize Journal: International journal of robust and nonlinear control Issue: Volume 23:Number 6(2013) Page Start: 638 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Modeling, Reachability and Controllability of Bounded Petri Nets Based on Semi‐Tensor Product of Matrices. Issue 1 (2nd September 2018) Authors: Han, Xiaoguang; Chen, Zengqiang; Zhang, Kuize; Liu, Zhongxin; Zhang, Qing Journal: Asian journal of control Issue: Volume 22:Issue 1(2020) Page Start: 500 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Revisiting strong detectability of networked discrete-event systems⁎This work was partially supported by Karl Engvers Foundation. Issue 4 (2020) Authors: Zhang, Kuize; Feng, Lei Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 4(2020) Page Start: 21 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗