Skip to main content
Top

2017 | OriginalPaper | Chapter

6. Decomposition of Concurrent Control Systems

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This chapter deals with decomposition of concurrent control systems. The main aim of such a process is to split the control algorithm into sequential subsystems. Each of decomposed modules can be implemented separately, even with application of various devices. Furthermore, the functionality of the particular sequential subsystem can be reconfigured without touching the rest of the device. Three SM-decomposition methods are shown in the chapter. All of them refer to the concurrent control systems described by an interpreted Petri net. The first one is based on the classical linear algebra and place invariants computation. The second method uses perfect graph theory, while the remaining one applies calculation of exact transversals.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Carmona J, Cortadella J (2006) State encoding of large asynchronous controllers. In: DAC, pp 939–944 Carmona J, Cortadella J (2006) State encoding of large asynchronous controllers. In: DAC, pp 939–944
2.
go back to reference Coudert O (1996) On solving covering problems. In: DAC, pp 197–202 Coudert O (1996) On solving covering problems. In: DAC, pp 197–202
3.
go back to reference Gamelin T, Greene R Introduction to topology, Dover Publications, New York Gamelin T, Greene R Introduction to topology, Dover Publications, New York
4.
go back to reference Garey M, Johnson D (1979) Computers and intractability: a guide to the theory of np-completeness. W.H. Freeman, New YorkMATH Garey M, Johnson D (1979) Computers and intractability: a guide to the theory of np-completeness. W.H. Freeman, New YorkMATH
5.
go back to reference Knuth D (2000) Dancing links. In: Millennial Perspectives in Computer Science, Palgrave, pp 187–214 Knuth D (2000) Dancing links. In: Millennial Perspectives in Computer Science, Palgrave, pp 187–214
6.
go back to reference Korte B, Vygen J (2012) Combinatorial optimization: theory and algorithms, Springer New York Korte B, Vygen J (2012) Combinatorial optimization: theory and algorithms, Springer New York
7.
go back to reference Kovalyov A (1992) Concurrency relation and the safety problem for Petri nets. In: Jensen K (ed) Proceedings of the 13th International conference on application and theory of Petri nets 1992, LNCS, vol 616. Springer, pp 299–309, June 1992 Kovalyov A (1992) Concurrency relation and the safety problem for Petri nets. In: Jensen K (ed) Proceedings of the 13th International conference on application and theory of Petri nets 1992, LNCS, vol 616. Springer, pp 299–309, June 1992
8.
go back to reference Pinter C (2014) A book of set theory, Dover Publications, New York Pinter C (2014) A book of set theory, Dover Publications, New York
9.
go back to reference Roguska A (2001) Evaluation of the practical interpreted Petri nets, grafcet networks and networks based on the SEC binary control system design, 2001. Bachelors Thesis, Technical University of Zielona Góra Roguska A (2001) Evaluation of the practical interpreted Petri nets, grafcet networks and networks based on the SEC binary control system design, 2001. Bachelors Thesis, Technical University of Zielona Góra
10.
go back to reference Rudell RL (1989) Logic synthesis for VLSI design. Ph.D. thesis, EECS Department, University of California, Berkeley, CA, USA Rudell RL (1989) Logic synthesis for VLSI design. Ph.D. thesis, EECS Department, University of California, Berkeley, CA, USA
11.
go back to reference Sentovich E, Singh KJ, Moon CW, Savoj H, Brayton RK, Sangiovanni-Vincentelli AL (1992) Sequential circuit design using synthesis and optimization. In: ICCD ’92: Proceedings of the 1991 IEEE international conference on computer design on VLSI in computer & processors, IEEE Computer Society, Washington, DC, USA, pp 328–333 Sentovich E, Singh KJ, Moon CW, Savoj H, Brayton RK, Sangiovanni-Vincentelli AL (1992) Sequential circuit design using synthesis and optimization. In: ICCD ’92: Proceedings of the 1991 IEEE international conference on computer design on VLSI in computer & processors, IEEE Computer Society, Washington, DC, USA, pp 328–333
12.
go back to reference Silva M (2013) Half a century after Carl Adam Petri’s Ph.D. thesis: a perspective on the field. Annual Reviews in Control, vol 37(2). pp 191–219 Silva M (2013) Half a century after Carl Adam Petri’s Ph.D. thesis: a perspective on the field. Annual Reviews in Control, vol 37(2). pp 191–219
13.
go back to reference Silva M, Terue E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of place/transition net systems, Springer, Berlin Silva M, Terue E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of place/transition net systems, Springer, Berlin
14.
go back to reference Stefanowicz Ł, Adamski M (2014) Aspects of selection of SM-components with the application of the theory of hypergraphs. In: Proceedings of the 7th IEEE international conference on human system interactions (HSI), Lisbon, Portugal, pp 221–226 Stefanowicz Ł, Adamski M (2014) Aspects of selection of SM-components with the application of the theory of hypergraphs. In: Proceedings of the 7th IEEE international conference on human system interactions (HSI), Lisbon, Portugal, pp 221–226
15.
go back to reference Stefanowicz L, Adamski M, Wiśniewski R (2013) Application of an exact transversal hypergraph in selection of SM-components. In: Technological innovation for the internet of things, Springer, Heidelberg-Dordrecht, pp 250–257 Stefanowicz L, Adamski M, Wiśniewski R (2013) Application of an exact transversal hypergraph in selection of SM-components. In: Technological innovation for the internet of things, Springer, Heidelberg-Dordrecht, pp 250–257
16.
go back to reference Stefanowicz L, Adamski M, Wiśniewski R, Lipiński J (2014) Application of hypergraphs to SMCs selection. In: Technological innovation for collective awareness systems, Springer, pp 249–256 Stefanowicz L, Adamski M, Wiśniewski R, Lipiński J (2014) Application of hypergraphs to SMCs selection. In: Technological innovation for collective awareness systems, Springer, pp 249–256
17.
go back to reference Stoll R (1979) Set theory and logic. Dover Publications, New York Stoll R (1979) Set theory and logic. Dover Publications, New York
18.
go back to reference Tkacz J, Adamski M (2012) Macrostate encoding of reconfigurable digital controllers from topological Petri net structure. Przeglad Elektrotechniczny 2012(8):137–140 Tkacz J, Adamski M (2012) Macrostate encoding of reconfigurable digital controllers from topological Petri net structure. Przeglad Elektrotechniczny 2012(8):137–140
19.
go back to reference Valette R (1978) Comparative study of switching representation tool with GRAFCET and Petri nets. Nouv Autom 23(12):377–382 Valette R (1978) Comparative study of switching representation tool with GRAFCET and Petri nets. Nouv Autom 23(12):377–382
20.
go back to reference Wiśniewska M (2012) Application of hypergraphs in decomposition of discrete systems, vol 23. Lecture Notes in Control and Computer ScienceUniversity of Zielona Góra Press, Zielona Góra Wiśniewska M (2012) Application of hypergraphs in decomposition of discrete systems, vol 23. Lecture Notes in Control and Computer ScienceUniversity of Zielona Góra Press, Zielona Góra
21.
go back to reference Wiśniewska M, Adamski M, Wiśniewski R (2011) Exact transversals in decomposition of Petri nets into concurrent subnets. Meas Autom Monit 58(8):851–853 in Polish Wiśniewska M, Adamski M, Wiśniewski R (2011) Exact transversals in decomposition of Petri nets into concurrent subnets. Meas Autom Monit 58(8):851–853 in Polish
22.
go back to reference Wiśniewski R, Karatkevich A, Adamski M, Kur D (2014) Application of comparability graphs in decomposition of Petri nets. In: Proceedings of the 7th IEEE international conference on human system interactions (HSI), Lisbon, Portugal Wiśniewski R, Karatkevich A, Adamski M, Kur D (2014) Application of comparability graphs in decomposition of Petri nets. In: Proceedings of the 7th IEEE international conference on human system interactions (HSI), Lisbon, Portugal
23.
go back to reference Wiśniewski R, Stefanowicz L, Wiśniewska M, Kur D (2015) Exact cover of states in the discrete state-space system. In: 11th international conference of computational methods in sciences and engineering (ICCMSE), vol 1702 of AIP Conference Proceedings Greece, Athens, pp 1–4 Wiśniewski R, Stefanowicz L, Wiśniewska M, Kur D (2015) Exact cover of states in the discrete state-space system. In: 11th international conference of computational methods in sciences and engineering (ICCMSE), vol 1702 of AIP Conference Proceedings Greece, Athens, pp 1–4
Metadata
Title
Decomposition of Concurrent Control Systems
Author
Remigiusz Wiśniewski
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-45811-3_6