Spyros A. Reveliotis

发表

Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation

Christos G. Cassandras, Christoforos N. Hadjicostis, Maria Pia Fanti, 2014, IEEE Trans Autom. Sci. Eng..

Logical Control of Complex Resource Allocation Systems

Spyros A. Reveliotis, S. Reveliotis, 2017, Found. Trends Syst. Control..

On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems

Spyros A. Reveliotis, Elzbieta Roszkowska, 2010, IEEE Transactions on Automatic Control.

An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems

Spyros A. Reveliotis, Ahmed Nazeem, 2012, 2012 IEEE International Conference on Automation Science and Engineering (CASE).

Accommodating FMS operational contingencies through routing flexibility

Spyros A. Reveliotis, S. Reveliotis, 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming

Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi, 2007, CASE.

Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming

Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi, 2007, IEEE Transactions on Automation Science and Engineering.

Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory

Spyros A. Reveliotis, Ran Li, 2016, Discret. Event Dyn. Syst..

Production planning and control in flexibly automated manufacturing systems: current status and future requirements

Spyros A. Reveliotis, 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

Structural analysis of resource allocation systems with synchronization constraints

Spyros A. Reveliotis, S. Reveliotis, 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software

Knut Åkesson, Spyros A. Reveliotis, Zhennan Fei, 2014, 53rd IEEE Conference on Decision and Control.

conjunctive / disjunctive resource allocation systems

Jonghun Park, Spyros A. Reveliotis, 2001 .

A high-fidelity, web-based simulator for 300 mm wafer fabs

Leon F. McGinnis, Jonghun Park, Spyros A. Reveliotis, 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

Structural analysis and control of resource allocation systems using petri nets

Jonghun Park, Spyros A. Reveliotis, 2000 .

On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems

Spyros A. Reveliotis, Elzbieta Roszkowska, 2008, IEEE Transactions on Automatic Control.

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control

Scott A. Mahlke, Terence Kelly, Stéphane Lafortune, 2013, IEEE Transactions on Control Systems Technology.

A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems

Spyros A. Reveliotis, Ahmed Nazeem, 2011, IEEE Transactions on Automation Science and Engineering.

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software

Scott A. Mahlke, Terence Kelly, Stéphane Lafortune, 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states

Jonghun Park, Spyros A. Reveliotis, 2002, IEEE Trans. Robotics Autom..

Optimal Node Visitation in Stochastic Digraphs

Spyros A. Reveliotis, Theologos Bountourelis, S. Reveliotis, 2008, IEEE Transactions on Automatic Control.

Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions

Spyros A. Reveliotis, Jin Young Choi, S. Reveliotis, 2006, ICATPN.

On the Optimality of Randomized Deadlock Avoidance Policies

Spyros A. Reveliotis, Jin Young Choi, 2003, Discret. Event Dyn. Syst..

Conflict resolution in multi-vehicle systems: A resource allocation paradigm

Spyros A. Reveliotis, Elzbieta Roszkowska, S. Reveliotis, 2008, 2008 IEEE International Conference on Automation Science and Engineering.

Optimized multi-agent routing in shared guidepath networks

Spyros A. Reveliotis, Greyson Daugherty, Greg Mohler, 2017, 2017 IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI).

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

Scott A. Mahlke, Stéphane Lafortune, Spyros A. Reveliotis, 2013, IEEE Transactions on Automatic Control.

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi, 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

Learning to Select a Model in a Changing World

Mieczyslaw M. Kokar, Spyros A. Reveliotis, 1991, ML.

Performance optimization for a class of Generalized Stochastic Petri nets

Spyros A. Reveliotis, Ran Li, 2013, CDC.

Robust deadlock avoidance for sequential resource allocation systems with resource outages

Spyros A. Reveliotis, Zhennan Fei, 2016, 2016 IEEE International Conference on Automation Science and Engineering (CASE).

Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems

Spyros A. Reveliotis, S. Reveliotis, 2018, 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE).

An analytical investigation of the scheduling problem for capacitated re-entrant lines

Spyros A. Reveliotis, Jin Young Choi, 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory

Spyros A. Reveliotis, Ran Li, S. Reveliotis, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems

Spyros A. Reveliotis, Ahmed Nazeem, 2010, 2010 IEEE International Conference on Automation Science and Engineering.

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Scott A. Mahlke, Terence Kelly, Stéphane Lafortune, 2013, Discret. Event Dyn. Syst..

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi, 2007, IEEE Transactions on Automatic Control.

Policy mixtures: a novel approach for enhancing the operational flexibility of resource allocation systems with alternate routings

Jonghun Park, Spyros A. Reveliotis, S. Reveliotis, 2002, IEEE Trans. Robotics Autom..

Efficient learning algorithms for episodic tasks with acyclic state spaces

Spyros A. Reveliotis, Theologos Bountourelis, 2006, 2006 IEEE International Conference on Automation Science and Engineering.

Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints

Spyros A. Reveliotis, Theologos Bountourelis, 2011, Discret. Event Dyn. Syst..

Algebraic deadlock avoidance policies for conjunctive/disjunctive resource allocation systems

Jonghun Park, Spyros A. Reveliotis, 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case

Stéphane Lafortune, Spyros A. Reveliotis, Ahmed Nazeem, 2011, IEEE Transactions on Automatic Control.

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, 2006, IEEE Transactions on Automation Science and Engineering.

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case

Spyros A. Reveliotis, Ahmed Nazeem, 2012, IEEE Transactions on Automatic Control.

Coordinating Autonomy: Sequential Resource Allocation Systems for Automation

Spyros A. Reveliotis, S. Reveliotis, 2015, IEEE Robotics & Automation Magazine.

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, 2016, IEEE Trans. Autom. Control..

The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks

Spyros A. Reveliotis, S. Reveliotis, 2000, IEEE Trans. Autom. Control..

Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems

Jonghun Park, Spyros A. Reveliotis, 2000, IEEE Trans. Robotics Autom..

On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems

Spyros A. Reveliotis, 2014, IEEE Transactions on Automatic Control.

Deadlock avoidance policies for automated manufacturing cells

Spyros A. Reveliotis, Placid M. Ferreira, 1996, IEEE Trans. Robotics Autom..

Discrete, Continuous and Hybrid Petri Nets (David, R. and Alla, H.; 2004)

Spyros A. Reveliotis, 2008 .

Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms

Roberto Cordone, Luigi Piroddi, Spyros A. Reveliotis, 2013, IEEE Transactions on Automatic Control.

Performance optimization for a class of generalized stochastic Petri nets

Spyros A. Reveliotis, Ran Li, S. Reveliotis, 2013, 52nd IEEE Conference on Decision and Control.

Modelling and controlling uncertainty in optimal disassembly planning through reinforcement learning

Spyros A. Reveliotis, S. Reveliotis, 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

On the “Counter-Example” in the Article “Max $^{\prime}$-Controlled Siphons for Liveness of $S^{3}PGR^{2}$” Regarding the Results in “Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings”

Jonghun Park, Spyros A. Reveliotis, S. Reveliotis, 2001, IEEE Transactions on Automatic Control.

Optimal deadlock avoidance for complex resource allocation systems through classification theory

Stéphane Lafortune, Spyros A. Reveliotis, Ahmed Nazeem, 2010, WODES.

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets

Scott A. Mahlke, Stéphane Lafortune, Spyros A. Reveliotis, 2011, IEEE Conference on Decision and Control and European Control Conference.

Solving the Lagrangian dual problem for some traffic coordination problems through linear programming

Spyros A. Reveliotis, Greyson Daugherty, Greg Mohler, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements

Spyros A. Reveliotis, Theologos Bountourelis, S. Reveliotis, 2008, 2008 9th International Workshop on Discrete Event Systems.

On atomicity enforcement in concurrent software via Discrete Event Systems theory

Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

A distributed, event-driven control architecture for flexibly automated manufacturing systems

Leon F. McGinnis, Jonghun Park, Spyros A. Reveliotis, 2002, Int. J. Comput. Integr. Manuf..

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems

Knut Åkesson, Spyros A. Reveliotis, Zhennan Fei, 2015, IEEE Transactions on Automation Science and Engineering.

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, 2013, SIAM J. Control. Optim..

Enhancing the flexibility of algebraic deadlock avoidance policies through Petri net structural analysis

Jonghun Park, Spyros A. Reveliotis, 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

On the Complexity of Some State-Counting Problems for Bounded Petri Nets

Spyros A. Reveliotis, S. Reveliotis, 2015, IEEE Transactions on Automatic Control.

Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces

Spyros A. Reveliotis, Theologos Bountourelis, S. Reveliotis, 2007, Discret. Event Dyn. Syst..

Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets

Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, 2013, Petri Nets.

A polynomial-complexity tool for evaluating the performance of structurally controlled FMS

Spyros A. Reveliotis, Placid M. Ferreira, 1997, Proceedings of International Conference on Robotics and Automation.

Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers

Roberto Cordone, Luigi Piroddi, Spyros A. Reveliotis, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case

Spyros A. Reveliotis, Placid M. Ferreira, 1996, Proceedings of IEEE International Conference on Robotics and Automation.

Liveness enforcing supervision for resource allocation systems with forbidden states and uncontrollable events

Jonghun Park, Spyros A. Reveliotis, 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques

Knut Åkesson, Spyros A. Reveliotis, Zhennan Fei, 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE).

Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems

Spyros A. Reveliotis, Ahmed Nazeem, 2014, IEEE Transactions on Automation Science and Engineering.

A distributed protocol for motion coordination in free-range vehicular systems

Spyros A. Reveliotis, Elzbieta Roszkowska, S. Reveliotis, 2013, Autom..

Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks

Spyros A. Reveliotis, Ahmed Nazeem, S. Reveliotis, 2014, Discrete Event Dynamic Systems.

A correct and scalable deadlock avoidance policy for flexible manufacturing systems

Spyros A. Reveliotis, Mark A. Lawley, Placid M. Ferreira, 1998, IEEE Trans. Robotics Autom..

Conflict Resolution in Free-Ranging Multivehicle Systems: A Resource Allocation Paradigm

Spyros A. Reveliotis, Elzbieta Roszkowska, S. Reveliotis, 2011, IEEE Transactions on Robotics.

Customized learning algorithms for episodic tasks with acyclic state spaces

Spyros A. Reveliotis, Theologos Bountourelis, S. Reveliotis, 2009, 2009 IEEE International Conference on Automation Science and Engineering.

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, 2001, IEEE Trans. Autom. Control..

Reinforcement learning: Architectures and algorithms

Mieczyslaw M. Kokar, Spyros A. Reveliotis, M. Kokar, 1993, Int. J. Intell. Syst..

A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines

Spyros A. Reveliotis, Jin Young Choi, S. Reveliotis, 2003, IEEE Trans. Robotics Autom..

Relative value function approximation for the capacitated re-entrant line scheduling problem

Spyros A. Reveliotis, Jin Young Choi, 2004, IEEE Transactions on Automation Science and Engineering.

Applications of Discrete Event Systems

Spyros A. Reveliotis, S. Reveliotis, 2019, Encyclopedia of Systems and Control.

A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems

Knut Åkesson, Spyros A. Reveliotis, Zhennan Fei, 2014, WODES.

Conflict resolution in AGV systems

Spyros A. Reveliotis, 2000 .

Supervisory control of software execution for failure avoidance: Experience from the Gadara project

Scott A. Mahlke, Terence Kelly, Stéphane Lafortune, 2010, WODES.

A colored Petri net-based approach to the design of 300 mm wafer fab controllers

Leon F. McGinnis, Jonghun Park, Spyros A. Reveliotis, 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

Real-time management of complex resource allocation systems: Necessity, achievements and further challenges

Spyros A. Reveliotis, S. Reveliotis, 2016, Annu. Rev. Control..

High-fidelity rapid prototyping of 300 mm fabs through discrete event system modeling

Leon F. McGinnis, Jonghun Park, Spyros A. Reveliotis, 2001, Comput. Ind..

On the optimality of randomized deadlock avoidance policies

Spyros A. Reveliotis, Jin Young Choi, 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation Systems

Spyros A. Reveliotis, Michael Ibrahim, 2018, 2018 IEEE Conference on Decision and Control (CDC).

Some novel traffic coordination problems and their analytical study based on Lagrangian Duality theory

Spyros A. Reveliotis, Greyson Daugherty, Greg Mohler, 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

Avoidance versus detection and recovery problem in buffer-space allocation of flexibly automated production systems

Spyros A. Reveliotis, S. Reveliotis, 2000, IEEE Trans. Syst. Man Cybern. Part B.

Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems

Spyros A. Reveliotis, 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety

Spyros A. Reveliotis, Elzbieta Roszkowska, S. Reveliotis, 2010, 2010 IEEE International Conference on Robotics and Automation.

Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks

Spyros A. Reveliotis, Ahmed Nazeem, 2012, WODES.

Accommodating FMS operational contingencies through routing flexibility

Spyros A. Reveliotis, 1999, IEEE Trans. Robotics Autom..

Variations of Banker's algorithm for highly flexible resource allocation systems

Spyros A. Reveliotis, S. Reveliotis, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

Throughput maximization of capacitated re-entrant lines through fluid relaxation

Spyros A. Reveliotis, Michael Ibrahim, S. Reveliotis, 2018, 2018 Annual American Control Conference (ACC).

Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets

Scott A. Mahlke, Stéphane Lafortune, Spyros A. Reveliotis, 2010, 49th IEEE Conference on Decision and Control (CDC).

On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems

Spyros A. Reveliotis, S. Reveliotis, 2003, ICATPN.

Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory

Spyros A. Reveliotis, Ahmed Nazeem, 2011, 2011 IEEE International Conference on Automation Science and Engineering.

Invariant-based Supervisory Control of Switched Discrete Event Systems

Spyros A. Reveliotis, Zhennan Fei, 2015, ADHS.

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)

Scott A. Mahlke, Terence Kelly, Stéphane Lafortune, 2009, 2009 IEEE International Conference on Automation Science and Engineering.

Computational Learning Environments in IE Education

Marc Goetschalckx, Leon F. McGinnis, Spyros A. Reveliotis, 2002 .

Principal Investigator/Project Director: Dr. Spiridon A. Reveliotis Institution: Georgia Institute of Technology Award Number: DMII-MES-0318657 Project Title: Uncertainty Management in Optimal Disassembly Planning through Learning-based Strategies Uncertainty Management in Optimal Disassembly Planni

Spyros A. Reveliotis, S. Reveliotis, 2003 .