Steuerstrecken und ereignisdiskrete Prozesse

Chapter

Zusammenfassung

Dieses Kapitel befasst sich mit einer allgemein angelegten Struktur- und Verhaltensanalyse von Steuerstrecken und einer sich daraus ergebenden Gliederung von Steuerstrecken in Elementarsteuerstrecken mit einer Steuergröße sowie einer Charakterisierung der Wesensmerkmale ereignisdiskreter Prozesse. Die Ergebnisse dieser Untersuchungen bilden die Grundlage für die Prozessanalyse, die Erstellung von Prozessalgorithmen für Ablaufsteuerungen und die Modellbildung ereignisdiskreter Prozesse. Aus dieser an die Regelungstechnik angelehnten Betrachtungsweise resultieren zwei neuartige Methoden zum Steuerungsentwurf, bei denen die Steueralgorithmen in Form von Steuernetzen aus den Prozessalgorithmen bzw. den Prozessmodellen generiert werden.

Literatur

  1. Abe1990.
    Abel, D.: Petri-Netze für Ingenieure. Berlin: Springer-Verlag 1990. CrossRefMATHGoogle Scholar
  2. Ald1986.
    Alder, J.: Aufgabenstellung und Entwurf von Binärsteuerungen. Berlin: Verlag Technik 1986. Google Scholar
  3. AlPr2007.
    Alder, J.; Pretschner, A.: Prozess-Steuerungen. Berlin, Heidelberg: Springer-Verlag 2007. Google Scholar
  4. AlTo1998.
    Albert, J. und Tomaszanus, J.: Komponentenbasierte Modellbildung und Echtzeitsimulation kontinuierlich-diskreter Prozesse. GMA-Kongress ’98. VDI-Berichte 1397. Düsseldorf: VDI-Verlag 1998, S. 273–280. Google Scholar
  5. Bau1990.
    Baumgarten, B.: Petri-Netze. Mannheim, Wien, Zürich: Wissenschaftsverlag 1990. MATHGoogle Scholar
  6. BiHo2009.
    Bindel, T.; Hofmann, D.: Projektierung von Automatisierungsanlagen. Wiesbaden: Springer Vieweg 2009/2013. Google Scholar
  7. BoPo1981.
    Bochmann, D.; Posthoff, C.: Binäre dynamische Systeme. Berlin: Akademie-Verlag 1981. MATHGoogle Scholar
  8. ChSc1998.
    Chouika, M. und Schnieder, E.: Modellbasierter Steuerungsentwurf mit Petri-Netzen. GMA-Kongress ’98. VDI-Berichte 1397. Düsseldorf: VDI-Verlag 1998, S. 319–326. Google Scholar
  9. Hof1996.
    Hoffmann, J.: Messen nichtelektrischer Größen. Düsseldorf: VDI-Verlag 1996. CrossRefGoogle Scholar
  10. Hof2007.
    Hoffmann, J.: Handbuch der Messtechnik. München: Carl Hanser Verlag 2007. Google Scholar
  11. Hoff1977.
    Hoffmann, R.: Rechenwerke und Mikroprogrammierung. München, Wien: Oldenbourg-Verlag 1977. MATHGoogle Scholar
  12. HoKr1990.
    Holloway, L. E.; Krogh, B. H.: Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets Representing Discrete Event Systems. IEEE Transaction on Automatic Control, 1990, 5, pp. 514–523. CrossRefMathSciNetGoogle Scholar
  13. Hor1997.
    Horn, W.: Eine Methode zum modellbasierten Entwurf von Steueralgorithmen. Dissertation TU Dresden 1997. Google Scholar
  14. Jör1995.
    Jörns, C.: Steuerungsverifikation auf der Basis einer hybriden Systembeschreibung. In Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme. 4. Fachtagung, Braunschweig 1995, S. 479–493. Google Scholar
  15. Jör1996.
    Jörns, C.: Ein integriertes Steuerungsentwurfs- und Verifikationskonzept mit Hilfe interpretierter Petri-Netze (Dissertation Univ. Kaiserslautern), VDI-Fortschrittsberichte, Reihe 8, Nr. 641. Düsseldorf: VDI-Verlag 1996. Google Scholar
  16. Kil1983.
    Killenberg, H.: Beschreibung komplexer Steueralgorithmen. Dissertation B (Habilitation). TH Ilmenau 1983. Google Scholar
  17. KöQu1988.
    Petri-Netze in der Steuerungstechnik. Berlin: Verlag Technik 1988. Google Scholar
  18. Kow1996.
    Kowalewski, S.: Modulare diskrete Modellierung verfahrenstechnischer Anlagen zum systematischen Steuerungsentwurf (Dissertation Univ. Dortmund), Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik, Band 1, Aachen: Verlag Shaker 1996. Google Scholar
  19. KPST1998.
    Kowalewski, S., Preißig, J., Stursberg, O. und Treseler, H.: Blockorientierte Modellierung und formale Verifikation von diskret gesteuerten kontinuierlichen Prozessen. GMA-Kongress ’98. VDI-Berichte 1397. Düsseldorf: VDI-Verlag 1998, S. 335–342. Google Scholar
  20. Lie1985.
    Liermann, G.: Überwachung und Betriebsdiagnostizierung industrieller Steuerungen. Dissertation B (Habilitation), TH Magdeburg 1985. Google Scholar
  21. Lit1995.
    Litz, L.: Entwurf industrieller Prozesssteuerungen auf der Basis geeigneter Petri-Netz-Interpretationen. E. (Hrsg.): Entwurf komplexer Automatisierungssysteme. 4. Fachtagung, Braunschweig 1995, S. 417–429. Google Scholar
  22. Lit2005.
    Litz, L.: Grundlagen der Automatisierungstechnik. München, Wien: R. Oldenbourg Verlag 2005/2012. Google Scholar
  23. Lun2005.
    Lunze, J.: Automatisierungstechnik. München, Wien: Oldenbourg Verlag 2005/2008/2012. Google Scholar
  24. Lun2008.
    Lunze, J.: Regelungstechnik 1. Berlin, Heidelberg: Springer-Verlag 1997/2008. Google Scholar
  25. Neul1969.
    Neulist, K.; Schaffernak, A.: Der Programmablaufplan – ein Mittel zur Behandlung festverdrahteter Prozeßsteuereinrichtungen. BBC-Nachrichten 51 (1969), H. 12, 674–680. Google Scholar
  26. Nie2003.
    Petri-Netze – Ein anschaulicher Formalismus der Nebenläufigkeit. Automatisierungstechnik 51 (2003), H. 3, A5–A8, H. 4, A9–A12. Google Scholar
  27. Pri2006.
    Pritschow, G.: Einführung in die Steuerungstechnik. München, Wien: Carl Hanser Verlag 2006. Google Scholar
  28. Ram1983.
    Ramadge, P. J.: Control and Supervision of Discrete Event Processes. Ph.D. Thesis, Dept. of Electrical Engineering, Univ. Toronto, Ontario 1983. Google Scholar
  29. Rau1997.
    Rausch, M.: Modulare Modellbildung, Synthese und Codegenerierung ereignisdiskreter Steuerungssysteme (Dissertation TU Magdeburg). VDI-Fortschrittberichte, Nr. 613. Düsseldorf: VDI-Verlag 1997. Google Scholar
  30. RaWo1989.
    Ramadge, P. J.; Wonham, W. M.: The Control of Discrete Event Systems. Proc. of the IEEE, Vol. 77,1989, No. 1, pp. 81–98. CrossRefGoogle Scholar
  31. Rei2006.
    Reinschke, K.: Lineare Regelungs- und Steuerungstheorie. Berlin, Heidelberg: Springer 2006. Google Scholar
  32. Sah1990.
    Sahner, G.: Digitale Messverfahren. Berlin: Verlag Technik 1990. Google Scholar
  33. Sche1995.
    Scheuring, R.: Modellierung, Beobachtung und Steuerung ereignisdiskreter verfahrenstechnischer Systeme (Dissertation). VDI-Fortschrittsberichte, Reihe 8, Nr. 475, Düsseldorf: VDI-Verlag 1995. Google Scholar
  34. Star1969.
    Starke, P. H.: Abstrakte Automaten. Berlin: Deutscher Verlag der Wissenschaften 1969. MATHGoogle Scholar
  35. Star1990.
    Starke, P. H.: Analyse von Petri-Netz-Modellen. Stuttgart: B. G. Teubner Verlag 1990. CrossRefMATHGoogle Scholar
  36. TöBe1987.
    Töpfer, H.; Besch, P.: Grundlagen der Automatisierungstechnik. Berlin: Verlag Technik 1987. Google Scholar
  37. TöKr1977.
    Töpfer, H.; Kriesel, W.: Funktionseinheiten der Automatisierungstechnik. Berlin: Verlag Technik 1977/1983. Google Scholar
  38. TöKr1978.
    Töpfer, H.; Kriesel, W.: Kleinautomatisierung durch Geräte ohne Hilfsenergie. Berlin: Verlag Technik 1978. Google Scholar
  39. Uhl2006.
    Uhlig, R.: SPS – Modellbasierter Steuerungsentwurf für die Praxis. München: Oldenbourg Industrieverlag 2006. Google Scholar
  40. Weis2008.
    Weiser, T.: Untersuchungen zur Optimierung von Steueralgorithmen in der Papierindustrie am Beispiel von Papiermaschinen. Diplomarbeit. HTW Dresden 2008 (Betreuer: Prof. Dr. T. Bindel). Google Scholar
  41. Win1993.
    Winkler, J.: Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen (Dissertation TU Dresden). Aachen: Verlag Shaker 1993. Google Scholar
  42. Zan1985.
    Zander, H.-J.: Modellierung des Gesamtverhaltens von Mikroprogrammsteuerungen. Elektronische Informationsverarbeitung und Kybernetik (EIK), 1985, H.7/8, S. 371–384. Google Scholar
  43. Zan1989.
    Zander, H.-J.: Logischer Entwurf binärer Systeme. Berlin: Verlag Technik 1989. Google Scholar
  44. Zan2005.
    Zander, H.-J.: Entwurf von Ablaufsteuerungen für ereignisdiskrete Prozesse auf der Basis geeigneter Steuerstreckenmodelle. Automatisierungstechnik 53 (2005), H. 3, S. 140–149. CrossRefGoogle Scholar
  45. Zan2007.
    Zander, H.-J.: Eine Methode zum prozessmodellbasierten Entwurf von Steueralgorithmen für parallele ereignisdiskrete Prozesse. Automatisierungstechnik 55 (2007), H. 11, S. 580–593. CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer Fachmedien Wiesbaden 2015

Authors and Affiliations

  1. 1.Bannewitz bei DresdenDeutschland

Personalised recommendations