default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSpyros A. Reveliotis
Spiridon Reveliotis
Person information
- affiliation: Georgia Institute of Technology, Atlanta, USA
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j65]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): 2963-2978 (2024)- [j64]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): 635-647 (2024) - 2023
- [c59]Young-In Kim, Spyros A. Reveliotis:
Min-Time Coverage in Constricted Environments with Arbitrary Guidepath Networks. CDC 2023: 6950-6957 - [c58]Young-In Kim, Spyros A. Reveliotis:
A streamlined heuristic for the problem of Min-Time Coverage in Constricted Environments (Extended Abstract). ETFA 2023: 1-4 - 2022
- [j63]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): 1286-1295 (2022) - [j62]Spyros A. Reveliotis, Young-In Kim:
Min-Time Coverage in Constricted Environments: Problem Formulations and Complexity Analysis. IEEE Trans. Control. Netw. Syst. 9(1): 172-183 (2022) - 2021
- [j61]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): 3906-3921 (2021) - 2020
- [j60]Spyros A. Reveliotis:
On the state liveness of some classes of guidepath-based transport systems and its computational complexity. Autom. 113: 108777 (2020) - [j59]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): 2883-2898 (2020) - [j58]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): 1528-1542 (2020)
2010 – 2019
- 2019
- [j57]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): 211-235 (2019) - [j56]Michael Ibrahim, Spyros A. Reveliotis:
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling. Discret. Event Dyn. Syst. 29(3): 393-409 (2019) - [j55]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): 363-381 (2019) - [j54]Michael Ibrahim, Spyros A. Reveliotis:
Throughput Maximization of Capacitated Re-Entrant Lines Through Fluid Relaxation. IEEE Trans Autom. Sci. Eng. 16(2): 792-810 (2019) - [j53]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): 459-461 (2019) - [c57]Spyros A. Reveliotis:
An MPC scheme for traffic coordination in open and irreversible, zone-controlled, guidepath-based transport systems. CASE 2019: 1782-1788 - [c56]Michael Ibrahim, Spyros A. Reveliotis:
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling (Extended Abstract). ETFA 2019: 1457-1460 - [c55]Spyros A. Reveliotis, Tomás Masopust:
Some new results on the state liveness of open guidepath-based traffic systems. MED 2019: 398-404 - 2018
- [c54]Michael Ibrahim, Spyros A. Reveliotis:
Throughput maximization of capacitated re-entrant lines through fluid relaxation. ACC 2018: 3961-3968 - [c53]Spyros A. Reveliotis:
Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems. CASE 2018: 520-527 - [c52]Michael Ibrahim, Spyros A. Reveliotis:
Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation Systems. CDC 2018: 3968-3974 - 2017
- [j52]Spyros A. Reveliotis:
Logical Control of Complex Resource Allocation Systems. Found. Trends Syst. Control. 4(1-2): 1-223 (2017) - [j51]Spyros A. Reveliotis, Zhennan Fei:
Invariant-Based Supervisory Control of Switched Discrete Event Systems. IEEE Trans. Autom. Control. 62(2): 921-927 (2017) - [j50]Spyros A. Reveliotis, Zhennan Fei:
Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages. IEEE Trans Autom. Sci. Eng. 14(4): 1695-1711 (2017) - [c51]Greyson Daugherty, Spyros A. Reveliotis, Greg Mohler:
Solving the Lagrangian dual problem for some traffic coordination problems through linear programming. CDC 2017: 5660-5665 - [c50]Greyson Daugherty, Spyros A. Reveliotis, Greg Mohler:
Optimized multi-agent routing in shared guidepath networks. SOLI 2017: 68-73 - 2016
- [j49]Spyros A. Reveliotis:
Real-time management of complex resource allocation systems: Necessity, achievements and further challenges. Annu. Rev. Control. 41: 147-158 (2016) - [j48]Ran Li, Spyros A. Reveliotis:
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory. Discret. Event Dyn. Syst. 26(3): 511-537 (2016) - [j47]Spyros A. Reveliotis:
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". IEEE Trans. Autom. Control. 61(1): 194-197 (2016) - [c49]Spyros A. Reveliotis, Zhennan Fei:
Robust deadlock avoidance for sequential resource allocation systems with resource outages. CASE 2016: 864-871 - [c48]Greyson Daugherty, Spyros A. Reveliotis, Greg Mohler:
Some novel traffic coordination problems and their analytical study based on Lagrangian Duality theory. CDC 2016: 1701-1708 - 2015
- [j46]Ahmed Nazeem, Spyros A. Reveliotis:
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. Discret. Event Dyn. Syst. 25(1-2): 31-63 (2015) - [j45]Ran Li, Spyros A. Reveliotis:
Performance optimization for a class of generalized stochastic Petri nets. Discret. Event Dyn. Syst. 25(3): 387-417 (2015) - [j44]Spyros A. Reveliotis:
Coordinating Autonomy: Sequential Resource Allocation Systems for Automation. IEEE Robotics Autom. Mag. 22(2): 77-94 (2015) - [j43]Spyros A. Reveliotis:
On the Complexity of Some State-Counting Problems for Bounded Petri Nets. IEEE Trans. Autom. Control. 60(1): 205-210 (2015) - [j42]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): 990-1006 (2015) - [c47]Spyros A. Reveliotis, Zhennan Fei:
Invariant-based Supervisory Control of Switched Discrete Event Systems. ADHS 2015: 86-92 - [c46]Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis:
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques. CASE 2015: 799-806 - [c45]Ran Li, Spyros A. Reveliotis:
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory. CDC 2015: 3514-3521 - [r1]Spyros A. Reveliotis:
Applications of Discrete Event Systems. Encyclopedia of Systems and Control 2015 - 2014
- [j41]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): 2509-2511 (2014) - [j40]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): 3-5 (2014) - [j39]Ahmed Nazeem, Spyros A. Reveliotis:
Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems. IEEE Trans Autom. Sci. Eng. 11(1): 111-124 (2014) - [c44]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: 5935-5942 - [c43]Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson:
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems. WODES 2014: 362-369 - 2013
- [j38]Elzbieta Roszkowska, Spyros A. Reveliotis:
A distributed protocol for motion coordination in free-range vehicular systems. Autom. 49(6): 1639-1653 (2013) - [j37]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): 157-195 (2013) - [j36]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): 1707-1726 (2013) - [j35]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): 1123-1138 (2013) - [j34]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): 2772-2787 (2013) - [j33]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): 2067-2082 (2013) - [c42]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: 21-28 - [c41]Ran Li, Spyros A. Reveliotis:
Performance optimization for a class of Generalized Stochastic Petri nets. CDC 2013: 7597-7602 - 2012
- [j32]Ahmed Nazeem, Spiridon Reveliotis:
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case. IEEE Trans. Autom. Control. 57(7): 1670-1684 (2012) - [c40]Ahmed Nazeem, Spyros A. Reveliotis:
An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems. CASE 2012: 686-693 - [c39]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: 7230-7237 - [c38]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: 7244-7251 - [c37]Ahmed Nazeem, Spyros A. Reveliotis:
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. WODES 2012: 286-293 - 2011
- [j31]Spyros A. Reveliotis, Theologos Bountourelis:
Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints. Discret. Event Dyn. Syst. 21(4): 499-518 (2011) - [j30]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): 1818-1833 (2011) - [j29]Ahmed Nazeem, Spiridon Reveliotis:
A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems. IEEE Trans Autom. Sci. Eng. 8(4): 766-779 (2011) - [j28]Spyros A. Reveliotis, Elzbieta Roszkowska:
Conflict Resolution in Free-Ranging Multivehicle Systems: A Resource Allocation Paradigm. IEEE Trans. Robotics 27(2): 283-296 (2011) - [c36]Ahmed Nazeem, Spyros A. Reveliotis:
Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory. CASE 2011: 405-412 - [c35]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: 1142-1148 - 2010
- [j27]Spyros A. Reveliotis, Elzbieta Roszkowska:
On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems. IEEE Trans. Autom. Control. 55(7): 1646-1651 (2010) - [j26]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): 240-248 (2010) - [c34]Ahmed Nazeem, Spiridon Reveliotis:
A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems. CASE 2010: 451-458 - [c33]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: 2797-2804 - [c32]Elzbieta Roszkowska, Spiridon Reveliotis:
Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety. ICRA 2010: 322-327 - [c31]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: 259-266 - [c30]Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune:
Optimal deadlock avoidance for complex resource allocation systems through classification theory. WODES 2010: 267-274
2000 – 2009
- 2009
- [j25]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): 347-376 (2009) - [c29]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: 37-41 - [c28]Theologos Bountourelis, Spiridon Reveliotis:
Customized learning algorithms for episodic tasks with acyclic state spaces. CASE 2009: 627-634 - [c27]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: 4971-4976 - 2008
- [j24]Elzbieta Roszkowska, Spyros A. Reveliotis:
On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems. IEEE Trans. Autom. Control. 53(7): 1689-1695 (2008) - [j23]Theologos Bountourelis, Spiridon Reveliotis:
Optimal Node Visitation in Stochastic Digraphs. IEEE Trans. Autom. Control. 53(11): 2558-2570 (2008) - [c26]Spyros A. Reveliotis, Elzbieta Roszkowska:
Conflict resolution in multi-vehicle systems: A resource allocation paradigm. CASE 2008: 115-121 - 2007
- [j22]Spyros A. Reveliotis, Theologos Bountourelis:
Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces. Discret. Event Dyn. Syst. 17(3): 307-327 (2007) - [j21]Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi:
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems. IEEE Trans. Autom. Control. 52(12): 2345-2350 (2007) - [j20]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): 319-328 (2007) - [c25]Spiridon Reveliotis, Elzbieta Roszkowska, Jin Young Choi:
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming. CASE 2007: 200-206 - [c24]Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi:
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems. ICRA 2007: 991-996 - 2006
- [j19]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): 462-468 (2006) - [c23]Spyros A. Reveliotis, Jin Young Choi:
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions. ICATPN 2006: 322-341 - [c22]Spiridon Reveliotis, Theologos Bountourelis:
Efficient learning algorithms for episodic tasks with acyclic state spaces. CASE 2006: 411-418 - 2005
- [j18]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): 285-299 (2005) - [c21]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: 2113-2118 - 2004
- [c20]Jin Young Choi, Spyros A. Reveliotis:
Relative value function approximation for the capacitated re-entrant line scheduling problem: an experimental investigation. CDC 2004: 3661-3667 - [c19]Spyros A. Reveliotis:
Modelling and Controlling Uncertainty in Optimal Disassembly Planning through Reinforcement Learning. ICRA 2004: 2625-2632 - 2003
- [j17]Spyros A. Reveliotis, Jin Young Choi:
On the Optimality of Randomized Deadlock Avoidance Policies. Discret. Event Dyn. Syst. 13(4): 303-320 (2003) - [j16]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): 474-480 (2003) - [c18]Spyros A. Reveliotis:
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. ICATPN 2003: 241-255 - [c17]Song Foh Chew, Mark A. Lawley, Spyros A. Reveliotis:
Liveness enforcing supervision for resource allocation systems with process synchronizations. CDC 2003: 3735-3741 - [c16]Spyros A. Reveliotis:
Structural analysis of resource allocation systems with synchronization constraints. ICRA 2003: 1045-1049 - 2002
- [j15]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): 109-126 (2002) - [j14]Jonghun Park, Spyros A. Reveliotis:
Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states. IEEE Trans. Robotics Autom. 18(2): 234-240 (2002) - [j13]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): 616-620 (2002) - [c15]Jonghun Park, Spyros A. Reveliotis:
Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events. ICRA 2002: 187-192 - [c14]Jin Young Choi, Spyros A. Reveliotis:
An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines. ICRA 2002: 3193-3198 - 2001
- [j12]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): 79-98 (2001) - [j11]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) - [j10]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): 1572-1583 (2001) - [c13]Jonghun Park, Spyros A. Reveliotis:
Algebraic Deadlock Avoidance Policies for Conjunctive / Disjunctive resource Allocation Systems. ICRA 2001: 70-76 - [c12]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: 1813-1819 - [c11]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: 1288-1293 - [c10]Spyros A. Reveliotis, Jin Young Choi:
On the optimality of randomized deadlock avoidance policies. SMC 2001: 1795-1800 - 2000
- [j9]Spyros A. Reveliotis:
The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks. IEEE Trans. Autom. Control. 45(3): 585-588 (2000) - [j8]Jonghun Park, Spyros A. Reveliotis:
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. Robotics Autom. 16(2): 190-195 (2000) - [j7]Spyros A. Reveliotis:
Avoidance versus detection and recovery problem in buffer-space allocation of flexibly automated production systems. IEEE Trans. Syst. Man Cybern. Part B 30(5): 799-811 (2000) - [c9]Jonghun Park, Spyros A. Reveliotis:
A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings. CDC 2000: 2663-2669 - [c8]Jonghun Park, Spyros A. Reveliotis:
Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis. ICRA 2000: 3371-3376
1990 – 1999
- 1999
- [j6]Spyros A. Reveliotis:
Accommodating FMS operational contingencies through routing flexibility. IEEE Trans. Robotics Autom. 15(1): 3-19 (1999) - [c7]Spyros A. Reveliotis:
Production Planning and Control in Flexibly Automated Manufacturing Systems: Current Status and Future Requirements. ICRA 1999: 1442-1449 - 1998
- [j5]Mark A. Lawley, Spyros A. Reveliotis, Placid M. Ferreira:
A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Trans. Robotics Autom. 14(5): 796-809 (1998) - [c6]Spyros A. Reveliotis:
Accommodating FMS Operational Contingencies through Routing Flexibility. ICRA 1998: 573-579 - [c5]Spyros A. Reveliotis:
Variations of Banker's algorithm for highly flexible resource allocation systems. SMC 1998: 600-604 - 1997
- [j4]Spiridon Reveliotis, Mark Lawley, Placid M. Ferreira:
Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. Autom. Control. 42(10): 1344-1357 (1997) - [c4]Spyros A. Reveliotis, Placid M. Ferreira:
A polynomial-complexity tool for evaluating the performance of structurally controlled FMS. ICRA 1997: 1253-1258 - 1996
- [j3]Spyros A. Reveliotis, Placid M. Ferreira:
Deadlock avoidance policies for automated manufacturing cells. IEEE Trans. Robotics Autom. 12(6): 845-857 (1996) - [c3]Spyros A. Reveliotis, Placid M. Ferreira:
Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case. ICRA 1996: 533-538 - [c2]Spiridon Reveliotis, Placid M. Ferreira:
An analytical framework for evaluating and optimizing the performance of structurally controlled flexible manufacturing systems. ICRA 1996: 864-869 - 1995
- [j2]Spiridon Reveliotis, Mieczyslaw M. Kokar:
A framework for on-line learning of plant models and control policies for restructurable control. IEEE Trans. Syst. Man Cybern. 25(11): 1502-1512 (1995) - 1993
- [j1]Mieczyslaw M. Kokar, Spiridon Reveliotis:
Reinforcement learning: Architectures and algorithms. Int. J. Intell. Syst. 8(8): 875-894 (1993) - 1991
- [c1]Mieczyslaw M. Kokar, Spyros A. Reveliotis:
Learning to Select a Model in a Changing World. ML 1991: 313-317
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
