검색결과 : 6건
| No. | Article |
|---|---|
| 1 |
Deciding detectability for labeled Petri nets Masopust T, Yin X Automatica, 104, 238, 2019 |
| 2 |
Decidability of opacity verification problems in labeled Petri net systems Tong Y, Li ZW, Seatzu C, Giua A Automatica, 80, 48, 2017 |
| 3 |
Computing Robust Controlled Invariant Sets of Linear Systems Rungger M, Tabuada P IEEE Transactions on Automatic Control, 62(7), 3665, 2017 |
| 4 |
A note on controllability of deterministic context-free systems Masopust T Automatica, 48(8), 1934, 2012 |
| 5 |
A note on deciding controllability in pushdown systems Griffin C IEEE Transactions on Automatic Control, 51(2), 334, 2006 |
| 6 |
Improved sample complexity estimates for statistical learning control of uncertain systems Koltchinskii V, Abdallah CT, Ariola M, Dorato P, Panchenko D IEEE Transactions on Automatic Control, 45(12), 2383, 2000 |