Grundlagen Der Automatisierungstechnik: Regelungssysteme - Steuerungssysteme - Hybride Systeme (German Edition)

Verbindet auf einmalige Weise die formale Untersuchung von Regelungs- und Steuerungsprozessen mit deren konkreter Implementierung in Form von Software-Algorithmen. Das Buch von Lothar Litz ist konzipiert als modernes Werk zur Einführung in die Methoden der Automatisierungstechnik und wendet sich sowohl an Ingenieure als auch an Informatiker. Automatisieren bedeutet immer: rückgekoppelte Systeme beherrschen. Heutige Automatisierungssysteme werden fast ausschließlich mittels Software realisiert. Regelungs- und Steuerungsentwurf bedeutet daher immer auch Softwareentwurf. Diese Sichtweise liegt dem Aufbau des Buches zugrunde. Verbindet auf einmalige Weise die formale Untersuchung von Regelungs- und Steuerungsprozessen mit deren konkreter Implementierung in Form von Software-Algorithmen. Main description: Das Buch von Lothar Litz ist konzipiert als modernes Werk zur Einführung in die Methoden der Automatisierungstechnik und wendet sich sowohl an Ingenieure als auch an Informatiker. Heutige Automatisierungssysteme werden fast ausschließlich mittels Software realisiert. Regelungs- und Steuerungsentwurf bedeutet daher immer auch Softwareentwurf. Diese Sichtweise liegt dem Aufbau des Buches zugrunde. Es behandelt zunächst den Entwurfsprozess und bettet alle Methoden in diesen ein. Dies gilt insbesondere auch für den ereignisdiskreten Teil, der neuere VetV-Methoden (Verifikation und Validierung) mittels Temporaler Logik und Model Checking einbezieht. Das Buch vermittelt fundiert den Stoff auf über 500 Seiten mit vielen Anwendungsbeispielen und gelösten Aufgaben. Zusätzlich stehen eigens zur Verdeutlichung des Stoffes erstellte Applets zur Verfügung, die über das Internet geladen werden können Das Buch von Lothar Litz ist konzipiert als modernes Werk zur Einführung in die Methoden der Automatisierungstechnik und wendet sich sowohl an Ingenieure als auch an Informatiker. Automatisieren bedeutet immer: rückgekoppelte Systeme beherrschen. Heutige Automatisierungssysteme werden fast ausschließlich mittels Software realisiert. Regelungs- und Steuerungsentwurf bedeutet daher immer auch Softwareentwurf. Diese Sichtweise liegt dem Aufbau des Buches zugrunde. Das Buch befasst sich ausführlich mit den beiden klassischen Aspekten der Automatisierungtechnik, den Steuerungs- und Regelungssystemen, und geht insbesondere auf deren heutzutage vorherrschende Realisierung mit Hilfe von Software ein. Unabhängig von einer konkreten Programmiersprache liegt hier der Schwerpunkt auf dem Entwurfsprozess und den Verifikationsmethoden für die entwickelten Modell. Ein eigenes Kapitel ist den immer wichtiger werdenden hybriden Systemen gewidmet, die die Vorteile der typischen Steuerungs- und Regelungssysteme vereinen