Research Article
BibTex RIS Cite

Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems

Year 2019, Volume: 16 Issue: 2, 70 - 86, 01.11.2019

Abstract

This paper develops a new modeling technique for the supervisory control of FMS in the framework of
discrete event systems (DES). In particular, we consider the general case of an FMS, where different product
types can share production components and production components can hold multiple products. We first
point out that a suitable model for such production component needs to keep track of the product type and
the order of products entering and leaving production components. Then, we develop a general method for
algorithmically constructing the required order-preserving models. We further illustrate the practicability of
the developed method by an application example.


Supporting Institution

Scientific and Technological Research Council of Turkey (TÜBİTAK)

Thanks

It is worth mentioning that the author Anas Nooruldeen is supported by a full scholarship for his PhD study by the Scientific and Technological Research Council of Turkey (TÜBİTAK) and would like to express his thanks and appreciation for this support.

References

  • [1] M. H. de Queiroz, J. E. R. Cury, W. M. Wonham, Multitasking Supervisory Control of Discrete-Event Systems,Discrete Event Dynamic Systems, 15(4), (2005), 375—395.
  • [2] W. Chao, Y. Gan,W. M.Wonham, Z.Wang, Nonblocking Supervisory Control of Flexible Manufacturing SystemsBased on State Tree Structures, Formal Methods in Manufacturing Systems, (2013).
  • [3] P. N. Pena, T. A. Costa, R. S. Silva, R. H. C. Takahashi, Control of Flexible Manufacturing Systems under modeluncertainty using Supervisory Control Theory and evolutionary computation schedule synthesis, Information Sciences,329, (2016), 491–502.
  • [4] T. Sprock, C. Bock, L. F. McGinnis, Survey and classification of operational control problems in discrete eventlogistics systems (DELS), International Journal of Production Research, 57(15-16), (2019), 5215–5238.
  • [5] R. Rl-Khalil, Z. Darwish, Flexible manufacturing systems performance in US automotive manufacturing plants:a case study, Production Planning & Control, 30(1), (2019), 48–59.
  • [6] K. Schmidt, T. Moor and S. Perk, Nonblocking Hierarchical Control of Decentralized Discrete Event Systems,IEEE Transactions on Automatic Control, 53(10), (2008), 2252–2265.
  • [7] L. Feng and W. M. Wonham, Supervisory Control Architecture for Discrete-Event Systems, IEEE Transactionson Automatic Control, 53(6), (2008), 1449–1461.
  • [8] J. E. R. Cury, M. H. de Queiroz, G. Bouzon, M. Teixeira, Supervisory control of discrete event systems withdistinguishers, Automatica, 56, (2015), 93-104.
  • [9] C. G. Cassandras, S. Lafortune, Introduction to discrete event systems, Second edition, Springer, (2008).
  • [10] Z. Li, M. Zhou and N. Wu, A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies forFlexible Manufacturing Systems, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applicationsand Reviews), 2(2), (2008), 173–188.
  • [11] M. Zhao, M. Uzam, Y. Hou, Near-optimal supervisory control of flexible manufacturing systems using divideand-conquer iterative method, Advances in Mechanical Engineering, 8(3), (2016), 1–17.[12] Y. F. Hou, K. Barkaoui, Deadlock analysis and control based on Petri nets: A siphon approach review, Advancesin Mechanical Engineering, 9(5), (2017).
  • [13] Y. Li, L. Yin, Y. Chen, Z. Yu, N. Wu, Optimal Petri net supervisor synthesis for forbidden state problems usingmarking mask, Information Sciences, 505, (2019), 183–197.
  • [14] K. Schmidt, C. Breindl, Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems,IEEE Transactions on Automatic Control, 56(4), (2011), 723–737.
  • [15] K. Cai,W. M.Wonham, Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-EventSystems, IEEE Transactions on Automatic Control, 55(3), (2010), 605–618.
  • [16] R. A. Williams, B. Benhabib, K. C. Smith, A hybrid supervisory control system for flexible manufacturing workcells,IEEE International Conference on Robotics and Automation, 3, (1994), 2551-2556.
  • [17] A. Nooruldeen, K.W. Schmidt, State Attraction Under Language Specification for the Reconfiguration of DiscreteEvent Systems, IEEE Transactions on Automatic Control, 60(6), (2015), 1630–1634.
  • [18] K. W. Schmidt, Reconfigurability of behavioural specifications for manufacturing systems, International Journalof Control, 90(12), (2017), 2605–2617.
  • [19] W. M. Wonham, Supervisory control of discrete-event systems, Lecture Notes, Department of Electrical andComputer Engineering, University of Toronto, (2010).
  • [20] Y. Koren, U. Heisel, F. Jovane, T. Moriwaki, G. Pritschow, G. Ulsoy, H.V. Brussel, Reconfigurable ManufacturingSystems, CIRP Annals - Manufacturing Technology, 48(2), (1999), 527-540.
  • [21] M.G. Mehrabi, A.G. Ulsoy, Y. Koren , Reconfigurable manufacturing systems: Key to future manufacturing,Journal of Intelligent Manufacturing, 11(4), (2000), 403-419.
Year 2019, Volume: 16 Issue: 2, 70 - 86, 01.11.2019

Abstract

References

  • [1] M. H. de Queiroz, J. E. R. Cury, W. M. Wonham, Multitasking Supervisory Control of Discrete-Event Systems,Discrete Event Dynamic Systems, 15(4), (2005), 375—395.
  • [2] W. Chao, Y. Gan,W. M.Wonham, Z.Wang, Nonblocking Supervisory Control of Flexible Manufacturing SystemsBased on State Tree Structures, Formal Methods in Manufacturing Systems, (2013).
  • [3] P. N. Pena, T. A. Costa, R. S. Silva, R. H. C. Takahashi, Control of Flexible Manufacturing Systems under modeluncertainty using Supervisory Control Theory and evolutionary computation schedule synthesis, Information Sciences,329, (2016), 491–502.
  • [4] T. Sprock, C. Bock, L. F. McGinnis, Survey and classification of operational control problems in discrete eventlogistics systems (DELS), International Journal of Production Research, 57(15-16), (2019), 5215–5238.
  • [5] R. Rl-Khalil, Z. Darwish, Flexible manufacturing systems performance in US automotive manufacturing plants:a case study, Production Planning & Control, 30(1), (2019), 48–59.
  • [6] K. Schmidt, T. Moor and S. Perk, Nonblocking Hierarchical Control of Decentralized Discrete Event Systems,IEEE Transactions on Automatic Control, 53(10), (2008), 2252–2265.
  • [7] L. Feng and W. M. Wonham, Supervisory Control Architecture for Discrete-Event Systems, IEEE Transactionson Automatic Control, 53(6), (2008), 1449–1461.
  • [8] J. E. R. Cury, M. H. de Queiroz, G. Bouzon, M. Teixeira, Supervisory control of discrete event systems withdistinguishers, Automatica, 56, (2015), 93-104.
  • [9] C. G. Cassandras, S. Lafortune, Introduction to discrete event systems, Second edition, Springer, (2008).
  • [10] Z. Li, M. Zhou and N. Wu, A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies forFlexible Manufacturing Systems, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applicationsand Reviews), 2(2), (2008), 173–188.
  • [11] M. Zhao, M. Uzam, Y. Hou, Near-optimal supervisory control of flexible manufacturing systems using divideand-conquer iterative method, Advances in Mechanical Engineering, 8(3), (2016), 1–17.[12] Y. F. Hou, K. Barkaoui, Deadlock analysis and control based on Petri nets: A siphon approach review, Advancesin Mechanical Engineering, 9(5), (2017).
  • [13] Y. Li, L. Yin, Y. Chen, Z. Yu, N. Wu, Optimal Petri net supervisor synthesis for forbidden state problems usingmarking mask, Information Sciences, 505, (2019), 183–197.
  • [14] K. Schmidt, C. Breindl, Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems,IEEE Transactions on Automatic Control, 56(4), (2011), 723–737.
  • [15] K. Cai,W. M.Wonham, Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-EventSystems, IEEE Transactions on Automatic Control, 55(3), (2010), 605–618.
  • [16] R. A. Williams, B. Benhabib, K. C. Smith, A hybrid supervisory control system for flexible manufacturing workcells,IEEE International Conference on Robotics and Automation, 3, (1994), 2551-2556.
  • [17] A. Nooruldeen, K.W. Schmidt, State Attraction Under Language Specification for the Reconfiguration of DiscreteEvent Systems, IEEE Transactions on Automatic Control, 60(6), (2015), 1630–1634.
  • [18] K. W. Schmidt, Reconfigurability of behavioural specifications for manufacturing systems, International Journalof Control, 90(12), (2017), 2605–2617.
  • [19] W. M. Wonham, Supervisory control of discrete-event systems, Lecture Notes, Department of Electrical andComputer Engineering, University of Toronto, (2010).
  • [20] Y. Koren, U. Heisel, F. Jovane, T. Moriwaki, G. Pritschow, G. Ulsoy, H.V. Brussel, Reconfigurable ManufacturingSystems, CIRP Annals - Manufacturing Technology, 48(2), (1999), 527-540.
  • [21] M.G. Mehrabi, A.G. Ulsoy, Y. Koren , Reconfigurable manufacturing systems: Key to future manufacturing,Journal of Intelligent Manufacturing, 11(4), (2000), 403-419.
There are 20 citations in total.

Details

Primary Language English
Subjects Engineering
Journal Section Articles
Authors

Anas Nooruldeen

Klaus Werner Schmıdt

Publication Date November 1, 2019
Published in Issue Year 2019 Volume: 16 Issue: 2

Cite

APA Nooruldeen, A., & Schmıdt, K. W. (2019). Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems. Cankaya University Journal of Science and Engineering, 16(2), 70-86.
AMA Nooruldeen A, Schmıdt KW. Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems. CUJSE. November 2019;16(2):70-86.
Chicago Nooruldeen, Anas, and Klaus Werner Schmıdt. “Order-Preserving Models for the Supervisory Control of Flexible Manufacturing Systems”. Cankaya University Journal of Science and Engineering 16, no. 2 (November 2019): 70-86.
EndNote Nooruldeen A, Schmıdt KW (November 1, 2019) Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems. Cankaya University Journal of Science and Engineering 16 2 70–86.
IEEE A. Nooruldeen and K. W. Schmıdt, “Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems”, CUJSE, vol. 16, no. 2, pp. 70–86, 2019.
ISNAD Nooruldeen, Anas - Schmıdt, Klaus Werner. “Order-Preserving Models for the Supervisory Control of Flexible Manufacturing Systems”. Cankaya University Journal of Science and Engineering 16/2 (November 2019), 70-86.
JAMA Nooruldeen A, Schmıdt KW. Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems. CUJSE. 2019;16:70–86.
MLA Nooruldeen, Anas and Klaus Werner Schmıdt. “Order-Preserving Models for the Supervisory Control of Flexible Manufacturing Systems”. Cankaya University Journal of Science and Engineering, vol. 16, no. 2, 2019, pp. 70-86.
Vancouver Nooruldeen A, Schmıdt KW. Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems. CUJSE. 2019;16(2):70-86.