Learning to Select a Model in a Changing World. - Mieczyslaw M. Kokar; Spyros A. Reveliotis (ML, 1991)

Reinforcement learning: Architectures and algorithms. - Mieczyslaw M. Kokar; Spiridon Reveliotis (Int. J. Intell. Syst., 1993)

A framework for on-line learning of plant models and control policies for restructurable control. - Spiridon Reveliotis; Mieczyslaw M. Kokar (IEEE Trans. Syst. Man Cybern., 1995)

Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case. - Spyros A. Reveliotis; Placid M. Ferreira (ICRA, 1996)

An analytical framework for evaluating and optimizing the performance of structurally controlled flexible manufacturing systems. - Spiridon Reveliotis; Placid M. Ferreira (ICRA, 1996)

Deadlock avoidance policies for automated manufacturing cells. - Spyros A. Reveliotis; Placid M. Ferreira (IEEE Trans. Robotics Autom., 1996)

A polynomial-complexity tool for evaluating the performance of structurally controlled FMS. - Spyros A. Reveliotis; Placid M. Ferreira (ICRA, 1997)

Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems. - Spiridon Reveliotis; Mark Lawley; Placid M. Ferreira (IEEE Trans. Autom. Control., 1997)

Variations of Banker's algorithm for highly flexible resource allocation systems. - Spyros A. Reveliotis (SMC, 1998)

A correct and scalable deadlock avoidance policy for flexible manufacturing systems. - Mark A. Lawley; Spyros A. Reveliotis; Placid M. Ferreira (IEEE Trans. Robotics Autom., 1998)

Production Planning and Control in Flexibly Automated Manufacturing Systems: Current Status and Future Requirements. - Spyros A. Reveliotis (ICRA, 1999)

Accommodating FMS operational contingencies through routing flexibility. - Spyros A. Reveliotis (IEEE Trans. Robotics Autom., 1999)

A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings. - Jonghun Park; Spyros A. Reveliotis (CDC, 2000)

Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis. - Jonghun Park; Spyros A. Reveliotis (ICRA, 2000)

The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks. - Spyros A. Reveliotis (IEEE Trans. Autom. Control., 2000)

Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. - Jonghun Park; Spyros A. Reveliotis (IEEE Trans. Robotics Autom., 2000)

Avoidance versus detection and recovery problem in buffer-space allocation of flexibly automated production systems. - Spyros A. Reveliotis (IEEE Trans. Syst. Man Cybern. Part B, 2000)

Algebraic Deadlock Avoidance Policies for Conjunctive / Disjunctive resource Allocation Systems. - Jonghun Park; Spyros A. Reveliotis (ICRA, 2001)

A Colored Petri Net-based Approach to the Design of 300mm Wafer Fab Controllers. - Jonghun Park; Spyros A. Reveliotis; Douglas A. Bodner; Chen Zhou 006; Leon F. McGinnis (ICRA, 2001)

A high-fidelity, web-based simulator for 300 mm wafer fabs. - Hansoo Kim 001; Jonghun Park; SugJe Sohn; Ying Wang 013; Spyros A. Reveliotis; Chen Zhou 006; Douglas A. Bodner; Leon F. McGinnis (SMC, 2001)

High-fidelity rapid prototyping of 300 mm fabs through discrete event system modeling. - Jonghun Park; Spyros A. Reveliotis; Douglas A. Bodner; Chen Zhou 006; Jennfong Wu; Leon F. McGinnis (Comput. Ind., 2001)

Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. - Jonghun Park; Spyros A. Reveliotis (IEEE Trans. Autom. Control., 2001)

Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems". - Jonghun Park; Spyros A. Reveliotis; Mark A. Lawley; Placid M. Ferreira (IEEE Trans. Autom. Control., 2001)

An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines. - Jin Young Choi 001; Spyros A. Reveliotis (ICRA, 2002)

Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events. - Jonghun Park; Spyros A. Reveliotis (ICRA, 2002)

A distributed, event-driven control architecture for flexibly automated manufacturing systems. - Jonghun Park; Spyros A. Reveliotis; Douglas A. Bodner; Leon F. McGinnis (Int. J. Comput. Integr. Manuf., 2002)

Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states. - Jonghun Park; Spyros A. Reveliotis (IEEE Trans. Robotics Autom., 2002)

Policy mixtures: a novel approach for enhancing the operational flexibility of resource allocation systems with alternate routings. - Jonghun Park; Spyros A. Reveliotis (IEEE Trans. Robotics Autom., 2002)

On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. - Spyros A. Reveliotis (ICATPN, 2003)

Liveness enforcing supervision for resource allocation systems with process synchronizations. - Song Foh Chew; Mark A. Lawley; Spyros A. Reveliotis (CDC, 2003)

Structural analysis of resource allocation systems with synchronization constraints. - Spyros A. Reveliotis (ICRA, 2003)

On the Optimality of Randomized Deadlock Avoidance Policies. - Spyros A. Reveliotis; Jin Young Choi 001 (Discret. Event Dyn. Syst., 2003)

A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines. - Jin Young Choi 001; Spyros A. Reveliotis (IEEE Trans. Robotics Autom., 2003)

Relative value function approximation for the capacitated re-entrant line scheduling problem: an experimental investigation. - Jin Young Choi 001; Spyros A. Reveliotis (CDC, 2004)

Modelling and Controlling Uncertainty in Optimal Disassembly Planning through Reinforcement Learning. - Spyros A. Reveliotis (ICRA, 2004)

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. - Spyros A. Reveliotis (CDC/ECC, 2005)

Relative value function approximation for the capacitated re-entrant line scheduling problem. - Jin Young Choi 001; Spyros A. Reveliotis (IEEE Trans Autom. Sci. Eng., 2005)

Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions. - Spyros A. Reveliotis; Jin Young Choi 001 (ICATPN, 2006)

Efficient learning algorithms for episodic tasks with acyclic state spaces. - Spiridon Reveliotis; Theologos Bountourelis (CASE, 2006)

A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets. - Spyros A. Reveliotis (IEEE Trans Autom. Sci. Eng., 2006)

Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces. - Spyros A. Reveliotis; Theologos Bountourelis (Discret. Event Dyn. Syst., 2007)

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems. - Spyros A. Reveliotis; Elzbieta Roszkowska; Jin Young Choi 001 (IEEE Trans. Autom. Control., 2007)

Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems. - Spyros A. Reveliotis (IEEE Trans. Syst. Man Cybern. Part A, 2007)

Conflict resolution in multi-vehicle systems: A resource allocation paradigm. - Spyros A. Reveliotis; Elzbieta Roszkowska (CASE, 2008)

Optimal Node Visitation in Stochastic Digraphs. - Theologos Bountourelis; Spiridon Reveliotis (IEEE Trans. Autom. Control., 2008)

On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems. - Elzbieta Roszkowska; Spyros A. Reveliotis (IEEE Trans. Autom. Control., 2008)

Customized learning algorithms for episodic tasks with acyclic state spaces. - Theologos Bountourelis; Spiridon Reveliotis (CASE, 2009)

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). - Yin Wang 001; Hongwei Liao; Ahmed Nazeem; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke; Stéphane Lafortune (CASE, 2009)

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. - Yin Wang 001; Hongwei Liao; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke; Stéphane Lafortune (CDC, 2009)

Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements. - Theologos Bountourelis; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2009)

A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems. - Ahmed Nazeem; Spiridon Reveliotis (CASE, 2010)

Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. - Hongwei Liao; Stéphane Lafortune; Spyros A. Reveliotis; Yin Wang 001; Scott A. Mahlke (CDC, 2010)

Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety. - Elzbieta Roszkowska; Spiridon Reveliotis (ICRA, 2010)

Optimal deadlock avoidance for complex resource allocation systems through classification theory. - Ahmed Nazeem; Spyros A. Reveliotis; Yin Wang 001; Stéphane Lafortune (WODES, 2010)

Supervisory control of software execution for failure avoidance: Experience from the Gadara project. - Yin Wang 001; Hyoun Kyu Cho; Hongwei Liao; Ahmed Nazeem; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (WODES, 2010)

On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems. - Spyros A. Reveliotis; Elzbieta Roszkowska (IEEE Trans. Autom. Control., 2010)

Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming. - Spyros A. Reveliotis; Elzbieta Roszkowska; Jin Young Choi 001 (IEEE Trans Autom. Sci. Eng., 2010)

Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory. - Ahmed Nazeem; Spyros A. Reveliotis (CASE, 2011)

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. - Hongwei Liao; Jason Stanley; Yin Wang 001; Stéphane Lafortune; Spyros A. Reveliotis; Scott A. Mahlke (CDC/ECC, 2011)

Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints. - Spyros A. Reveliotis; Theologos Bountourelis (Discret. Event Dyn. Syst., 2011)

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. - Ahmed Nazeem; Spyros A. Reveliotis; Yin Wang 001; Stéphane Lafortune (IEEE Trans. Autom. Control., 2011)

A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems. - Ahmed Nazeem; Spiridon Reveliotis (IEEE Trans Autom. Sci. Eng., 2011)

Conflict Resolution in Free-Ranging Multivehicle Systems: A Resource Allocation Paradigm. - Spyros A. Reveliotis; Elzbieta Roszkowska (IEEE Trans. Robotics, 2011)

An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems. - Ahmed Nazeem; Spyros A. Reveliotis (CASE, 2012)

Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers. - Roberto Cordone; Ahmed Nazeem; Luigi Piroddi; Spyros A. Reveliotis (CDC, 2012)

On atomicity enforcement in concurrent software via Discrete Event Systems theory. - Yin Wang 001; Peng Liu 010; Terence Kelly; Stéphane Lafortune; Spyros A. Reveliotis; Charles Zhang (CDC, 2012)

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case. - Ahmed Nazeem; Spiridon Reveliotis (IEEE Trans. Autom. Control., 2012)

Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. - Stéphane Lafortune; Yin Wang 001; Spyros A. Reveliotis (Petri Nets, 2013)

A distributed protocol for motion coordination in free-range vehicular systems. - Elzbieta Roszkowska; Spyros A. Reveliotis (Autom., 2013)

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. - Hongwei Liao; Yin Wang 001; Hyoun Kyu Cho; Jason Stanley; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 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. - Spyros A. Reveliotis; Ahmed Nazeem (SIAM J. Control. Optim., 2013)

Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms. - Roberto Cordone; Ahmed Nazeem; Luigi Piroddi; Spyros A. Reveliotis (IEEE Trans. Autom. Control., 2013)

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. - Hongwei Liao; Stéphane Lafortune; Spyros A. Reveliotis; Yin Wang 001; Scott A. Mahlke (IEEE Trans. Autom. Control., 2013)

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. - Hongwei Liao; Yin Wang 001; Jason Stanley; Stéphane Lafortune; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke (IEEE Trans. Control. Syst. Technol., 2013)

Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software. - Zhennan Fei; Knut Åkesson; Spyros A. Reveliotis (CDC, 2014)

A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems. - Zhennan Fei; Spyros A. Reveliotis; Knut Åkesson (WODES, 2014)

On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems. - Spyros A. Reveliotis (IEEE Trans. Autom. Control., 2014)

Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation. - Christos G. Cassandras; Maria Pia Fanti; Christoforos N. Hadjicostis; Spyros A. Reveliotis; Carla Seatzu (IEEE Trans Autom. Sci. Eng., 2014)

Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems. - Ahmed Nazeem; Spyros A. Reveliotis (IEEE Trans Autom. Sci. Eng., 2014)

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques. - Zhennan Fei; Knut Åkesson; Spyros A. Reveliotis (CASE, 2015)

Performance optimization for a class of generalized stochastic Petri nets. - Ran Li; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2015)

Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. - Ahmed Nazeem; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2015)

Coordinating Autonomy: Sequential Resource Allocation Systems for Automation. - Spyros A. Reveliotis (IEEE Robotics Autom. Mag., 2015)

On the Complexity of Some State-Counting Problems for Bounded Petri Nets. - Spyros A. Reveliotis (IEEE Trans. Autom. Control., 2015)

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems. - Zhennan Fei; Spyros A. Reveliotis; Sajed Miremadi; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2015)

Applications of Discrete Event Systems. - Spyros A. Reveliotis (Encyclopedia of Systems and Control, 2015)

Some novel traffic coordination problems and their analytical study based on Lagrangian Duality theory. - Greyson Daugherty; Spyros A. Reveliotis; Greg Mohler (CDC, 2016)

Real-time management of complex resource allocation systems: Necessity, achievements and further challenges. - Spyros A. Reveliotis (Annu. Rev. Control., 2016)

Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory. - Ran Li; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2016)

On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S3PGR2" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings". - Spyros A. Reveliotis (IEEE Trans. Autom. Control., 2016)

Solving the Lagrangian dual problem for some traffic coordination problems through linear programming. - Greyson Daugherty; Spyros A. Reveliotis; Greg Mohler (CDC, 2017)

Optimized multi-agent routing in shared guidepath networks. - Greyson Daugherty; Spyros A. Reveliotis; Greg Mohler (SOLI, 2017)

Logical Control of Complex Resource Allocation Systems. - Spyros A. Reveliotis (Found. Trends Syst. Control., 2017)

Invariant-Based Supervisory Control of Switched Discrete Event Systems. - Spyros A. Reveliotis; Zhennan Fei (IEEE Trans. Autom. Control., 2017)

Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages. - Spyros A. Reveliotis; Zhennan Fei (IEEE Trans Autom. Sci. Eng., 2017)

Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems. - Spyros A. Reveliotis (CASE, 2018)

Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation Systems. - Michael Ibrahim 001; Spyros A. Reveliotis (CDC, 2018)

Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling (Extended Abstract). - Michael Ibrahim 001; Spyros A. Reveliotis (ETFA, 2019)

Some new results on the state liveness of open guidepath-based traffic systems. - Spyros A. Reveliotis; Tomás Masopust (MED, 2019)

Efficient generation of performance bounds for a class of traffic scheduling problems. - Greyson Daugherty; Spyros A. Reveliotis; Greg Mohler (Discret. Event Dyn. Syst., 2019)

Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling. - Michael Ibrahim 001; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2019)

Optimized Multiagent Routing for a Class of Guidepath-Based Transport Systems. - Greyson Daugherty; Spyros A. Reveliotis; Greg Mohler (IEEE Trans Autom. Sci. Eng., 2019)

Throughput Maximization of Capacitated Re-Entrant Lines Through Fluid Relaxation. - Michael Ibrahim 001; Spyros A. Reveliotis (IEEE Trans Autom. Sci. Eng., 2019)

A Correction and Some Comments on the Article "Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets". - Spyros A. Reveliotis (IEEE Trans. Control. Syst. Technol., 2019)

On the state liveness of some classes of guidepath-based transport systems and its computational complexity. - Spyros A. Reveliotis (Autom., 2020)

Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems. - Spyros A. Reveliotis; Tomás Masopust (IEEE Trans. Autom. Control., 2020)

An MPC Scheme for Traffic Coordination in Open and Irreversible, Zone-Controlled, Guidepath-Based Transport Systems. - Spyros A. Reveliotis (IEEE Trans Autom. Sci. Eng., 2020)

Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation. - Michael Ibrahim 001; Spyros A. Reveliotis; Ahmed Nazeem (IEEE Trans. Autom. Control., 2021)

Assessing and Restoring "Traffic-State Order" in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems. - Spyros A. Reveliotis (IEEE Trans Autom. Sci. Eng., 2022)

Min-Time Coverage in Constricted Environments: Problem Formulations and Complexity Analysis. - Spyros A. Reveliotis; Young-In Kim 002 (IEEE Trans. Control. Netw. Syst., 2022)

Min-Time Coverage in Constricted Environments with Arbitrary Guidepath Networks. - Young-In Kim 002; Spyros A. Reveliotis (CDC, 2023)

A streamlined heuristic for the problem of Min-Time Coverage in Constricted Environments (Extended Abstract). - Young-In Kim 002; Spyros A. Reveliotis (ETFA, 2023)

A Strong Combinatorial Relaxation for the Problem of Min-Time Coverage in Constricted Environments. - Young-In Kim 002; Spyros A. Reveliotis (IEEE Trans. Autom. Control., 2024)

A Heuristic Approach to the Problem of Min-Time Coverage in Constricted Environments. - Young-In Kim 002; Spyros A. Reveliotis (IEEE Trans. Control. Netw. Syst., 2024)

A Streamlined Heuristic for the Problem of Min-Time Coverage in Constricted Environments. - Young-In Kim 002; Spyros A. Reveliotis (IEEE Trans Autom. Sci. Eng., 2025)

Stable Task Allocation in Multi-Agent Systems with Lexicographic Preferences. - Spyros A. Reveliotis; Eva Robillard (CoRR, 2025)