S
Spyros Reveliotis
Researcher at Georgia Institute of Technology
Publications - 150
Citations - 3246
Spyros Reveliotis is an academic researcher from Georgia Institute of Technology. The author has contributed to research in topics: Deadlock & Resource allocation. The author has an hindex of 28, co-authored 149 publications receiving 3110 citations. Previous affiliations of Spyros Reveliotis include University of Illinois at Urbana–Champaign.
Papers
More filters
Journal ArticleDOI
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
Jonghun Park,Spyros Reveliotis +1 more
TL;DR: The main purpose of this correspondence is to establish that, contrary to the claims that are made in the paper by D. Y. Chao and S. A. Reveliotis concerning the liveness characterization of the S3PGR2 nets by means of the structural object of deadly marked siphon, the results are correct and complete.
Journal ArticleDOI
Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
TL;DR: It is shown that for a large subset of single-unit RASs, the optimal DAP can be obtained in real-time with a computational cost which is a polynomial function of the system size.
Journal ArticleDOI
Conflict resolution in AGV systems
TL;DR: In this article, the authors propose an alternative conflict resolution strategy that will ensure robust AGV conflict resolution, while maintaining the operational flexibility provided by free vehicle travel on arbitrarily structured guidepath networks.
Journal ArticleDOI
Deadlock avoidance policies for automated manufacturing cells
TL;DR: A framework for developing provably correct and scalable avoidance policies for the automated manufacturing cell (AMC) model is suggested and a new characterization of AMC state safety serves as the basis of a new framework for systematic development of avoidance policies.
Journal ArticleDOI
A correct and scalable deadlock avoidance policy for flexible manufacturing systems
TL;DR: The resource order policy is a configurable controller that provides the deadlock-free guarantee for buffer space allocation and uses a total ordering of system machines and routing information to generate a set of configuration specific linear constraints.