검색결과 : 4건
| No. | Article |
|---|---|
| 1 |
Finite Uniform Bisimulations for Linear Systems With Finite Input Alphabets Fan DL, Tarraf DC IEEE Transactions on Automatic Control, 62(8), 4144, 2017 |
| 2 |
Stability Preserving Simulations and Bisimulations for Hybrid Systems Prabhakar P, Dullerud G, Viswanathan M IEEE Transactions on Automatic Control, 60(12), 3210, 2015 |
| 3 |
Finite Abstractions of Max-Plus-Linear Systems Adzkiya D, De Schutter B, Abate A IEEE Transactions on Automatic Control, 58(12), 3039, 2013 |
| 4 |
The Achievable Dynamics via Control by Interconnection Vinjamoor H, van der Schaft AJ IEEE Transactions on Automatic Control, 56(5), 1110, 2011 |