Grundlagen der Automatisierungstechnik

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 V&V-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.