Spyros A. Reveliotis
Orcid: 0000-0001-6176-0925Affiliations:
- Georgia Institute of Technology, Atlanta, USA
According to our database1,
Spyros A. Reveliotis
authored at least 113 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 2015, "For contributions to discrete event systems for resource allocation".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Strong Combinatorial Relaxation for the Problem of Min-Time Coverage in Constricted Environments.
IEEE Trans. Autom. Control., May, 2024
2023
A streamlined heuristic for the problem of Min-Time Coverage in Constricted Environments (Extended Abstract).
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
2022
Min-Time Coverage in Constricted Environments: Problem Formulations and Complexity Analysis.
IEEE Trans. Control. Netw. Syst., 2022
Assessing and Restoring "Traffic-State Order" in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems.
IEEE Trans Autom. Sci. Eng., 2022
2021
Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation.
IEEE Trans. Autom. Control., 2021
2020
An MPC Scheme for Traffic Coordination in Open and Irreversible, Zone-Controlled, Guidepath-Based Transport Systems.
IEEE Trans Autom. Sci. Eng., 2020
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems.
IEEE Trans. Autom. Control., 2020
On the state liveness of some classes of guidepath-based transport systems and its computational complexity.
Autom., 2020
2019
A Correction and Some Comments on the Article "Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets".
IEEE Trans. Control. Syst. Technol., 2019
IEEE Trans Autom. Sci. Eng., 2019
IEEE Trans Autom. Sci. Eng., 2019
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling.
Discret. Event Dyn. Syst., 2019
Efficient generation of performance bounds for a class of traffic scheduling problems.
Discret. Event Dyn. Syst., 2019
Proceedings of the 27th Mediterranean Conference on Control and Automation, 2019
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling (Extended Abstract).
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
2017
Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages.
IEEE Trans Autom. Sci. Eng., 2017
IEEE Trans. Autom. Control., 2017
Found. Trends Syst. Control., 2017
Proceedings of the 2017 IEEE International Conference on Service Operations and Logistics, 2017
Solving the Lagrangian dual problem for some traffic coordination problems through linear programming.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S<sup>3</sup>PGR<sup>2</sup>" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings".
IEEE Trans. Autom. Control., 2016
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory.
Discret. Event Dyn. Syst., 2016
Real-time management of complex resource allocation systems: Necessity, achievements and further challenges.
Annu. Rev. Control., 2016
Some novel traffic coordination problems and their analytical study based on Lagrangian Duality theory.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Proceedings of the Encyclopedia of Systems and Control, 2015
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.
IEEE Trans Autom. Sci. Eng., 2015
IEEE Trans. Autom. Control., 2015
IEEE Robotics Autom. Mag., 2015
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks.
Discret. Event Dyn. Syst., 2015
Discret. Event Dyn. Syst., 2015
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
2014
Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems.
IEEE Trans Autom. Sci. Eng., 2014
Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation.
IEEE Trans Autom. Sci. Eng., 2014
On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems.
IEEE Trans. Autom. Control., 2014
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
2013
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.
IEEE Trans. Control. Syst. Technol., 2013
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.
IEEE Trans. Autom. Control., 2013
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms.
IEEE Trans. Autom. Control., 2013
Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights.
SIAM J. Control. Optim., 2013
Discret. Event Dyn. Syst., 2013
Autom., 2013
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
2012
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case.
IEEE Trans. Autom. Control., 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012
2011
Conflict Resolution in Free-Ranging Multivehicle Systems: A Resource Allocation Paradigm.
IEEE Trans. Robotics, 2011
A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems.
IEEE Trans Autom. Sci. Eng., 2011
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case.
IEEE Trans. Autom. Control., 2011
Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints.
Discret. Event Dyn. Syst., 2011
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
2010
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming.
IEEE Trans Autom. Sci. Eng., 2010
On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems.
IEEE Trans. Autom. Control., 2010
Supervisory control of software execution for failure avoidance: Experience from the Gadara project.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Optimal deadlock avoidance for complex resource allocation systems through classification theory.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010
2009
Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements.
Discret. Event Dyn. Syst., 2009
Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
2008
On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems.
IEEE Trans. Autom. Control., 2008
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008
2007
Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2007
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems.
IEEE Trans. Autom. Control., 2007
Discret. Event Dyn. Syst., 2007
2006
A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets.
IEEE Trans Autom. Sci. Eng., 2006
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Relative value function approximation for the capacitated re-entrant line scheduling problem.
IEEE Trans Autom. Sci. Eng., 2005
A linear characterization of the Petri net reachability space corresponding to bounded-length fireable transition sequences and its implications for the structural analysis of process-resource nets with acyclic, quasi-live and strongly reversible process subnets.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
2004
Modelling and Controlling Uncertainty in Optimal Disassembly Planning through Reinforcement Learning.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004
Relative value function approximation for the capacitated re-entrant line scheduling problem: an experimental investigation.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
2003
A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines.
IEEE Trans. Robotics Autom., 2003
Discret. Event Dyn. Syst., 2003
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003
Liveness enforcing supervision for resource allocation systems with process synchronizations.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
2002
Policy mixtures: a novel approach for enhancing the operational flexibility of resource allocation systems with alternate routings.
IEEE Trans. Robotics Autom., 2002
Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states.
IEEE Trans. Robotics Autom., 2002
A distributed, event-driven control architecture for flexibly automated manufacturing systems.
Int. J. Comput. Integr. Manuf., 2002
Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
2001
Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems".
IEEE Trans. Autom. Control., 2001
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings.
IEEE Trans. Autom. Control., 2001
High-fidelity rapid prototyping of 300 mm fabs through discrete event system modeling.
Comput. Ind., 2001
Proceedings of the IEEE International Conference on Systems, 2001
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001
Algebraic Deadlock Avoidance Policies for Conjunctive / Disjunctive resource Allocation Systems.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001
2000
Avoidance versus detection and recovery problem in buffer-space allocation of flexibly automated production systems.
IEEE Trans. Syst. Man Cybern. Part B, 2000
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems.
IEEE Trans. Robotics Autom., 2000
The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks.
IEEE Trans. Autom. Control., 2000
Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000
A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
1999
IEEE Trans. Robotics Autom., 1999
Production Planning and Control in Flexibly Automated Manufacturing Systems: Current Status and Future Requirements.
Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999
1998
IEEE Trans. Robotics Autom., 1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1997
Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems.
IEEE Trans. Autom. Control., 1997
A polynomial-complexity tool for evaluating the performance of structurally controlled FMS.
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997
1996
IEEE Trans. Robotics Autom., 1996
An analytical framework for evaluating and optimizing the performance of structurally controlled flexible manufacturing systems.
Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996
Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case.
Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996
1995
A framework for on-line learning of plant models and control policies for restructurable control.
IEEE Trans. Syst. Man Cybern., 1995
1993
1991
Proceedings of the Eighth International Workshop (ML91), 1991