Abstract
We present an analysis of possible blocking phenomena, deadlock, in Discrete Event Systems (DES) having corrective and/or Preventive Maintenance Schedules (PMS). Although deadlock avoidance analysis for several classes of DES systems has been widely published, and although different approaches for PMS exist, it is not obvious how to mix deadlock avoidance and maintenance theories to improve throughput. In this paper we show that for some DES structures having reentrant flow lines, it is not necessary to stop activities in the DES, for the case one or more machines in production lines are in PMS. However, PMS may cause deadlock to occur if activities continue in some machines. We propose deadlock-free dispatching rules derived by performing circular wait analysis for possible deadlock situations in systems with PMS. This is accomplished by integrating the PMS structure and failure dynamics into a separate DES system that acts as a disturbance in the primary Reentrant Flowline DES system. We propose a matrix formulation and a Finite State Machine to synchronize both subsystems.
Research supported by ARO Grants DAAD19-00-1-0037, NSF-CONACyT DMI-0219195, and PROMET from Mexico
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Banaszak Z.A. and B. H. Krogh. “Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows.” IEEE Trans. Robotics and Automation, RA-6, pp. 724–734 (1990).
Ezpeleta S. D., J. M. Colom and J. Martinez. “A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems.” IEEE Trans. Robotics and Automation, RA-11, pp. 173–184 (1995).
Fanti M.P., B. Maione, S. Mascolo, and B. Turchiano. “Event-Based Feedback Control for Deadlock Avoidance in Flexible Production Systems.” IEEE Transactions on Robotics and Automation, Vol. 13, No. 3, June 1997.
Graves S.C. “A Review of Production Scheduling.” Operations Research, vol. 29, no. 4 (1981).
Gurel A., S. Bogdan, and F.L. Lewis. “Matrix Approach to Deadlock-Free Dispatching in Multi-Class Finite Buffer Flowlines.” IEEE Transactions on Automatic Control. Vol. 45, no. 11, Nov. 2000, pp. 2086–2090.
Hicks D.K. “Preventive Maintenance Program: Evaluation and Recommendations for Improvements.” U.S. Army Construction Engineering Research Laboratory (USACERL). Report OMB No. 0704-0188. June 1990.
Hsieh F.-S. and S.-C. Chang. “Dispatching-Driven Deadlock avoidance controller Synthesis for Flexible Manufacturing Systems.” IEEE Trans. Robotics and Automation, RA-11, pp. 196–209 (1994).
Hyuenbo C., T. K. Kumaran, and R. A. Wysk. “Graph-Theoretic Deadlock Detection and Resolution for Flexible Manufacturing Systems.” IEEE Transactions on Robotics and Automation, vol. 11, no. 3, pp. 413–421 (1995).
Kumar, P.R. “Re-entrant lines.” Queueing Systems: Theory and Applications, vol. 13, pp. 87–110, SW, (1993).
Kusiak A. and J. Ahn. “Intelligent Scheduling of Automated Machining Systems.” Computer Integrated Manufacturing Systems, vol.5, no.l, Feb. 1992, pp. 3–14. UK (1992).
Lewis F. L.. “A Control System Design Philosophy for Discrete Event Manufacturing Systems.” Proc. Int. Symp. Implicit and Nonlinear Systems, pp. 42–50, TX (1992).
Lewis, F.L., H.-H. Huang and S. Jagannathan. “A systems approach to discrete event controller design for manufacturing systems control.” Proceedings of the 1993 American Control Conference (IEEE Cat. No.93CH3225-0). American Autom. Control Council, pp.1525–31 vol.2. Evanston, IL, USA (1993).
Lewis F.L., Gurel A, Bogdan S, Docanalp A, Pastravanu OC. “Analysis of Deadlock and Circular Waits using a Matrix Model for Flexible Manufacturing Systems.” Automatica, vol.34, no.9, Sept. 1998, pp.1083–100. Publisher: Elsevier, UK (1998).
Mireles, J. and F.L. Lewis, “On the Development and Implementation of a Matrix-Based Discrete Event Controller.” MED01, Proceedings of the 9 th Mediterranean Conference on Control and Automation. Pub. on CD, ref MED01-012. June 27-29 2001. Dubrovnik, Croatia 2001,a).
Mireles, J. and F.L. Lewis. “Intelligent Material Handling: Development and Implementation of a Matrix-Based Discrete Event Controller.” IEEE Transactions on Industrial Electronics. Vol. 48, No. 6, December 2001, b).
Mireles, J. and F.L. Lewis, A. Gurel. “Deadlock Avoidance for Manufacturing Multipart Reentrant Flow Lines Using a Matrix-Based Discrete Event Controller.” Int. Journal of Production Research. 2002.
Smith A.M. “Preventive Impact on Plant Availability.” Proceedings 1992 Annual Reliability and Maintainability Symposium, pp. 177–180. 1992.
Steward, D. V. “The Design Structure System: A Method for Managing the Design of Complex Systems.” IEEE Trans. On Engineering Management, vol. EM-28, no. 3, pp. 71–74 (1981).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science+Business Media New York
About this chapter
Cite this chapter
Mireles, J., Lewis, F.L. (2004). Blocking Phenomena Analysis for Discrete Event Systems with Failures and/or Preventive Maintenance Schedules. In: Voicu, M. (eds) Advances in Automatic Control. The Springer International Series in Engineering and Computer Science, vol 754. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-9184-3_15
Download citation
DOI: https://doi.org/10.1007/978-1-4419-9184-3_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-4827-6
Online ISBN: 978-1-4419-9184-3
eBook Packages: Springer Book Archive