Skip to main content
SpringerLink
Log in
Book cover

Methods and Applications of Intelligent Control pp 485–508Cite as

Manufacturing Controller Design and Deadlock Avoidance Using a Matrix Model for Discrete Event Systems

  • Chapter

  • 302 Accesses

Part of the book series: Microprocessor-Based and Intelligent Systems Engineering ((ISCA,volume 16))

Abstract

The use of shared resources is a major problem occurring in discrete event (DE) systems, including manufacturing systems, computer systems, communication systems, highway/vehicle systems, and others. The issues involve problems of assignment of resources when the same resources are simultaneously requested by more than one job. Failure to suitably assign, or dispatch, resources in such situations can have serious deleterious effects on system performance, resulting in extreme cases in system deadlock [7]. Computer operating systems engineers and industrial engineers have used the concepts of circular wait (CW) and circular blocking in analysis of such phenomena [41, 24]. Various concepts in Petri nets (PN) are extremely useful for dealing with deadlock and a great deal of research has been done from the PN point of view (see references, especially [11, 14, 19]). The PN approaches are often based on the notion of the siphon, which indeed is called a “deadlock” in some works [26]. Unfortunately, it is known that many problems in scheduling, dispatching, and deadlock analysis are NP-hard [12], so that significant increases in computing power do not significantly improve computational ability. Neither PN nor CW approaches have addressed this issue.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E.R. Boer and T. Murata, “Generating basis siphons and traps of Petri nets using the sign incidence matrix,” IEEE Trans. Circuits and Systems, vol. 41, no. 4, pp. 266–271, April 1994.

    Article  MathSciNet  Google Scholar 

  2. T.B. Boffey, (1982), Graph Theory in Operations Research, Macmillan, London.

    MATH  Google Scholar 

  3. J.A. Buzacott and D.D. Yao, “Flexible manufacturing systems: a review of analytical models,” Management Sci., vol. 32, no. 7, pp. 890–905, Jul 1986.

    Article  Google Scholar 

  4. C.G. Cassandras, Discrete Event Systems, Aksen Assoc. Inc., Boston, 1993.

    Google Scholar 

  5. C.L.P. Chen and C. Wichman, “A CLIPS rule-based planning system for mechanical assembly,” Proc. NSF DMS Conf., pp. 837–841, Atlanta, 1992.

    Google Scholar 

  6. G. Cohen, D. Dubois, J.P Quadrat, and M. Viot, “A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing,” IEEE Trans. Automat. Control, vol. AC-30, no. 3, pp. 210–220, Mar. 1985.

    Article  MathSciNet  Google Scholar 

  7. H.M. Deitel, An Introduction to Operating Systems, chap. 6, Addison-Wesley, Reading, MA, 1984.

    Google Scholar 

  8. A.A. Desrochers, Modeling and Control of Automated Manufacturing Systems, IEEE Computer Society Press, 1990.

    Google Scholar 

  9. E.A. Elsayed and T.O. Boucher, Analysis and Control of Production Systems, 2nd ed., Prentice-Hall, Englewood Cliffs, NJ, 1994.

    Google Scholar 

  10. S.D. Eppinger, D.E. Whitney, and R.P. Smith, “Organizing the tasks in complex design projects,” Proc. ASME Int. Conf. Design Theory and Methodology, pp. 39–46, Sep. 1990.

    Google Scholar 

  11. J. Ezpeleta, J.M. Colom, and J. Martinez, “A Petri net based deadlock prevention policy for flexible manufacturing systems,” IEEE Trans. Robotics and Automation, vol. 11, no. 2, pp. 173–184, Apr. 1995.

    Article  Google Scholar 

  12. M.R. Garey, and D.S. Johnson, Computers and Intractability: a Guide to the Theory of N P-completeness. Freeman, San Francisco, CA, 1979.

    Google Scholar 

  13. D. Gračanin, P. Srinivasan, K. Valavanis, “Parametrized Petri nets: properties and applications to automated manufacturing systems,” Proc. IEEE Mediterranean Symp. New Directions in Control and Automation, pp. 48–55, June 1994.

    Google Scholar 

  14. A. Giirel, O.C. Pastravanu, and F.L. Lewis, “A robust approach in deadlock-free and live FMS design,” Proc. IEEE Mediterranean Symp. New Directions in Control and Automation, pp. 40–47, June 1994.

    Google Scholar 

  15. Y.C. Ho and X. Cao, Perturbation Analysis of Discrete Event Systems, Kluwer, Boston, 1991.

    Book  MATH  Google Scholar 

  16. H.-H. Huang (1995), Reconfigurable Intelligent Control for Reentrant Flow and Job Shops, Ph.D. Thesis, Dept. of Electrical Engineering, The University of Texas at Arlington, Arlington, Texas 76019.

    Google Scholar 

  17. H. Huang, F.L. Lewis, O.C. Pastravanu, and A. Gürel, “Flowshop scheduling design in an FMS matrix framework,” Control Engineering Practice, vol. 3, no. 4, pp. 561–568, 1995.

    Article  Google Scholar 

  18. M.D. Jeng and F. DiCesare, “A synthesis method for Petri net modeling of automated manufacturing systems with shared resources,” Proc. IEEE Conf. Decision and Control, pp. 1184–1189, Dec. 1992.

    Google Scholar 

  19. M.D. Jeng and F. DiCesare, “Synthesis using resource control nets for modeling shared-resource systems,” IEEE Trans. Robotics and Automation, vol. 11, no 3, pp. 317–327, June 1995.

    Article  Google Scholar 

  20. E. Kasturia, F. DiCesare, A. Desrochers, “Real time control of multilevel manufacturing systems using colored petri nets,” Proc. IEEE Conf. Robotics Automat., pp. 1114–1119, 1988.

    Google Scholar 

  21. M. Klein, “Supporting conflict resolution in cooperative design system,” IEEE Trans. Sys., Man, and Cybernetics, vol. 21, no. 6, pp. 1379–1390, Nov./Dec. 1991.

    Article  Google Scholar 

  22. B.H. Krogh and L.E. Holloway, “Synthesis of feedback control logic for discrete manufacturing systems,” Automatica, vol. 27, no. 4, pp. 641–651, July 1991.

    Article  Google Scholar 

  23. P.R. Kumar and S.P. Meyn, “Stability of queueing networks and scheduling policies,” Proc. IEEE Conf. Decision and Control, pp. 2730–2735, Dec. 1993.

    Google Scholar 

  24. T.K. Kumaran, W. Chang, N. Cho, R.A. Wysk, (1994), “A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems,” Int. J. Prod. Res., vol. 32, no. 10, pp. 2361–2379.

    Article  Google Scholar 

  25. A. Kusiak, “Intelligent scheduling of automated machining systems,” in Intelligent Design and Manufacturing, ed. A. Kusiak, New York: Wiley, 1992.

    Google Scholar 

  26. K. Lauterbach, “Linear algebraic calculation of deadlocks and traps,” Concurrency and Nets, ed. K. Voss and H.J. Genrich, Springer-Verlag, 1987.

    Google Scholar 

  27. F.L. Lewis, O.C. Pastravanu, and H.-H. Huang, “Controller design and conflict resolution for discrete event manufacturing systems,” Proc. IEEE Conf. Decision and Control, pp. 3288–3293, San Antonio, Dec. 1993.

    Google Scholar 

  28. F. L. Lewis, H.-H. Huang, D. Tacconi, A. Giirel, and O.C. Pastravanu, “Analysis of deadlocks and circular waits using a matrix model for discrete event systems,” submitted, 1996.

    Google Scholar 

  29. S.H. Lu and P.R. Kumar, “Distributed scheduling based on due dates and buffer priorities,” IEEE Trans. Automat. Control, vol. 36, no. 12, pp. 1406–1416, Dec. 1991.

    Article  Google Scholar 

  30. P.B. Luh and D.J. Hoitomt, “Scheduling of manufacturing systems using the Lagrangian relaxation technique,” IEEE Trans. Automat. Control, vol. 38, no. 7, July 1993.

    Google Scholar 

  31. T. Murata, “Petri nets: properties, analysis and applications,” Proc. IEEE, vol. 77, no. 4, pp. 541–580, Apr. 1989.

    Article  Google Scholar 

  32. T. Murata, N. Komoda, K. Matsumoto, and K. Haruna, “A Petri net-based controller for flexible and maintanable sequence control and its applications in factory automation,” IEEE Trans. Ind. Electronics, vol. IE-33, no. 1, pp. 1–8, Feb. 1986.

    Article  Google Scholar 

  33. S.S. Panwalker and W. Iskander, “A survey of scheduling rules,” Operations Research, vol. 26, no. 1, pp. 45–61, Jan.-Feb. 1977.

    Article  Google Scholar 

  34. Peterson, J.L. (1981), Petri Net Theory and the Modeling of Systems, Prentice-Hall, Engle-wood Cliffs, NJ.

    Google Scholar 

  35. P.J. Ramadge and W.M. Wonham, “The control of discrete event systems,” Proc. IEEE, vol. 77, pp. 81–98, 1989.

    Article  Google Scholar 

  36. M.L. Spearman, D.L. Woodruff, and W.J. Hopp, “CONWIP: a pull alternative to kanban,” Int. J. Prod. Res., vol. 28, no. 5, pp. 879–894, 1990.

    Article  Google Scholar 

  37. D.V. Steward, “On an approach to techniques for the analysis of the structure of large systems of equations,” SIAM Review, vol. 4, no. 4, pp. 321–342, Oct. 1962.

    Article  MathSciNet  MATH  Google Scholar 

  38. D.A. Tacconi,, F.L. Lewis, and H.-H. Huang, “Modeling and simulation of discrete event systems using a matrix formulation,” Proc. IEEE Mediterranean Symp. Control and Automation, pp. 590–594, Crete, June 1996.

    Google Scholar 

  39. J.N. Warfield, “Binary matrices in system modeling,” IEEE Trans. Systems, Man, Cybern., vol. SMC-3, no. 5, pp. 441–449, Sept. 1973.

    Article  MathSciNet  Google Scholar 

  40. J. Wolter, S. Chakrabarty, and J. Tsao, “Methods of knowledge representation for assembly planning,” Proc. NSF Design and Manuf. Sys. Conf., pp. 463–468, Jan. 1992.

    Google Scholar 

  41. R.A. Wysk, N.S. Yang, and S. Joshi, “Detection of deadlocks in flexible manufacturing cells,” IEEE Trans. Robotics and Automation, vol. 7, no. 6, pp. 853–859, 1991.

    Article  Google Scholar 

  42. M.-C. Zhou, F. DiCesare, A.D. Desrochers, “A hybrid methodology for synthesis of Petri net models for manufacturing systems,” IEEE Trans. Robotics and Automation, vol. 8, no. 3, pp. 350–361, Jun. 1992.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ARRI, The University of Texas at Arlington, 7300 Jack Newell Blvd. S, Ft. Worth, Texas, 76118-7115, USA

    F. L. Lewis & D. Tacconi

  2. Electrical Eng. Dept., Eastern Mediterranean Univ., P. O. Box 95, Gazi Magosa, Mersin 10, Turkey

    A. Gürel

  3. Dept. of Industrial Management, Natl.Pingtung Polytechnic Inst., 1 Hseuh-Fu Rd, Nei Pu Hsiang, Pingtung, Taiwan, 91207, Republic of China

    H.-H. Huang

  4. Dept. of Automatic Control and Ind. Informatics, Polytechnic Institute of Iasi, Str. Horia 7-9, 6600, Iasi, Romania

    O. C. Pastravanu

Authors
  1. F. L. Lewis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. Tacconi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Gürel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. H.-H. Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. O. C. Pastravanu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece

    Spyros G. Tzafestas

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Lewis, F.L., Tacconi, D., Gürel, A., Huang, HH., Pastravanu, O.C. (1997). Manufacturing Controller Design and Deadlock Avoidance Using a Matrix Model for Discrete Event Systems. In: Tzafestas, S.G. (eds) Methods and Applications of Intelligent Control. Microprocessor-Based and Intelligent Systems Engineering, vol 16. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5498-7_17

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-5498-7_17

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-6314-2

  • Online ISBN: 978-94-011-5498-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation