Zusammenfassung
Dieses Kapitel beschäftigt sich mit kombinatorischen und sequentiellen Steuereinrichtungen. Bezüglich der Realisierung werden verbindungsprogrammierte und speicherprogrammierbare Steuereinrichtungen (SPS) betrachtet und verglichen. Als Beschreibungsmittel für Steueralgorithmen werden Schaltfunktionen, deterministische Automaten und steuerungstechnisch interpretierte Petri-Netze (Steuernetze) behandelt. Bei den Beispielrechnungen wird gezeigt, wie sich die auf der Basis von Steuernetzen entworfenen Steueralgorithmen auf einfache Weise in Ablaufsprachen für SPS umsetzen lassen. Im Zusammenhang mit den Beschreibungsmitteln werden wesentliche Aspekte der klassischen Vorgehensweise beim Steuerungsentwurf einbezogen, um dadurch auch Vergleichsmöglichkeiten zum prozessmodellbasierten Entwurf zu haben. Zu jedem Hauptabschnitt dieses Kapitels erfolgt ein kurzer Überblick zur historischen Entwicklung.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
Abel, D.: Petri-Netze für Ingenieure. Berlin: Springer-Verlag 1990.
Aspern, J. v.: SPS-Softwareentwicklung mit Petrinetzen. Heidelberg: Hüthig Verlag 1993.
Aspern, J. v.: SPS-Softwareentwicklung mit IEC 61131. Heidelberg: Hüthig Verlag 2000.
Baumgarten, B.: Petri-Netze. Mannheim, Wien, Zürich: BI-Wissenschaftsverlag 1990.
Bindel, T.; Hofmann, D.: Projektierung von Automatisierungsanlagen. Wiesbaden: Springer Vieweg 2009/2013.
Bochmann, D.: Einführung in die strukturelle Automatentheorie. Berlin: Verlag Technik 1975.
Bochmann, D.: Automatengraphen. Berlin: Akademie-Verlag 1982.
Bochmann, D.: Posthoff, C.: Binäre dynamische Systeme. Berlin: Akademie-Verlag 1981.
Böhringer, M.: Strichvariable und ihre Anwendung – eine Erweiterung der Schaltalgebra für Schaltungen mit Impulsgattern. EIK 2 (1966), S. 37–54.
Braun, W.: Speicherprogrammierbare Steuerungen in der Praxis. Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft 1999.
David, R.; Alla, H.: Petri Nets and Grafcet. New York, London: Prentice Hall 1992.
Fasol, K. H.: Binäre Steuerungstechnik. Berlin Heidelberg: Springer-Verlag 1988.
Föllinger, O.; Weber,W.: Methoden der Schaltalgebra. München, Wien: Oldenbourg Verlag 1967.
Gawrilow, M. A.; Dewjatkow, W. W.: DASP – ein dialogunterstütztes System zur Projektierung digitaler Steuereinrichtungen (in Russ.). Preprints des 1. IFAC-Symp. Discrete Systems, Riga 1974, Vol. 3, S. 93–102.
Gawrilow, M. A.: Die Synthese und Analyse Relais-Kontakt-Schaltungen. Inst. f. Automatik und Telemechanik, Moskau 1943/1966.
Gottschalk, H.: Verbindungsprogrammierte und speicherprogrammierbare Steuereinrichtungen. Berlin: Verlag Technik 1984.
Hartmanis, M. A.; Stearns, R. E.: Algebraic Structure Theory of Sequential Machines. Englewood Cliffs, N. Y.: Prentice-Hall, 1966.
Holt, A. W.; Commoner, F.: Events and Conditions. Record Proj. MAC Conf. Concurrent Systems and Parallel Computation, Woods Hole, ACM 1970.
Huffman, D. A.: Synthesis of Sequential Switching Circuits. J. Franklin Inst., 257, March 1954, pp. 161–190; May 1954 pp. 275–303.
Jörns. C.: Ein integriertes Steuerungs- und Verifikationskonzept mit Hilfe interpretierter Petri-Netze. Fortschrittsberichte VDI-Reihe 8 Nr.641, VDI-Verlag 1997.
Karnaugh, M.: The Map Method for Synthesis of Combinational logic Cicuits. Transaction AJEE (1953) pp. 593–598.
Kasakow, V. D.: Minimierung logischer Funktionen mit einer großen Zahl von Variablen (in Russ.). Avtom. i Telem. (1962) S. 1237–1242.
König, R.: Petri Nets and their Application for a Standardizable Design of Switching Circuits. 2. IFAC-Symposium Discrete System 1977, Bd. 2, S. 112–119.
König, R.: Petri-Netze und ihre Verwendung zum standardisierten Entwurf digitaler Steuerungen. Dissertation TU Dresden 1980.
König, R.; Quäck, L.: Petri-Netze in der Steuerungstechnik. Berlin: Verlag Technik 1988.
Krapp. M.: Beschreibung unvollständig bestimmter Automaten durch einen verallgemeinerten Automatengraphen. ZKI-Informationen Dresden 1979, 1, S. 19–22.
Krapp. M.: Digitale Automaten. Berlin: Verlag Technik 1988.
Langmann, R,: Taschenbuch der Automatisierung. Leipzig: Fachbuchverlag 2010.
Lunze, J.: Automatisierungstechnik. München, Wien: Oldenbourg Verlag 2005/2008/2012.
Litz, L.: Grundlagen der Automatisierungstechnik. München, Wien: Oldenbourg Verlag 2005.
McCluskey, E. J.: Minimization of Boolean Functions. Bell Syst. Techn. J. (1956) No. 10 pp. 1417–1444.
Mealy, G. H.: A method for Synthesizing Sequential Circuits. Bell System Technical Journal, Vol. 34 (1955) pp. 1045–1079.
Metz, J.; Merbeth, G.: Schaltalgebra. Leipzig: Fachbuchverlag 1970.
Montgomerie, G: A.: Sketch for an Algebra of Relay and Switching Circuits. IEE, Vol. 95 (1948), Part III, pp. 303–312.
Moore, E. F.: Gedanken-Experiments on Sequential Machines. Automata, Princeton University Press 1956, pp. 129–153.
Nakashima, A.; Hanzava, M.: The Theory of Equivalent Transformation of Simple Partial Paths in the Relay Circuit (Part 1). Journal of the Institute of Electrical Communication Engineering of Japan 1936, No. 165 (in Japanese) Condensed English Version of part 1 and 2 in: Nippon Electrical Communication Engineering 1938, No. 9, pp. 32–39.
Oberst, E.: Entwurf von Kombinationsschaltungen. Berlin: Verlag Technik 1972.
Oberst, E.; Zander, H. J.: Technik der Schaltsysteme. In. Das Fachwissen des Ingenieurs. Leipzig: Fachbuchverlag 1964.
Oberst, E.; Koegst, M.; Franke, G.: Beschreibung binärer Steuerungen durch Steuergraphen. msr 21 (1978), H. 10, S. 572–578.
Posthoff, C.; Bochmann, D; Haubold, K.: Diskrete Mathematik. Leipzig: BSB B. G. Teubner Verlagsgesellschaft 1986.
Petri, C. A.: Kommunikation mit Automaten. Dissertation, Institut für instrumentelle Mathematik, Universität Bonn. 1962.
Piesch, H.: Über die Vereinfachung von allgemeinen Schaltungen. Arch. Elektrotechnik 33 (1939) S. 733–746.
Plechl, O.; Duschek, A.: Grundzüge einer Algebra elektrischer Schaltungen. Östr. Ing. Arch. 1 (1946) S. 203–230.
Quine, W. V.: The Problem of Simplifying truth Functions. Math. Monthley (1952) pp. 521–531.
Reisig, W.: Petri-Netze – Eine Einführung. Berlin: Springer-Verlag, 2. Aufl. 1986.
Rohleder, H.: Ein Verfahren zum Aufstellen optimaler Normalformen bei gegebenen Primimplikanten. Zeitschr. f. math. Logik u. Grundl. d. Math. 5 (1959), S. 334–339.
Rohleder, H.: Über die Synthese von Reihen-Parallel-Schaltungen bei unvollständig gegebenen Arbeitsbedingungen. Zeitschr. f. math. Logik und Grundl. d. Math. 8 (1962), S. 165–199.
Scarbata, G.: Synthese und Analyse Digitaler Schaltungen. München: Oldenbourg Wissenschaftsverlag 2001.
Schestakow, W. I.: Einige mathematische Methoden zum Entwurf und zur Vereinfachung elektrischer Zweipole der Klasse A. Dissertation, Lomonosow-Universität Moskau, 1938.
Schestakow, W. I.: Die Algebra der Zweipole aus zweipoligen Elementen. Avtomatika i Telemechanika 2 (1941), S. 15–24.
Schnieder, E.: Prozessinformatik, Einführung mit Petrinetzen. Braunschweig, Wiesbaden: Vieweg Verlagsgesellschaft 1986.
Schnieder, E.: Petri-Netze in der Automatisierungstechnik. München, Wien: Oldenbourg Verlag 1992.
Shannon, C. E.: A Symbolic Analysis of Relay and Switching Circuits. Transaction of the American Institute of Electrical Engineers, Vol. 57, 1938, pp. 731–723.
Starke, P. H.: Abstrakte Automaten. Berlin: Deutscher Verlag der Wissenschaften 1969.
Starke, P. H.: Petri-Netze. Berlin: Deutscher Verlag der Wissenschaften 1980.
Starke, P. H.: Analyse von Petri-Netz-Modellen. Stuttgart: B. G. Teubner Verlag 1990.
Töpfer, H.; Kriesel, W.: Funktionseinheiten der Automatisierungstechnik. Berlin: Verlag Technik 1973/1983.
Töpfer, H.; Kriesel, W.: Kleinautomatisierung durch Geräte ohne Hilfsenergie. Berlin: Verlag Technik 1978.
Töpfer, H.; Schrepel, D.; Schwarz, A.: Pneumatische Bausteinsysteme der Digitaltechnik. Berlin: Verlag Technik 1967/1973.
Wendt, S.: Die Modelle von Moore und Mealy – Klärung einer begrifflichen Konfusion. http://kluedo.ub.uni-kl.de/volltexte/2000/32/.
Wellenreuther, G.; Zastrow, D.: Steuerungstechnik mit SPS. Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft 1991/1995
Winkler, J.: Modellierung und Verifikation bei steuerungstechnischen Problemstellungen. Dissertation, Institut für Automatisierungstechnik, TU Dresden 1993 (Aachen: Verlag Shaker 1993).
Zander, H.-J.: Das kontaktlose TRANSLOG-Signalsystem in Bausteinform. Elektrie 1963, H. 2, S. 41–44.
Zander, H.-J.: Ein Verfahren zur Optimierung von Kombinationsschaltungen mit mehreren Ausgängen bei unvollständigen Arbeitsbedingungen. EIK 6 (1970) H. 3, S. 137–152.
Zander, H.-J.: Method for state reduction of automata taking into account technical peculiarities of synchronous and asynchronous operational modes. In: Automatica, IFAC-Journal, Pergamon Press. Vol. 7, 1971, pp. 59–71.
Zander, H.-J.: Zur strukturellen Synthese von Schaltsystemen. Dissertation B (Habilitation), TU Dresden 1971.
Zander, H.-J.: Zur Minimierung von partiellen Booleschen Funktionen bei gegebener nichtkanonischer Normalform. Elektronische Informationsverarbeitung und Kybernetik (EIK) 9 (1973), H. 1/2, S. 67–79.
Zander, H.-J.: Logischer Entwurf binärer Systeme. Berlin: Verlag Technik 1982/1985/1989.
Zander, H.-J.: Steuerungs- und Regelungseinrichtungen. In: Töpfer, H. (Hrsg.): Automatisierungstechnik aus Herstellersicht. Radeburg: Druckerei Vetters 1996.
Zander, H.-J.; Oberst, E.; Hummitzsch, P.: RENDIS – ein universelles Programmsystem zum rechnergestützten Entwurf digitaler Steuerungen. messen-steuern-regeln (msr) (1973), S. 142–144 und 281–284.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2015 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Zander, HJ. (2015). Steuereinrichtungen und Steueralgorithmen. In: Steuerung ereignisdiskreter Prozesse. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-01382-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-658-01382-0_3
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-01381-3
Online ISBN: 978-3-658-01382-0
eBook Packages: Computer Science and Engineering (German Language)