Spyros A. Reveliotis

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 31

Top Venues

IEEE Trans Autom. Sci. Eng.

IEEE Trans. Autom. Control.

CDC

Discret. Event Dyn. Syst.

Publications

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

Spyros A. Reveliotis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Spyros A. Reveliotis