Skip to main content

Intelligent Control Synthesis of Manufacturing Systems*

  • Conference paper
  • First Online:
Engineering of Intelligent Systems (IEA/AIE 2001)

Abstract

An alternative approach to the synthesis of the intelligent control of manufacturing systems understood to be the discrete-event dynamic systems (DEDS) is presented in this paper. The Petri nets (PN) are used to express analytically both the model of DEDS to be controlled and to represent knowledge about the control task specifications expressing goal criteria of control, constraints and further external conditions. Both the DEDS model and the knowledge base (KB) are simultaneously used in the procedure of the control system synthesis. The elementary control possibilities are generated (by means of the model) in any step of the procedure and tested with respect to existence conditions. When there are several control possibilities satisfying the conditions the most suitable one is chosen by means of the KB.

Partially supported by the Slovak Grant Agency for Science (VEGA) under grants # 2/4036/97-99 and # 2/7145/20

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bugár, Z. (1998). Logical Petri nets and fuzzy Petri nets as the means of knowledge representation (in Slovak). Diploma Thesis (Supervisor: Čapkovič;, F.). Department of Informatics, Faculty of Mathematics and Physics, Comenius University, Bratislava, Slovak Republic.

    Google Scholar 

  2. Čapkovič, F. (1993). A Petri nets-based approach to the maze problem solving. In: Discrete Event Systems: Modelling and Control (S. Balemi, P. Kozák and R. Smedinga, Eds.). Birkhäuser Verlag. Basel-Boston-Berlin. pp. 173–179.

    Google Scholar 

  3. Čapkovič, F. (1996). Knowledge-based control of DEDS. In: Proceedings of the 13th IFAC World Congress, June 30-July 5, 1996, San Francisco, USA. (J. J. Gertler, J. B. Cruz, Jr. and M. Peshkin, Eds.). Elsevier Science Ltd., Pergamon. London. Vol. J. pp. 347–352.

    Google Scholar 

  4. Čapkovič, F. (1998). Representation of fuzzy knowledge about control task specifications. In: IT & KNOWS Information Technologies and Knowledge Systems. Proceedings of XV. IFIP World Computer Congress, August 31-September 4, 1998, Vienna and Budapest (J. Cuena, Ed.). Riegelnik. Vienna. pp. 215–228.

    Google Scholar 

  5. Čapkovič, F. (2000). Modelling and Control of Discrete Event Dynamic Systems. Research Report RS-00-26, BRICS Report Series, Basic Research in Computer Science, Aarhus University, Denmark, October 2000, 58 pages.

    Google Scholar 

  6. Čapkovič, P. (1999a). Algorithm of the DEDS control synthesis and its program realization (in Slovak). Diploma Thesis (Supervisor: Čapkovič, F.). Department of Informatics, Faculty of Electrical Engineering and Information Technology, Slovak University of Technology, Bratislava, Slovak Republic.

    Google Scholar 

  7. Čapkovič, P. (1999b). Algorithm of the DEDS control synthesis and its program realization. User Handbook (in Slovak). Department of Informatics, Faculty of Electrical Engineering and Information Technology, Slovak University of Technology, Bratislava, Slovak Republic.

    Google Scholar 

  8. Chao, D. Y., M. C. Zhou and D. T. Wang (1994). The knitting technique and Petri nets synthesis. The Computer Journal, 37, 67–76.

    Article  Google Scholar 

  9. Csontos, M. (2000). Timed and time Petri nets in modelling discrete event dynamic systems (in Slovak). Diploma Thesis (Supervisor: Č apkovič, F.). Department of Informatics, Faculty of Mathematics and Physics, Comenius University, Bratislava, Slovak Republic.

    Google Scholar 

  10. Nemes, C. (1997). Graphical editor for the Petri nets creation (in Slovak). Diploma Thesis (Supervisor: Čapkovič, F.). Department of Informatics, Faculty of Mathematics and Physics, Comenius University, Bratislava, Slovak Republic.

    Google Scholar 

  11. Looney, C. G., Alfize, A. A. (1987). Logical controls via boolean rule matrix transformations. IEEE Trans. on Syst. Man and Cybern., SMC-17, No 6, 1077–1081.

    Google Scholar 

  12. Looney, C. G. (1988). Fuzzy Petri nets for rule-based decisionmaking. IEEE Trans. Syst. Man Cybern., SMC-18, No 1, 178–183.

    Article  Google Scholar 

  13. Peterson, J. L. (1981). Petri Net Theory and Modeling the Systems. Prentice Hall, New York.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Čapkovič, F., Čapkovič, P. (2001). Intelligent Control Synthesis of Manufacturing Systems* . In: Monostori, L., Váncza, J., Ali, M. (eds) Engineering of Intelligent Systems. IEA/AIE 2001. Lecture Notes in Computer Science(), vol 2070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45517-5_84

Download citation

  • DOI: https://doi.org/10.1007/3-540-45517-5_84

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42219-8

  • Online ISBN: 978-3-540-45517-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics