Publications

Books and Electronic Textbooks

Journal Articles, Book Chapters, and some Conference Publications containing results that have not been published anywhere else (in decreasing chronological order)

  1. S. Reveliotis, “Strongly Infinite-Step Opaque Boolean Networks”, 17th Intl. Workshop on Discrete Event Systems, Rio de Janeiro, Brazil, April-May 2024.
  2. Y.-I. Kim and S. Reveliotis, “A Heuristic Approach to the Problem of Min-Time Coverage in Constricted Environments”, IEEE Trans. on the Control of Network Systems, (to appear).
  3. Y.-I. Kim and S. Reveliotis, “A strong combinatorial relaxation for the problem of Min-Time Coverage in Constricted Environments”, IEEE Trans. on Automatic Control, (to appear).
    Here is also an electronic companion to the published paper.
  4. Y.-I. Kim and S. Reveliotis, “Min-Time Coverage in Constricted Environments with Arbitrary Guidepath Networks”, The 62nd IEEE Conference on Decision and Control (IEEE CDC 2023), Singapore, December 2023.
  5. Y.-I. Kim and S. Reveliotis, “Some structural results for the problem of Min-Time Coverage in Constricted Environments”, 16th Intl. Workshop on Discrete Event Systems, Prague, Czech Republic, September 2022.
  6. S. Reveliotis and Y.-I. Kim, “Min-Time Coverage in Constricted Environments: Problem Formulations and Complexity Analysis”, IEEE Trans. on the Control of Network Systems , vol. 9, no. 1, pgs 172-183, 2022.
  7. S. Reveliotis, “Assessing and restoring “traffic-state order” in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems”, IEEE Trans. on Automation Science and Engineering , vol. 19, no. 2, pgs 1286-1295, 2022. Here is also an electronic companion to the published paper.
  8. S. Reveliotis, T. Masopust and M. Ibrahim, “Polynomial-time optimal liveness enforcement for guidepath-based transport systems”, Nonlinear Analysis: Hybrid Systems , vol. 41, article 101058, 2021.
  9. M. Ibrahim, S. Reveliotis and A. Nazeem, “Maximal linear deadlock avoidance policies for sequential resource allocation systems: characterization, computation and approximation”, IEEE Trans. on Automatic Control , vol. 66, no. 9, pgs 3906-3921, 2021. Here is also an electronic companion to the published paper.
  10. S. Reveliotis, “An MPC scheme for traffic coordination in open and irreversible, zone-controlled, guidepath-based transport systems”, IEEE Trans. on Automation Science and Engineering , vol. 17, no. 3, pgs 1528-1542, 2020.
  11. S. Reveliotis, “On the state liveness of some classes of guidepath-based transport systems and its computational complexity”, Automatica , vol. 113, article 108777, 2020. See also the electronic supplement that accompanies this paper.
  12. S. Reveliotis and T. Masopust, “Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems “, IEEE Trans. on Automatic Control , vol. 65, no. 7, pgs 2883-2898, 2020.
  13. S. Reveliotis, “Applications of Discrete Event Systems”, in Encyclopedia on Systems and Control (2nd. ed) , by T. Samad and J. Baillieul (eds), SpringerReference.com, 2020.
  14. M. Ibrahim and S. Reveliotis, “Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling”, Discrete Event Dynamic Systems: Theory and Applications , vol. 29, no. 3, pgs 393-409, 2019.
  15. G. Daugherty, S. Reveliotis and G. Mohler, “Efficient generation of performance bounds for a class of traffic scheduling problems”, Discrete Event Dynamic Systems: Theory and Applications , vol. 29, no. 2, pgs 211-235, 2019.
  16. S. Reveliotis and T. Masopust, “Some new results on the state liveness of open guidepath-based traffic systems”, 27th Mediterranean Conference on Control and Automation , 1-4 July 2019.
  17. M. Ibrahim and S. Reveliotis, “Throughput maximization of capacitated re-entrant lines through fluid relaxation”, IEEE Trans. on Automation Science and Engineering , vol. 16, no.2, pgs 792-810, 2019.
  18. G. Daugherty, S. Reveliotis and G. Mohler, “Optimized Multi-Agent Routing for a Class of Guidepath-based Transport Systems”, IEEE Trans. on Automation Science and Engineering , vol. 16, no. 1, pgs 363-381, 2019.
  19. S. Reveliotis, “A Correction and Some Comments on the Article ‘Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets’ “, IEEE Trans. on Control Systems Technology , vol. 27, no. 1, pgs 459-461, 2019.
  20. S. Reveliotis, “Logical Control of Complex Resource Allocation Systems”, WODES 2018 (extended abstract of a plenary presentation at the conference), 2018.
  21. S. Reveliotis and Z. Fei, “Robust Deadlock Avoidance for Sequential Resource Allocation Systems with Resource Outages”, IEEE Trans. on Automation Science and Engineering , vol. 14, no. 4, pgs 1695-1711, 2017.
  22. S. Reveliotis and Z. Fei, “Invariant-based Supervisory Control of Switched Discrete Event Systems”, IEEE Trans. on Automatic Control , vol. 62, no. 2, pgs 921-927, 2017. Here is also an electronic companion to the published paper.
  23. R. Li and S. Reveliotis, “Designing Parsimonious Scheduling Policies for Complex Resource Allocation Systems through Concurrency Theory”, Discrete Event Dynamic Systems: Theory and Applications , vol. 26, no. 3, pgs 511-537, 2016.
  24. S. Reveliotis, “Real-Time Management of Complex Resource Allocation Systems: Necessity, Achievements and Further Challenges”, Annual Reviews in Control , vol. 41, pgs 147-158, 2016 (this paper is based on a plenary presentation given by the author at the 5th Intl. Workshop on Dependable Control of Discrete Systems (DCDS 2015), Cancun, Mexico, May 2015).
  25. S. Reveliotis, “On the “counter-example” in the article ‘Max’-controlled siphons for liveness of S3PGR2′ regarding the results in [1]”, IEEE Trans. on Automatic Control , vol. 61, no. 1, pgs 194-197, 2016.
  26. S. Reveliotis, “Coordinating Autonomy: Sequential Resource Allocation Systems for Automation”, IEEE Robotics & Automation Magazine , vol. 22, no. 2, pgs 77-94, 2015.
  27. Z. Fei, K. Akesson and S. Reveliotis “Symbolic Computation of Boundary Unsafe States in Complex Resource Allocation Systems Using Partitioning Techniques”, 2015 IEEE International Conference on Automation Science and Engineering (IEEE CASE 2015) , Gothenburg, Sweden, August 2015.
  28. Z. Fei, S. Reveliotis, S. Miremadi and K. Akesson, “A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems”, IEEE Trans. on Automation Science and Engineering , vol. 12, no. 3, pgs 990-1006, 2015. See also the electronic supplement that accompanies this paper.
  29. R. Li and S. Reveliotis, “Performance Optimization for a Class of Generalized Stochastic Petri Nets”, Discrete Event Dynamic Systems: Theory and Applications , vol. 25, no. 3, pgs 387-417, 2015.
  30. A. Nazeem and S. Reveliotis, “Maximally Permissive Deadlock Avoidance for Resource Allocation Systems with R/W-Locks”, Discrete Event Dynamic Systems: Theory and Applications , vol. 25, no. 1, pgs 31-63, 2015.
  31. S. Reveliotis, “On the complexity of some state-counting problems for bounded Petri nets”, IEEE Trans. on Automatic Control , vol. 60, no. 1, pgs 205-210, 2015.
  32. Z. Fei, K. Akesson and S. Reveliotis, “Symbolic Computation and Representation of Deadlock Avoidance Policies for Complex Resource Allocation Systems with Application to Multithreaded Software”, 53rd IEEE Conference on Decision and Control , Los Angeles, CA, December 2014.
  33. S. Reveliotis, “On the linear separability of the safe and unsafe state subsets of Single-Unit Resource Allocation Systems”, IEEE Trans. on Automatic Control , vol. 59, no. 9, pgs 2509-2511, 2014.
  34. C. G. Cassandras, M. P. Fanti, C. Hadjicostis, S. Reveliotis and C. Seatzu “Guest Editorial: Special Issue on Advances in Discrete Event Systems for Automation”, IEEE Trans. on Automation Science and Engineering , vol. 11, no. 1, pgs 3-5, 2014.
  35. A. Nazeem and S. Reveliotis, “Efficient enumeration of minimal unsafe states in complex resource allocation systems”, IEEE Trans. on Automation Science and Engineering , vol. 11, no. 1, pgs 111-124, 2014.
  36. S. Reveliotis and A. Nazeem, “Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata”, in Formal Methods in Manufacturing, by J. Campos, C. Seatzu and X. Xie (eds), CRC Press / Taylor and Francis, pgs 169-195, 2014.
  37. S. Reveliotis, “Applications of Discrete Event Systems”, in Encyclopedia on Systems and Control , by T. Samad and J. Baillieul (eds), SpringerReference.com, 2013.
  38. R. Cordone, A. Nazeem, L. Piroddi and S. Reveliotis, “Designing optimal deadlock avoidance policies for sequential resource allocation systems through classification theory: existence results and customized algorithms “, IEEE Trans. on Automatic Control , vol. 58, no. 11, pgs 2772-2787, 2013.
  39. S. Reveliotis and A. 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 Journal on Control and Optimization , vol. 51, no. 2, pgs 1707-1726, 2013.
  40. E. Roszkowska and S. Reveliotis “A Distributed Protocol for Motion Coordination in Free-Range Vehicular Systems”, Automatica , vol. 49, pgs 1639-1653, 2013.
  41. H. Liao, Y. Wang, J. Stanley, S. Lafortune, S. Reveliotis, T. Kelly and S. Mahlke, “Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control”, IEEE Trans. on Control System Technology , vol. 21, no. 6, pgs 2067-2082, 2013.
  42. H. Liao, S. Lafortune, S. Reveliotis, Y. Wang and S. Mahlke, “Optimal Liveness-Enforcing Control of a Class of Petri Nets Arising in Multithreaded Software”, IEEE Trans. on Automatic Control , vol. 58, no. 5, pgs 1123-1138, 2013.
  43. S. Lafortune, Y. Wang and S. Reveliotis, “Eliminating Concurrency Bugs in Multithreaded Software: An Approach based on Control of Petri Nets”, PETRI NETS 2013, LNCS 7927 , pgs 21-28, 2013.
  44. H. Liao, Y. Wang, H. K. Cho, J. Stanley, T. Kelly, S. Lafortune, S. Mahlke and S. Reveliotis “Concurrency Bugs in Multithreaded Software: Modeling and Analysis Using Petri Nets”, Discrete Event Dynamic Systems: Theory and Applications , vol. 23, pgs 157-195, 2013.
  45. A. Nazeem and S. Reveliotis, “Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: the non-linear case”, IEEE Trans. on Automatic Control , vol. 57, no. 7, pgs 1670-1684, 2012.
  46. S. A. Reveliotis and T. Bountourelis, “Optimal Flow Control in Acyclic Networks with Uncontrollable Routings and Precedence Constraints”, Discrete Event Dynamic Systems: Theory and Applications , vol. 21, no. 4, pgs 499-518, 2011.
  47. A. Nazeem and S. Reveliotis, “A practical approach for maximally permissive liveness-enforcing supervision of complex resource allocation systems”, IEEE Trans. on Automation Science and Engineering , vol. 8, no. 4, pgs 766-779, 2011.
  48. A. Nazeem, S. Reveliotis, Y. Wang and S. Lafortune “Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: the linear case”, IEEE Trans. on Automatic Control , vol. 56, no. 8, pgs 1818-1833, 2011.
  49. S. A. Reveliotis and E. Roszkowska “Conflict Resolution in Free-Ranging Multi-Vehicle Systems: A Resource Allocation Paradigm”, IEEE Trans. on Robotics , vol. 27, no. 2, pgs 283-296, 2011.
  50. S. A. Reveliotis and E. Roszkowska “On the complexity of maximally permissive deadlock avoidance in multi-vehicle traffic systems”, IEEE Trans. on Automatic Control , vol. 55, no. 7, pgs 1646-1651, 2010.
  51. S. A. Reveliotis, E. Roszkowska and J. Y. Choi “Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming”, IEEE Trans. on Automation Science and Engineering , vol. 7, no. 2, pgs 240-248, 2010.
  52. T. Bountourelis and S. A. Reveliotis, “Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements” , Discrete Event Dynamic Systems: Theory and Applications , vol. 19, no. 3, pgs 347-376, 2009
  53. T. Bountourelis and S. A. Reveliotis, “Optimal Node Visitation in Stochastic Digraphs”, IEEE Trans. on Automatic Control , vol. 53, no. 11, pgs 2558-2570, 2008.
  54. E. Roszkowska and S. A. Reveliotis “On the liveness of guidepath-based, zoned-controlled, dynamically routed, closed traffic systems”, IEEE Trans. on Automatic Control , vol. 53, no. 7, pgs 1689-1695, 2008.
  55. S. A. Reveliotis and T. Bountourelis, “Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces”, Discrete Event Dynamic Systems: Theory and Applications vol. 17, pgs 307-327, 2007
  56. S. A. Reveliotis, “Uncertainty Management in Optimal Disassembly Planning through Learning-based Strategies”, IIE Trans., vol. 39, no. 6, pgs 645-658, 2007.
  57. S. A. Reveliotis, E. Roszkowska and J. Y. Choi “Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems”, IEEE Trans. on Automatic Control , vol. 52, no. 12, pgs 2345-2350, 2007.
  58. S. A. Reveliotis, “Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems”, in Facility Logistics: Approaches and Solutions to Next Generation Challenges by M. Lahmar (ed.) pgs 235-289, 2007
  59. S. A. Reveliotis, “Implicit Siphon Control and its Role in the Liveness Enforcing Supervision of Sequential Resource Allocation Systems”, IEEE Trans. on SMC – Part A , vol. 37, no. 3, pgs 319-328, 2007.
  60. S. A. Reveliotis and J. Y. Choi, “Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets through the Theory of Regions”, 27th Intl. Conf. on the Application and Theory of Petri Nets and Other Models of Concurrency (ATPN 2006) , June 2006, Turku, Finland, LNCS 4024 (S. Donatelli and P. S. Thiagarajan, eds), Springer, pgs 322-341, 2006
  61. S. A. Reveliotis, “A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets with Acyclic, Quasi-live, Serialisable and Reversible Process Subnets”, IEEE Trans. on Automation Science and Engineering , vol. 3, no. 4, pgs 462-468, 2006.
  62. T. Bountourelis and S. A. Reveliotis, “Optimal Node Visitation in Acyclic Stochastic Digraphs”, Tech. Report, School of Industrial & Systems Eng., Georgia Tech (an abridged version of this work appeared at WODES’06).
  63. S. A. Reveliotis, “Siphon-based Characterization of Liveness and Liveness-Enforcing Supervision for Sequential Resource Allocation Systems”, in Deadlock Resolution in Computer-Integrated Systems , by M. Zhou and M. P. Fanti, (Eds), Marcel Dekker, Inc., pgs 283-307, 2005 (also, an abridged version of this work was presented in the 24th Intl. Conf. on Application and Theory of Petri Nets , Eindhoven, The Netherlands, June 2003).
  64. J. Y. Choi and S. A. Reveliotis, “Relative Value Function Approximation for the Capacitated Re-entrant Line Scheduling Problem”, IEEE Trans. on Automation Science and Engineering , vol. 2, no. 3, pgs 285-299, 2005.
  65. S. A. Reveliotis and J. Y. Choi, “The Thinning Problem”, Tech. Report, ISyE, Georgia Tech, 2004 – an abridged version of this work appeared in the Proc. of the 7th Intl. Worskhop on Discrete Event Systems (WODES’04) , pgs 265-270, Reims, France, Sept. 2004.
  66. J. Y. Choi and S. A. Reveliotis, “A Generalized Stochastic Petri net Model for Performance Analysis and Control of Capacitated Re-entrant Lines”, IEEE Trans. on Robotics & Automation , vol. 19, no. 3, pgs 474-480, 2003.
  67. S. A. Reveliotis and J. Y. Choi, “On the Optimality of Randomized Deadlock Avoidance Policies”, Discrete Event Dynamic Systems: Theory and Applications , vol. 13, no. 4, pgs 303-320, 2003.
  68. S. A. Reveliotis, “Structural Analysis of Resource Allocation Systems with Synchronization Constraints”, 2003 IEEE Intl. Conference on Robotics & Automation , Taipei, Taiwan, May 2003.
  69. J. Park and S. A. Reveliotis, “Liveness-Enforcing Supervision for Resource Allocation Systems with Uncontrollable Behavior and Forbidden States”, IEEE Trans. on Robotics & Automation , vol. 18, no. 2, pgs 234-240, 2002.
  70. J. Park and S. A. Reveliotis, “Policy mixtures: A Novel Approach for Enhancing the Operational Flexibility of Resource Allocation Systems with Alternate Routings”, IEEE Trans. on Robotics & Automation , vol. 18, no. 4, pgs 616-620, 2002.
  71. J. Park, S. A. Reveliotis, D. A. Bodner and L. F. McGinnis, “A Distributed, Event-Driven Control Architecture for Flexibly Automated Manufacturing Systems”, Intl. Jrnl. of CIM , vol. 15, no. 2, pgs 109-126, 2002.
  72. J. Park, S. A. Reveliotis, D. A. Bodner, C. Zhou, J. Wu and L. F. McGinnis, “High-Fidelity Rapid Prototyping of 300mm Fabs through Discrete Event System Modeling”, Computers in Industry – special issue on MASM’2000 presentations (invited paper), 1528, pgs 1-20, 2001.
  73. M. A. Lawley and S. A. Reveliotis, “Deadlock Avoidance for Sequential Resource Allocation Systems: Hard and Easy Cases”, The Intl. Jrnl. of FMS vol. 13, no. 4, pgs 385-404, 2001.
  74. J. Park and S. A. Reveliotis, “Deadlock Avoidance in Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings”, IEEE Trans. on Automatic Control vol. 46, no. 10, pgs 1572-1583, 2001.
  75. S. A. Reveliotis, “An Analytical Investigation of the Deadlock Avoidance vs. Detection & Recovery Problem in Buffer-space Allocation of Flxibly Automated Production Systems”, IEEE Trans. on Systems, Man & Cybernetics – special issue on Discrete System Control vol. 30, no. 5, pgs 799-811, 2000.
  76. S. A. Reveliotis, “The Destabilizing Effect of Blocking due to Finite Buffering Capacity in Multi-class Queueing Networks”, IEEE Trans. on Automatic Control, vol. 45, no. 3, pgs 585-588, 2000.
  77. J. Park and S. A. Reveliotis, “Algebraic Synthesis of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems”, IEEE Trans. on Robotics & Automation , vol. 16, no. 2, pgs 190-195, 2000.
  78. S. A. Reveliotis, M. A. Lawley and P. M. Ferreira, “Structural Control of Large-Scale Flexibly Automated Manufacturing Systems”, in “The Design of Manufacturing Systems”, by C. T. Leondes (ed.), CRC Press, Vol. 5, Chpt. 4, 2000.
  79. S. A. Reveliotis, “Conflict Resolution in AGV Systems”, IIE Trans., vol. 32, no. 7, pgs 647-659, 2000.
  80. S. A. Reveliotis, “Accommodating FMS Operational Contingencies through Routing Flexibility”, IEEE Trans. on Robotics & Automation, vol. 15, pgs 3-19, 1999.
  81. D. A. Bodner and S. A. Reveliotis, “Flexible Semiconductor Manufacturing”, in Encyclopedia of Electrical and Electronics Engineering, by J. G. Webster (ed.), John Wiley & Sons, Vol. 7, pgs 596-607, 1999.
  82. S. A. Reveliotis, “Real-time control of flexibly automated production ststems”, in “Proceedings of the AutoSimulations Symposium ’99”.
  83. M. A. Lawley, S. A. Reveliotis and P. M. Ferreira, “A Correct and Scalable Deadlock Avoidance Policy for Flexible Manufacturing Systems”, IEEE Trans. on Robotics & Automation, vol. 14, pgs 796-809, 1998.
  84. M. A. Lawley, S. A. Reveliotis and P. M. Ferreira, “The Application and Evaluation of Banker’s Algorithm for Deadlock-free Buffer Space Allocation in Flexible Manufacturing Systems”, The Intl. Jrnl. of FMS, vol. 10, pgs 73-100, 1998.
  85. S. A. Reveliotis, M. A. Lawley and P. M. Ferreira, “Polynomial Complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems”, IEEE Trans. on Automatic Control, vol. 42, pgs 1344-1357, 1997. (Please, see also J. Park, S. A. Reveliotis, M. A. Lawley and P. M. Ferreira, “Correction to the RUN DAP for Conjunctive RAS presented in `Polynomial Complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems'”, IEEE Trans. on Automatic Control, vol. 46, pg 672, 2001.)
  86. M. A. Lawley, S. A. Reveliotis and P. M. Ferreira, “Flexible Manufacturing System Structural Control and the Neighborhood Policy, Part 1: Correctness and Scalability”, IIE Trans., vol. 29, pgs 877-887, 1997.
  87. M. A. Lawley, S. A. Reveliotis and P. M. Ferreira, “Flexible Manufacturing System Structural Control and the Neighborhood Policy, Part 2: Generalization, Optimization and Efficiency”, IIE Trans., vol. 29, pgs 889-899, 1997.
  88. M. A. Lawley, S. A. Reveliotis and P. M. Ferreira, “Design Guidelines for Deadlock-Handling Strategies in Flexible Manufacturing Systems”, The Intl. Jrnl. of FMS, vol. 9, pgs 5-30, 1997.
  89. S. A. Reveliotis and P. M. Ferreira, “Deadlock Avoidance Policies for Automated Manufacturing Cells”, IEEE Trans. on Robotics & Automation, vol. 12, pgs 845-857, 1996.
  90. S. A. Reveliotis and M. M. Kokar, “A Framework for On-line Learning of Plant Models and Control Policies for Restructurable Control”, IEEE Trans. on Systems, Man & Cybernetics, vol. 25, pgs 1502-1512, 1995.
  91. M. M. Kokar and S. A. Reveliotis, “Reinforcement Learning: Architectures and Algorithms”, Intl. Jrnl. of Intelligent Systems, vol. 8, pgs 875-894, 1993.
  92. S. Tzafestas, G. Kapsiotis and S. Reveliotis, “The Generalized Network Approach to Optimized Decision Making and Planning”, in “Computational Systems Analysis: Topics and Trends”, by A. Sydow (ed.), North Holland, 1992.
  93. S. Tzafestas, S. Reveliotis and G. Kapsiotis, “The Generalized Network Model: Algorithms and Applications”, in “Modeling and Simulation”, by A. Gheorghe (ed.), Romanian Acad. Publ. House, 1991.
  94. S. Tzafestas, G. Kapsiotis and S. Reveliotis, “A Dual Algorithm for Post-Optimization of the Generalized Network Optimal Flow Problem”, Foundations of Computing & Decision Sciences, vol 16, pgs 39-54, 1991.