|
Research and Teaching
Dr. Reveliotis' research interest is in the area of Discrete Event
Systems theory and its applications. His current research
focuses on: (i) the logical / structural control of
flexibly automated production systems, workflow management systems and guidepath-based traffic systems; (ii) the development of effective
scheduling policies for these environments; and (iii) the development of customized implementations /
algorithms of approximate dynamic programming
and machine learning theory for the aforementioned application contexts.
His teaching activity focuses on topics related to: (i) applied
operations research, (ii) production planning and control, and (iii)
supervisory control of Discrete Event Systems. (see also the
"Courses" section, below)
Finally, he has an active interest in the web-based multimedia
technology as a research and education enabler. A product of his activity in
this area is a "prototype electronic
textbook" for Linear Prorgamming and the Simplex Algorithm.
Background and Affiliations
Dr. Reveliotis received his Ph.D. in Industrial Engineering from the
University of Illinois in 1996. He also holds a M.Sc. in Computer
Systems Engineering from Northeastern University, Boston, and a
Diploma in Electrical Engineering from Natl. Tech. University of
Athens, Greece. Since September 1996, Dr. Reveliotis has been a faculty member of the School of Industrial &
Systems Engineering, at Georgia Tech.
Dr. Reveliotis is an IEEE Fellow, a member of IIE
and INFORMS, and a registered engineer with the Technical Chamber of
Greece.
Distinctions and Awards
-
1984-1985 Fellow of the Natl. Scholarship Institute of Greece (ranking
2nd in an entry competition for the the Dept. of Electrical Eng. at
Natl. Techn. University of Athens, Greece)
-
1989 EEC ERASMUS Fellow (Exchange student at UMIST, UK)
- "1998 Outstanding ISyE Professor", ISyE, Georgia Tech
- 1998 IEEE Intl. Conf. on Robotics & Automation Kayamori Best
Paper award:
"Accommodating FMS Operational Contingencies through Routing
Flexibility"
- Advisor and co-author of the paper that won the best student paper award at the 2010 IEEE Conference on Automation Science & Engineering:
A. Nazeem and S. Reveliotis, "A Practical Approach to the Design of Maximally Permissive Liveness-Enforcing Supervisors for Complex Resource Allocation Systems"
- Advisor and co-author of the paper that won the 2014 IEEE T-ASE Best Paper award:
"Efficient enumeration of minimal unsafe states in complex resource allocation systems"
- Plenary Speaker at the 5th International Workshop on Dependable Control of Discrete Systems (DCDS 2015), Cancun, Mexico, May 27-29, 2015:
"Real-Time Management of Complex Resource Allocation Systems: Necessity, Achievements and Further Challenges"
- Plenary Speaker at the14th Workshop on Discrete Event Systems (WODES 2018), Sorrento, Italy, May 30-June 1, 2018:
"Logical Control of Complex Resource Allocation Systems"
- Plenary Speaker at the 2019 IEEE Intl. Conference on Systems, Man and Cybernetics (IEEE SMC 2019), Bari, Italy, October 7-9, 2019:
"Formal Methods for Complex Workflow Management in Industry 4.0"
- IEEE Fellow since Winter 2015
- IEEE Senior Member since Winter 2003
- Program Chair for the 2009 IEEE Conference on Automation Science & Engineering
- General Co-Chair for the 2015 IEEE Conference on Automation Science & Engineering
- Editor in Chief for the Conference Editorial Board of the IEEE Conference on Automation Science and Engineering (IEEE CASE) for the conference editions 2017, 2018 and 2019
- Senior Editor for IEEE Trans. on Automation Science & Engineering from 2014 to 2019
- Department Editor for IIE Trans. from 2009 to 2018
- (Senior) Editor for the Automation Area in the Conference Editorial Board of the IEEE Robotics & Automation Society, from 2009 to 2011
- Associate Editor for the Journal of Discrete Event Systems since 2015
- Associate Editor for IEEE Trans. on Automatic Control from 2009 to 2012
- Associate Editor for IEEE Trans. on Automation Science & Engineering from 2005 to 2009
- Associate Editor for IEEE Trans. on Robotics & Automation from 2000 to 2004
- Guest Editor for the Special Issue in the IEEE Trans. on Automation Science & Engineering with the theme "Advances in Discrete Event Systems for Automation"
- Member of the Board of Directors for the American Automatic Control Council (AACC) representing the INFORMS Applied Probability Society (APS), from January 2016 to December 2018
- Member of the Board of Governors of the IEEE Control Systems Society for the calendar year 2017
- Founding Co-Chair of the IEEE RAS Technical Committee on Automation in Logistics, 2012
- Member of the College-Industry Council on Material Handling Education since Fall 2003
- Member of the IFAC Technical Committee on Discrete Event Systems since Fall 2005
- Member of the IEEE Technical Committee on Semiconducror Manufacturing since 2001
Selected Publications
-
Books and Electronic Textbooks
- S. Reveliotis,
Logical Control of Complex Resource Allocation Systems ,
NOW Series on Foundations and Trends in Systems and Control, vol. 4, no. 1-2, pgs 1-223, 2017.
- S. A. Reveliotis,
Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach , Springer, NY, NY, 2005.
-
S. A. Reveliotis, The
"prototype" Web-based electronic text project: An Introduction to Linear Programming and the Simplex Algorithm ,
School of Industrial & Systems Eng., Georgia Institute of Technology, 1997.
-
Journal Articles, Book Chapters, and some Conference Publications containing results that have not been published anywhere else (in decreasing chronological order)
- 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 , to appear, 2021. Here is also an
HREF="/~spyros/publications/Max-Linear-Suppl.pdf"> electronic companion to the published paper.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- S. Reveliotis,
"Logical Control of Complex Resource Allocation Systems",
WODES 2018 (extended abstract of a plenary presentation at the conference), 2018.
- 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.
- 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.
- 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.
- 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).
- 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.
- S. Reveliotis,
"Coordinating Autonomy: Sequential Resource Allocation Systems for Automation",
IEEE Robotics & Automation Magazine , vol. 22, no. 2, pgs 77-94, 2015.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- S. Reveliotis,
"Applications of Discrete Event Systems", in
Encyclopedia on Systems and Control , by T. Samad and J. Baillieul (eds), SpringerReference.com, 2013.
- 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.
- 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.
- E. Roszkowska and S. Reveliotis
"A Distributed Protocol for Motion Coordination in Free-Range Vehicular Systems",
Automatica , vol. 49, pgs 1639-1653, 2013.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- 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.
- 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.
- 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
- S. A. Reveliotis,
"Uncertainty Management in Optimal Disassembly Planning through
Learning-based Strategies", IIE Trans.,
vol. 39, no. 6, pgs 645-658, 2007.
- 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.
- 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
- 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.
- 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
- 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.
- 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).
- 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).
- 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.
- 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.
- 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.
- 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.
- S. A. Reveliotis,
"Structural Analysis of Resource Allocation
Systems with Synchronization Constraints", 2003 IEEE Intl. Conference on Robotics &
Automation , Taipei, Taiwan, May 2003.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- S. A. Reveliotis,
"Conflict Resolution in AGV Systems", IIE
Trans., vol. 32, no. 7, pgs 647-659, 2000.
- S. A. Reveliotis,
"Accommodating FMS Operational Contingencies through Routing
Flexibility", IEEE Trans. on
Robotics & Automation, vol. 15, pgs 3-19, 1999.
- 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.
- S. A. Reveliotis,
"Real-time control of flexibly automated production
ststems", in "Proceedings of the AutoSimulations
Symposium '99".
- 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.
- 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.
- 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.)
- 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.
- 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.
- 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.
- 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.
- 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.
- M. M. Kokar and S. A. Reveliotis,
"Reinforcement Learning: Architectures and Algorithms",
Intl. Jrnl. of Intelligent Systems, vol. 8, pgs
875-894, 1993.
- 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.
- 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.
- 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.
Courses Taught
ISyE 3231: Deterministic Operations Research
Syllabus
Homework 1
Homework 1 Solutions
Homework 2
Homework 2 Solutions
Homework 3
Homework 3 Solutions
Homework 4
Homework 4 Solutions
Homework 5
Homework 5 Solutions
ISyE 3103: Introduction to Supply Chain Modeling:
Logistics
Syllabus
Course Materials
ISyE 3104: Introduction to Supply Chain Modeling:
Manufacturing & Warehousing
Syllabus
Course Materials
ISyE 4803: Advanced Manufacturing Systems Modeling and Analysis
Syllabus
Course Materials
ISyE 4106: Senior Design
Syllabus
Course Introduction (Powerpoint Presentation)
TEAM-DATA-form (Word document)
ISyE 6650: Probabilistic Models
Syllabus
Course Materials
ISyE 6201: Manufacturing Systems
Syllabus
Course Materials
ISyE 6202: Warehousing Systems
Syllabus
Course Materials
Batholdi & Hackman's (electronic) textbook
ISyE 7201: Production & Service Systems Engineering
Syllabus
Course Materials
|
