Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings J Park, SA Reveliotis IEEE Transactions on Automatic Control 46 (10), 1572-1583, 2001 | 460 | 2001 |
Conflict resolution in AGV systems SA Reveliotis IIE Transactions 32 (7), 647-659, 2000 | 263 | 2000 |
Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems SA Reveliotis, MA Lawley, PM Ferreira IEEE transactions on automatic control 42 (10), 1344-1357, 1997 | 231 | 1997 |
Deadlock avoidance policies for automated manufacturing cells SA Reveliotis, PM Ferreira IEEE Transactions on Robotics and Automation 12 (6), 845-857, 1996 | 203 | 1996 |
A correct and scalable deadlock avoidance policy for flexible manufacturing systems MA Lawley, SA Reveliotis, PM Ferreira IEEE Transactions on Robotics and Automation 14 (5), 796-809, 1998 | 184 | 1998 |
Real-time management of resource allocation systems: A discrete event systems approach SA Reveliotis Springer Verlag, 2005 | 181 | 2005 |
Deadlock avoidance for sequential resource allocation systems: Hard and easy cases M Lawley, S Reveliotis International Journal of Flexible Manufacturing Systems 13 (4), 385-404, 2001 | 139 | 2001 |
Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory A Nazeem, SA Reveliotis Automation Science and Engineering (CASE), 2011 IEEE Conference on, 405-412, 2011 | 130* | 2011 |
Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: the linear case A Nazeem, S Reveliotis, Y Wang, S Lafortune Automatic Control, IEEE Transactions on, 1-1, 2011 | 124 | 2011 |
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems J Park, SP Reveliotis IEEE Transactions on Robotics and Automation 16 (2), 190-195, 2000 | 113 | 2000 |
Design guidelines for deadlock-handling strategies in flexible manufacturing systems M Lawley, S Reveliotis, P Ferreira International Journal of Flexible Manufacturing Systems 9 (1), 5-30, 1997 | 112 | 1997 |
Uncertainty management in optimal disassembly planning through learning-based strategies SA Reveliotis Iie Transactions 39 (6), 645-658, 2007 | 107 | 2007 |
The application and evaluation of banker's algorithm for deadlock-free buffer space allocation in flexible manufacturing systems M Lawley, S Reveliotis, P Ferreira International Journal of Flexible Manufacturing Systems 10 (1), 73-100, 1998 | 101 | 1998 |
Conflict resolution in free-ranging multivehicle systems: A resource allocation paradigm SA Reveliotis, E Roszkowska IEEE Transactions on Robotics 27 (2), 283-296, 2011 | 100 | 2011 |
Accommodating FMS operational contingencies through routing flexibility SA Reveliotis IEEE Transactions on Robotics and Automation 15 (1), 3-19, 1999 | 78 | 1999 |
On the siphon-based characterization of liveness in sequential resource allocation systems S Reveliotis Applications and Theory of Petri Nets 2003, 241-255, 2003 | 76 | 2003 |
On the complexity of maximally permissive deadlock avoidance in multi-vehicle traffic systems SA Reveliotis, E Roszkowska IEEE Transactions on Automatic Control 55 (7), 1646-1651, 2010 | 70 | 2010 |
A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines JY Choi, SA Reveliotis IEEE transactions on robotics and automation 19 (3), 474-480, 2003 | 68 | 2003 |
Flexible manufacturing system structural control and the Neighborhood Policy, part 1. Correctness and scalability M Lawley, S Reveliotis, P Ferreira IIE transactions 29 (10), 877-887, 1997 | 59 | 1997 |
Concurrency bugs in multithreaded software: Modeling and analysis using Petri nets H Liao, Y Wang, HK Cho, J Stanley, T Kelly, S Lafortune, S Mahlke, ... submitted for journal publication, under review, 2011 | 58 | 2011 |