Technologies for Engineering Manufacturing Systems Control in Closed Loop

Technologies for Engineering Manufacturing Systems Control in Closed Loop
Author :
Publisher : Logos Verlag Berlin GmbH
Total Pages : 148
Release :
ISBN-10 : 9783832536008
ISBN-13 : 3832536000
Rating : 4/5 (000 Downloads)

Book Synopsis Technologies for Engineering Manufacturing Systems Control in Closed Loop by : Sebastian Preuße

Download or read book Technologies for Engineering Manufacturing Systems Control in Closed Loop written by Sebastian Preuße and published by Logos Verlag Berlin GmbH. This book was released on 2013 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt: Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Uberprufung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfur werden die verwendeten Formalismen weitestehend durch domanenspezifische Beschreibungsmoglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu unterstutzen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms uberpruft. Auf diese Weise lasst sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten fur die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden.


Technologies for Engineering Manufacturing Systems Control in Closed Loop Related Books

Technologies for Engineering Manufacturing Systems Control in Closed Loop
Language: en
Pages: 148
Authors: Sebastian Preuße
Categories: Computers
Type: BOOK - Published: 2013 - Publisher: Logos Verlag Berlin GmbH

DOWNLOAD EBOOK

Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Uberprufung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei
Unit Manufacturing Processes
Language: en
Pages: 228
Authors: National Research Council
Categories: Technology & Engineering
Type: BOOK - Published: 1995-01-03 - Publisher: National Academies Press

DOWNLOAD EBOOK

Manufacturing, reduced to its simplest form, involves the sequencing of product forms through a number of different processes. Each individual step, known as an
Principles of Automation and Control
Language: en
Pages: 220
Authors: Ilesanmi Afolabi Daniyan
Categories: Technology & Engineering
Type: BOOK - Published: 2023-09-28 - Publisher: Bentham Science Publishers

DOWNLOAD EBOOK

Principles of Automation and Control is a concise textbook that explains the basics of robust automation and control strategies. It demonstrates the essentials
Topics in Modal Analysis & Testing, Volume 10
Language: en
Pages: 186
Authors: Michael Mains
Categories: Technology & Engineering
Type: BOOK - Published: 2017-03-27 - Publisher: Springer

DOWNLOAD EBOOK

Topics in Modal Analysis & Testing, Volume 10: Proceedings of the 35th IMAC, A Conference and Exposition on Structural Dynamics, 2017, the tenth volume of ten f
Manufacturing research and education
Language: en
Pages: 164
Authors: United States. Congress. House. Committee on Science, Space, and Technology. Subcommittee on Science
Categories: Engineering design
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK