검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm Liu FC, Lin H, Dziong Z Automatica, 47(4), 782, 2011 |
| 2 |
Control of nondeterministic discrete-event systems for bisimulation equivalence Zhou CY, Kumar R, Jiang SB IEEE Transactions on Automatic Control, 51(5), 754, 2006 |
| 3 |
Equivalence of dynamical systems by bisimulation van der Schaft AJ IEEE Transactions on Automatic Control, 49(12), 2160, 2004 |