Spyros A. Reveliotis

118 papers A* 12B 4C 3Journal 64Unranked 34
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Heuristic Approach to the Problem of Min-Time Coverage in Constricted Environments With Arbitrary Guidepath Networks.
IEEE Trans Autom. Sci. Eng.
Young-In Kim, Spyros A. Reveliotis
2025 J jnl
A Streamlined Heuristic for the Problem of Min-Time Coverage in Constricted Environments.
IEEE Trans Autom. Sci. Eng.
Young-In Kim, Spyros A. Reveliotis
2025 J jnl
Stable Task Allocation in Multi-Agent Systems with Lexicographic Preferences.
CoRR
Spyros A. Reveliotis, Eva Robillard
2025 J jnl
Stable Task Allocation in Multiagent Systems With Lexicographic Preferences.
IEEE Trans. Control. Netw. Syst.
Spyros A. Reveliotis, Eva Robillard
2025 J jnl
Strongly Infinite-Step Opaque Boolean Networks.
IEEE Trans. Autom. Control.
Spyros A. Reveliotis
2024 J jnl
A Heuristic Approach to the Problem of Min-Time Coverage in Constricted Environments.
IEEE Trans. Control. Netw. Syst.
Young-In Kim, Spyros A. Reveliotis
2024 J jnl
A Strong Combinatorial Relaxation for the Problem of Min-Time Coverage in Constricted Environments.
IEEE Trans. Autom. Control.
Young-In Kim, Spyros A. Reveliotis
2023 C conf
A streamlined heuristic for the problem of Min-Time Coverage in Constricted Environments (Extended Abstract).
ETFA
Young-In Kim, Spyros A. Reveliotis
2023 — conf
Min-Time Coverage in Constricted Environments with Arbitrary Guidepath Networks.
CDC
Young-In Kim, Spyros A. Reveliotis
2022 J jnl
Assessing and Restoring "Traffic-State Order" in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems.
IEEE Trans Autom. Sci. Eng.
Spyros A. Reveliotis
2022 J jnl
Min-Time Coverage in Constricted Environments: Problem Formulations and Complexity Analysis.
IEEE Trans. Control. Netw. Syst.
Spyros A. Reveliotis, Young-In Kim
2021 J jnl
Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation.
IEEE Trans. Autom. Control.
Michael Ibrahim, Spyros A. Reveliotis, Ahmed Nazeem
2020 J jnl
An MPC Scheme for Traffic Coordination in Open and Irreversible, Zone-Controlled, Guidepath-Based Transport Systems.
IEEE Trans Autom. Sci. Eng.
Spyros A. Reveliotis
2020 J jnl
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems.
IEEE Trans. Autom. Control.
Spyros A. Reveliotis, Tomás Masopust
2020 J jnl
On the state liveness of some classes of guidepath-based transport systems and its computational complexity.
Autom.
Spyros A. Reveliotis
2019 J jnl
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.
Spyros A. Reveliotis
2019 — conf
An MPC scheme for traffic coordination in open and irreversible, zone-controlled, guidepath-based transport systems.
CASE
Spyros A. Reveliotis
2019 J jnl
Efficient generation of performance bounds for a class of traffic scheduling problems.
Discret. Event Dyn. Syst.
Greyson Daugherty, Spyros A. Reveliotis, Greg Mohler
2019 J jnl
Optimized Multiagent Routing for a Class of Guidepath-Based Transport Systems.
IEEE Trans Autom. Sci. Eng.
Greyson Daugherty, Spyros A. Reveliotis, Greg Mohler
2019 — conf
Some new results on the state liveness of open guidepath-based traffic systems.
MED
Spyros A. Reveliotis, Tomás Masopust
2019 J jnl
Throughput Maximization of Capacitated Re-Entrant Lines Through Fluid Relaxation.
IEEE Trans Autom. Sci. Eng.
Michael Ibrahim, Spyros A. Reveliotis
2019 C conf
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling (Extended Abstract).
ETFA
Michael Ibrahim, Spyros A. Reveliotis
2019 J jnl
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling.
Discret. Event Dyn. Syst.
Michael Ibrahim, Spyros A. Reveliotis
2018 — conf
Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation Systems.
CDC
Michael Ibrahim, Spyros A. Reveliotis
2018 — conf
Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems.
CASE
Spyros A. Reveliotis
2018 C conf
Throughput maximization of capacitated re-entrant lines through fluid relaxation.
ACC
Michael Ibrahim, Spyros A. Reveliotis
2017 J jnl
Invariant-Based Supervisory Control of Switched Discrete Event Systems.
IEEE Trans. Autom. Control.
Spyros A. Reveliotis, Zhennan Fei
2017 J jnl
Logical Control of Complex Resource Allocation Systems.
Found. Trends Syst. Control.
Spyros A. Reveliotis
2017 — conf
Optimized multi-agent routing in shared guidepath networks.
SOLI
Greyson Daugherty, Spyros A. Reveliotis, Greg Mohler
2017 J jnl
Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages.
IEEE Trans Autom. Sci. Eng.
Spyros A. Reveliotis, Zhennan Fei
2017 — conf
Solving the Lagrangian dual problem for some traffic coordination problems through linear programming.
CDC
Greyson Daugherty, Spyros A. Reveliotis, Greg Mohler
2016 J jnl
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory.
Discret. Event Dyn. Syst.
Ran Li, Spyros A. Reveliotis
2016 J jnl
On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S
IEEE Trans. Autom. Control.
Spyros A. Reveliotis
2016 J jnl
Real-time management of complex resource allocation systems: Necessity, achievements and further challenges.
Annu. Rev. Control.
Spyros A. Reveliotis
2016 — conf
Robust deadlock avoidance for sequential resource allocation systems with resource outages.
CASE
Spyros A. Reveliotis, Zhennan Fei
2016 — conf
Some novel traffic coordination problems and their analytical study based on Lagrangian Duality theory.
CDC
Greyson Daugherty, Spyros A. Reveliotis, Greg Mohler
2015 J jnl
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.
IEEE Trans Autom. Sci. Eng.
Zhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson
2015 — ch.
Applications of Discrete Event Systems.
Encyclopedia of Systems and Control
Spyros A. Reveliotis
2015 J jnl
Coordinating Autonomy: Sequential Resource Allocation Systems for Automation.
IEEE Robotics Autom. Mag.
Spyros A. Reveliotis
2015 — conf
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory.
CDC
Ran Li, Spyros A. Reveliotis
2015 — conf
Invariant-based Supervisory Control of Switched Discrete Event Systems.
ADHS
Spyros A. Reveliotis, Zhennan Fei
2015 J jnl
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks.
Discret. Event Dyn. Syst.
Ahmed Nazeem, Spyros A. Reveliotis
2015 J jnl
On the Complexity of Some State-Counting Problems for Bounded Petri Nets.
IEEE Trans. Autom. Control.
Spyros A. Reveliotis
2015 J jnl
Performance optimization for a class of generalized stochastic Petri nets.
Discret. Event Dyn. Syst.
Ran Li, Spyros A. Reveliotis
2015 — conf
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques.
CASE
Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis
2014 — conf
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems.
WODES
Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson
2014 J jnl
Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems.
IEEE Trans Autom. Sci. Eng.
Ahmed Nazeem, Spyros A. Reveliotis
2014 J jnl
Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation.
IEEE Trans Autom. Sci. Eng.
Christos G. Cassandras, Maria Pia Fanti, Christoforos N. Hadjicostis, Spyros A. Reveliotis, Carla Seatzu
2014 J jnl
On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems.
IEEE Trans. Autom. Control.
Spyros A. Reveliotis
2014 — conf
Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software.
CDC
Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis
2013 J jnl
A distributed protocol for motion coordination in free-range vehicular systems.
Autom.
Elzbieta Roszkowska, Spyros A. Reveliotis
2013 J jnl
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.
Discret. Event Dyn. Syst.
Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2013 J jnl
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms.
IEEE Trans. Autom. Control.
Roberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis
2013 J jnl
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.
IEEE Trans. Control. Syst. Technol.
Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
2013 B conf
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.
Petri Nets
Stéphane Lafortune, Yin Wang, Spyros A. Reveliotis
2013 J jnl
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.
Spyros A. Reveliotis, Ahmed Nazeem
2013 J jnl
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.
IEEE Trans. Autom. Control.
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
2013 — conf
Performance optimization for a class of Generalized Stochastic Petri nets.
CDC
Ran Li, Spyros A. Reveliotis
2012 — conf
An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems.
CASE
Ahmed Nazeem, Spyros A. Reveliotis
2012 — conf
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks.
WODES
Ahmed Nazeem, Spyros A. Reveliotis
2012 — conf
Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers.
CDC
Roberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis
2012 — conf
On atomicity enforcement in concurrent software via Discrete Event Systems theory.
CDC
Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang
2011 J jnl
Conflict Resolution in Free-Ranging Multivehicle Systems: A Resource Allocation Paradigm.
IEEE Trans. Robotics
Spyros A. Reveliotis, Elzbieta Roszkowska
2011 — conf
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.
CDC/ECC
Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke
2011 J jnl
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case.
IEEE Trans. Autom. Control.
Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
2011 — conf
Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory.
CASE
Ahmed Nazeem, Spyros A. Reveliotis
2011 J jnl
Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints.
Discret. Event Dyn. Syst.
Spyros A. Reveliotis, Theologos Bountourelis
2010 J jnl
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming.
IEEE Trans Autom. Sci. Eng.
Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi
2010 J jnl
On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems.
IEEE Trans. Autom. Control.
Spyros A. Reveliotis, Elzbieta Roszkowska
2010 — conf
Optimal deadlock avoidance for complex resource allocation systems through classification theory.
WODES
Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
2010 — conf
Supervisory control of software execution for failure avoidance: Experience from the Gadara project.
WODES
Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2010 — conf
Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.
CDC
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
2009 — conf
Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.
CDC
Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2009 — conf
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).
CASE
Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2009 J jnl
Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements.
Discret. Event Dyn. Syst.
Theologos Bountourelis, Spyros A. Reveliotis
2008 — conf
Conflict resolution in multi-vehicle systems: A resource allocation paradigm.
CASE
Spyros A. Reveliotis, Elzbieta Roszkowska
2008 J jnl
On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems.
IEEE Trans. Autom. Control.
Elzbieta Roszkowska, Spyros A. Reveliotis
2007 J jnl
Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces.
Discret. Event Dyn. Syst.
Spyros A. Reveliotis, Theologos Bountourelis
2007 A* conf
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems.
ICRA
Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi
2007 J jnl
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems.
IEEE Trans. Autom. Control.
Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi
2007 J jnl
Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems.
IEEE Trans. Syst. Man Cybern. Part A
Spyros A. Reveliotis
2006 J jnl
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.
Spyros A. Reveliotis
2006 — conf
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.
ICATPN
Spyros A. Reveliotis, Jin Young Choi
2005 — conf
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.
CDC/ECC
Spyros A. Reveliotis
2005 J jnl
Relative value function approximation for the capacitated re-entrant line scheduling problem.
IEEE Trans Autom. Sci. Eng.
Jin Young Choi, Spyros A. Reveliotis
2004 A* conf
Modelling and Controlling Uncertainty in Optimal Disassembly Planning through Reinforcement Learning.
ICRA
Spyros A. Reveliotis
2004 — conf
Relative value function approximation for the capacitated re-entrant line scheduling problem: an experimental investigation.
CDC
Jin Young Choi, Spyros A. Reveliotis
2003 J jnl
A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines.
IEEE Trans. Robotics Autom.
Jin Young Choi, Spyros A. Reveliotis
2003 — conf
Liveness enforcing supervision for resource allocation systems with process synchronizations.
CDC
Song Foh Chew, Mark A. Lawley, Spyros A. Reveliotis
2003 J jnl
On the Optimality of Randomized Deadlock Avoidance Policies.
Discret. Event Dyn. Syst.
Spyros A. Reveliotis, Jin Young Choi
2003 — conf
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.
ICATPN
Spyros A. Reveliotis
2003 A* conf
Structural analysis of resource allocation systems with synchronization constraints.
ICRA
Spyros A. Reveliotis
2002 J jnl
A distributed, event-driven control architecture for flexibly automated manufacturing systems.
Int. J. Comput. Integr. Manuf.
Jonghun Park, Spyros A. Reveliotis, Douglas A. Bodner, Leon F. McGinnis
2002 A* conf
An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines.
ICRA
Jin Young Choi, Spyros A. Reveliotis
2002 A* conf
Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events.
ICRA
Jonghun Park, Spyros A. Reveliotis
2002 J jnl
Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states.
IEEE Trans. Robotics Autom.
Jonghun Park, Spyros A. Reveliotis
2002 J jnl
Policy mixtures: a novel approach for enhancing the operational flexibility of resource allocation systems with alternate routings.
IEEE Trans. Robotics Autom.
Jonghun Park, Spyros A. Reveliotis
2001 A* conf
A Colored Petri Net-based Approach to the Design of 300mm Wafer Fab Controllers.
ICRA
Jonghun Park, Spyros A. Reveliotis, Douglas A. Bodner, Chen Zhou, Leon F. McGinnis
2001 B conf
A high-fidelity, web-based simulator for 300 mm wafer fabs.
SMC
Hansoo Kim, Jonghun Park, SugJe Sohn, Ying Wang, Spyros A. Reveliotis, Chen Zhou, Douglas A. Bodner, Leon F. McGinnis
2001 A* conf
Algebraic Deadlock Avoidance Policies for Conjunctive / Disjunctive resource Allocation Systems.
ICRA
Jonghun Park, Spyros A. Reveliotis
2001 J jnl
Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems".
IEEE Trans. Autom. Control.
Jonghun Park, Spyros A. Reveliotis, Mark A. Lawley, Placid M. Ferreira
2001 J jnl
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings.
IEEE Trans. Autom. Control.
Jonghun Park, Spyros A. Reveliotis
2001 J jnl
High-fidelity rapid prototyping of 300 mm fabs through discrete event system modeling.
Comput. Ind.
Jonghun Park, Spyros A. Reveliotis, Douglas A. Bodner, Chen Zhou, Jennfong Wu, Leon F. McGinnis
2001 B conf
On the optimality of randomized deadlock avoidance policies.
SMC
Spyros A. Reveliotis, Jin Young Choi
2000 — conf
A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings.
CDC
Jonghun Park, Spyros A. Reveliotis
2000 J jnl
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems.
IEEE Trans. Robotics Autom.
Jonghun Park, Spyros A. Reveliotis
2000 J jnl
Avoidance versus detection and recovery problem in buffer-space allocation of flexibly automated production systems.
IEEE Trans. Syst. Man Cybern. Part B
Spyros A. Reveliotis
2000 A* conf
Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis.
ICRA
Jonghun Park, Spyros A. Reveliotis
2000 J jnl
The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks.
IEEE Trans. Autom. Control.
Spyros A. Reveliotis
1999 J jnl
Accommodating FMS operational contingencies through routing flexibility.
IEEE Trans. Robotics Autom.
Spyros A. Reveliotis
1999 A* conf
Production Planning and Control in Flexibly Automated Manufacturing Systems: Current Status and Future Requirements.
ICRA
Spyros A. Reveliotis
1998 J jnl
A correct and scalable deadlock avoidance policy for flexible manufacturing systems.
IEEE Trans. Robotics Autom.
Mark A. Lawley, Spyros A. Reveliotis, Placid M. Ferreira
1998 A* conf
Accommodating FMS Operational Contingencies through Routing Flexibility.
ICRA
Spyros A. Reveliotis
1998 B conf
Variations of Banker's algorithm for highly flexible resource allocation systems.
SMC
Spyros A. Reveliotis
1997 A* conf
A polynomial-complexity tool for evaluating the performance of structurally controlled FMS.
ICRA
Spyros A. Reveliotis, Placid M. Ferreira
1996 J jnl
Deadlock avoidance policies for automated manufacturing cells.
IEEE Trans. Robotics Autom.
Spyros A. Reveliotis, Placid M. Ferreira
1996 A* conf
Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case.
ICRA
Spyros A. Reveliotis, Placid M. Ferreira
1991 — conf
Learning to Select a Model in a Changing World.
ML
Mieczyslaw M. Kokar, Spyros A. Reveliotis