검색결과 : 3건
No. | Article |
---|---|
1 |
Observability of Finite Labeled Transition Systems Zhang KZ, Liu T, Cheng DZ IEEE Transactions on Automatic Control, 63(6), 1591, 2018 |
2 |
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete Zhang KZ Automatica, 81, 217, 2017 |
3 |
A WEIGHTED PAIR GRAPH REPRESENTATION FOR RECONSTRUCTIBILITY OF BOOLEAN CONTROL NETWORKS Zhang KZ, Zhang LJ, Su R SIAM Journal on Control and Optimization, 54(6), 3040, 2016 |