Spyros A. Reveliotis
According to our database^{1},
Spyros A. Reveliotis
authored at least 102 papers
between 1991 and 2020.
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 OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2020
An MPC Scheme for Traffic Coordination in Open and Irreversible, ZoneControlled, GuidepathBased Transport Systems.
IEEE Trans Autom. Sci. Eng., 2020
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, ZoneControlled GuidepathBased Transport Systems.
IEEE Trans. Autom. Control., 2020
On the state liveness of some classes of guidepathbased transport systems and its computational complexity.
Autom., 2020
2019
A Correction and Some Comments on the Article "Polynomially Complex Synthesis of Distributed Supervisors for LargeScale 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 timedcontinuousPetrinet 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 timedcontinuousPetrinet modeling (Extended Abstract).
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
2018
Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Preservation of Traffic Liveness in MPC Schemes for Guidepathbased 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 "CounterExample" 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
Realtime 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 BDDBased 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/Wlocks.
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 DiscreteEvent Systems for Automation.
IEEE Trans Autom. Sci. Eng., 2014
On the Linear Separability of the Safe and Unsafe State Subsets of SingleUnit 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 DiscreteEvent Control.
IEEE Trans. Control. Syst. Technol., 2013
Optimal LivenessEnforcing 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 SetCovering Problem: Algorithmic Procedures and Geometric Insights.
SIAM J. Control. Optim., 2013
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.
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
On atomicity enforcement in concurrent software via Discrete Event Systems theory.
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 FreeRanging Multivehicle Systems: A Resource Allocation Paradigm.
IEEE Trans. Robotics, 2011
A Practical Approach for Maximally Permissive LivenessEnforcing 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
Deadlockavoidance control of multithreaded software: An efficient siphonbased 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 MultiVehicle 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 NPhardness of maximally permissive RASbased approaches to multivehicle system safety.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
Synthesis of maximallypermissive livenessenforcing 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 livenessenforcing 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 Multithreaded 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 GuidepathBased, ZoneControlled Dynamically Routed, Closed Traffic Systems.
IEEE Trans. Autom. Control., 2008
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 LivenessEnforcing 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 ProcessResource Nets With Acyclic, Quasilive, 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 ReversibilityEnforcing 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 reentrant line scheduling problem.
IEEE Trans Autom. Sci. Eng., 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
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
Structural analysis of resource allocation systems with synchronization constraints.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003
On the SiphonBased 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
Livenessenforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states.
IEEE Trans. Robotics Autom., 2002
A distributed, eventdriven 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 ReEntrant Lines.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
2001
Correction to the RUN DAP for conjunctive RAS presented in "Polynomialcomplexity 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
Highfidelity 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 bufferspace 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 multiclass 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
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
A correct and scalable deadlock avoidance policy for flexible manufacturing systems.
IEEE Trans. Robotics Autom., 1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1997
A polynomialcomplexity 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 online learning of plant models and control policies for restructurable control.
IEEE Trans. Syst. Man Cybern., 1995
1993
Int. J. Intell. Syst., 1993
1991
Proceedings of the Eighth International Workshop (ML91), 1991