검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
SAT-Based Control of Concurrent Software for Deadlock Avoidance Stanley J, Liao HW, Lafortune S IEEE Transactions on Automatic Control, 60(12), 3269, 2015 |
| 2 |
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software Liao HW, Lafortune S, Reveliotis S, Wang Y, Mahlke S IEEE Transactions on Automatic Control, 58(5), 1123, 2013 |
| 3 |
On the liveness of guidepath-based, zone-controlled dynamically routed, closed traffic systems Roszkowska E, Reveliotis SA IEEE Transactions on Automatic Control, 53(7), 1689, 2008 |