Follow
Spyros Reveliotis
Title
Cited by
Cited by
Year
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
4602001
Conflict resolution in AGV systems
SA Reveliotis
IIE Transactions 32 (7), 647-659, 2000
2632000
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
2311997
Deadlock avoidance policies for automated manufacturing cells
SA Reveliotis, PM Ferreira
IEEE Transactions on Robotics and Automation 12 (6), 845-857, 1996
2031996
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
1841998
Real-time management of resource allocation systems: A discrete event systems approach
SA Reveliotis
Springer Verlag, 2005
1812005
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
1392001
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
1242011
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
1132000
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
1121997
Uncertainty management in optimal disassembly planning through learning-based strategies
SA Reveliotis
Iie Transactions 39 (6), 645-658, 2007
1072007
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
1011998
Conflict resolution in free-ranging multivehicle systems: A resource allocation paradigm
SA Reveliotis, E Roszkowska
IEEE Transactions on Robotics 27 (2), 283-296, 2011
1002011
Accommodating FMS operational contingencies through routing flexibility
SA Reveliotis
IEEE Transactions on Robotics and Automation 15 (1), 3-19, 1999
781999
On the siphon-based characterization of liveness in sequential resource allocation systems
S Reveliotis
Applications and Theory of Petri Nets 2003, 241-255, 2003
762003
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
702010
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
682003
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
591997
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
582011
The system can't perform the operation now. Try again later.
Articles 1–20