검색결과 : 4건
| No. | Article |
|---|---|
| 1 |
Model Checking in Isomorphic Module Systems Wang WL, Su R, Lin LY, Gong CH IEEE Transactions on Automatic Control, 64(2), 728, 2019 |
| 2 |
Deadlock Analysis of Parameterized-Chain Networks Zibaeenejad MH, Thistle JG IEEE Transactions on Automatic Control, 62(4), 2064, 2017 |
| 3 |
Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks Zibaeenejad MH, Thistle JG IEEE Transactions on Automatic Control, 59(8), 2024, 2014 |
| 4 |
Concise adaptive neural control of uncertain nonlinear systems with periodically nonlinear time-varying parameterized disturbances Zhang GQ, Zhang XK Journal of Process Control, 24(4), 410, 2014 |