Sequentielle Systeme

1 Einführung und Übersicht.- 1.1 Zeitkontinuierliche Systeme.- 1.2 Abtastsysteme.- 1.3 Automaten.- 1.4 Einordnung und Gliederung des Buches.- 2 Ein stetiges algebraisches Äquivalent Boolescher Schaltfunktionen.- 2.1 Schaltfunktionen und ihre Implementierung mit Schaltern.- 2.2 Ein stetiges algebraisches Äquivalent zur Negation.- 2.3 Funktionen in zwei Variablen.- 2.4 Funktionen in drei Variablen.- 2.5 Funktionen in n Variablen.- 2.6 Separation von Variablen und Parametern.- 2.7 Funktionen binärer Eingangsgrössen u und binärer Zustandsgrössen x.- 2.8 Zusammenfassung.- 3 Einige spezielle Klassen Boolescher Funktionen f(x, u).- 3.1 Lineare Funktionen bezüglich u.- 3.2 Lineare Funktionen bezüglich x.- 3.3 Bilineare Funktionen in x und u.- 3.4 Lineare Funktionen in x und u.- 3.5 Unvollständig definierte Boolesche Funktionen.- 3.6 Die Gesamtheit der vollständig definierten, algebraisch linearen Binärprozesse.- 3.7 Zusammenfassung.- 4 Algebraisch lineare Automaten.- 4.1 Der lineare Automat im Sinne der Automatentheorie.- 4.2 Der autonome algebraisch lineare Automat und sein dynamisches Verhalten.- 4.2.1 Das autonome Abtastsystem.- 4.2.2 Der autonome Automat.- 4.2.3 Die Eigenwerte algebraisch linearer Automaten.- 4.2.4 Beispiele.- 4.3 Steuerbarkeit und Erreichbarkeit.- 4.3.1 Steuerbarkeit und Erreichbarkeit linearer, zeitinvarianter Abtastsysteme.- 4.3.2 Erreichbarkeit in der Automatentheorie.- 4.3.3 Steuerbarkeit und Erreichbarkeit algebraisch linearer Automaten.- 4.4 Beobachtbarkeit und Beobachterentwurf.- 4.4.1 Beobachtbarkeit.- 4.4.2 Beobachterentwurf.- 4.5 Zusammenfassung.- 5 Regelung algebraisch linearer Binärprozesse durch Eigenwertvorgabe.- 5.1 Vorbemerkungen.- 5.2 Regelung durch konstante Zustandsrückführung.- 5.3 Entwurf dynamischer Regler.- 5.4 Modellgestützte Vorsteuerung binärer dynamischer Systeme.- 5.5 Zusammenfassung.- 6 Regelung algebraisch multilinearer Binärprozesse.- 6.1 Globale Linearisierung multilinearer Binärprozesse durch multilineare Rückkopplung.-