| 1 |
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems
Reveliotis S, Masopust T
IEEE Transactions on Automatic Control, 65(7), 2883, 2020 |
| 2 |
SAT-Based Control of Concurrent Software for Deadlock Avoidance
Stanley J, Liao HW, Lafortune S
IEEE Transactions on Automatic Control, 60(12), 3269, 2015 |
| 3 |
On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems
Reveliotis S
IEEE Transactions on Automatic Control, 59(9), 2509, 2014 |
| 4 |
A distributed protocol for motion coordination in free-range vehicular systems
Roszkowska E, Reveliotis S
Automatica, 49(6), 1639, 2013 |
| 5 |
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 |
| 6 |
OPTIMAL LINEAR SEPARATION OF THE SAFE AND UNSAFE SUBSPACES OF SEQUENTIAL RESOURCE ALLOCATION SYSTEMS AS A SET-COVERING PROBLEM: ALGORITHMIC PROCEDURES AND GEOMETRIC INSIGHTS
Reveliotis S, Nazeem A
SIAM Journal on Control and Optimization, 51(2), 1707, 2013 |
| 7 |
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
Nazeem A, Reveliotis S
IEEE Transactions on Automatic Control, 57(7), 1670, 2012 |
| 8 |
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
Nazeem A, Reveliotis S, Wang Y, Lafortune S
IEEE Transactions on Automatic Control, 56(8), 1818, 2011 |
| 9 |
Generalized algebraic deadlock avoidance policies for sequential resource allocation systems
Reveliotis SA, Roszkowska E, Choi JY
IEEE Transactions on Automatic Control, 52(12), 2345, 2007 |
| 10 |
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
Park J, Reveliotis SA
IEEE Transactions on Automatic Control, 46(10), 1572, 2001 |
