- Algebraic Synthesis of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems
- Reinforcement Learning: Architectures and Mieczyslaw M. Kokar and Spiridon A. Reveliotis
- Designing compact and maximally permissive deadlock avoidance policies for complex resource
- IEEE TRANSACTIONS ON R&A, VOL. XX, NO. Y, MONTH 2003 1 A Generalized Stochastic Petri net Model for
- Optimal node visitation in acyclic stochastic digraphs Theologos Bountourelis and Spyros Reveliotis
- Accommodating FMS Operational Contingencies through Routing Flexibility
- Conflict Resolution in AGV Systems Spyros A. Reveliotis
- Conflict Resolution in Free-Ranging Multi-Vehicle Systems: A Resource Allocation Paradigm
- A Distributed, EventDriven Control Architecture for Flexibly Automated Manufacturing Systems
- Accommodating FMS Operational Contingencies through Routing Flexibility
- Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements
- Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
- Siphon-based characterization of liveness and liveness-enforcing supervision
- A correction to the RUN DAP for Conjunctive RAS presented in ``PolynomialComplexity Deadlock Avoidance Policies for
- Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming
- Deadlock Avoidance Policies for Automated Manufacturing Cells \Lambda
- PolynomialComplexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems
- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets
- HighFidelity Rapid Prototyping of 300mm Fabs through Discrete Event System Modeling #
- IEEE TRANSACTIONS ON R&A, VOL. XX, NO. Y, MONTH 2001 1 Liveness-Enforcing Supervision for
- Deadlock Avoidance for Sequential Resource Allocation Systems: Hard and Easy Cases
- Spiridon A. Reveliotis Assistant Professor
- An Analytical Investigation of the Deadlock Avoidance vs. Detection & Recovery Problem in Bufferspace Allocation of
- On the complexity of maximally permissive deadlock avoidance in multi-vehicle traffic systems
- On the liveness of guidepath-based, zone-controlled dynamically routed, closed traffic systems
- Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
- Implicit Siphon Control and its Role in the Liveness Enforcing Supervision of
- IEEE TRANSACTIONS ON ROBOTICS & AUTOMATION, VOL. XX, NO. Y, MONTH 2001 1 Policy Mixtures: A Novel Approach for Enhancing
- Deadlock Avoidance in Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings
- The Thinning Problem Spyros A. Reveliotis and Jin Young Choi
- Structural Control of Large-Scale Flexibly Automated Manufacturing Systems
- Uncertainty Management in Optimal Disassembly Planning through Learning-based Strategies
- Optimal Node Visitation in Stochastic Digraphs Theologos Bountourelis and Spyros Reveliotis
- A Framework for OnLine Learning of Plant Models and Control Policies
- A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems
- The Destabilizing Effect of Blocking due to Finite Buffering Capacity in Multiclass Queueing Networks *
- Relative Value Function Approximation for the Capacitated Re-entrant Line Scheduling Problem
- Optimal Flow Control in Acyclic Networks with Uncontrollable Routings and Precedence Constraints
- A practical approach for maximally permissive liveness-enforcing supervision
