검색결과 : 7건
| No. | Article |
|---|---|
| 1 |
Deadlock Analysis of Parameterized-Chain Networks Zibaeenejad MH, Thistle JG IEEE Transactions on Automatic Control, 62(4), 2064, 2017 |
| 2 |
Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks Zibaeenejad MH, Thistle JG IEEE Transactions on Automatic Control, 59(8), 2024, 2014 |
| 3 |
Blocking in Fully Connected Networks of Arbitrary Size Nazari S, Thistle JG IEEE Transactions on Automatic Control, 57(5), 1233, 2012 |
| 4 |
EFFECTIVE CONTROL SYNTHESIS FOR PARTIALLY OBSERVED DISCRETE-EVENT SYSTEMS Thistle JG, Lamouchi HM SIAM Journal on Control and Optimization, 48(3), 1858, 2009 |
| 5 |
On effective computation of supremal local supports Thistle JG, Su R IEEE Transactions on Automatic Control, 52(8), 1429, 2007 |
| 6 |
Control of Infinite Behavior of Finite Automata Thistle JG, Wonham WM SIAM Journal on Control and Optimization, 32(4), 1075, 1994 |
| 7 |
Supervision of Infinite Behavior of Discrete-Event Systems Thistle JG, Wonham WM SIAM Journal on Control and Optimization, 32(4), 1098, 1994 |