MENÜ MENÜ  

cover

Technologies for Engineering Manufacturing Systems Control in Closed Loop

Hallenser Schriften zur Automatisierungstechnik, Bd. 10

Sebastian Preuße

ISBN 978-3-8325-3600-8
145 Seiten, Erscheinungsjahr: 2013
Preis: 42.00 €
Technologies for Engineering Manufacturing Systems Control in Closed Loop
Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Überprüfung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfür werden die verwendeten Formalismen weitestehend durch domänenspezifische Beschreibungsmöglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu unterstützen.

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 überprüft. Auf diese Weise lässt sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten für die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden.


Wollen auch Sie Ihre Dissertation veröffentlichen?

cover cover cover cover cover cover cover cover cover
Inhaltsverzeichnis (PDF)

Keywords:

  • model checking
  • closed-loop modeling
  • closed-loop analysis
  • specification technologies
  • model generation

KAUFOPTIONEN

42.00 €
Nur noch 1 Ex. auf Lager
Versandkostenfrei innerhalb Deutschlands

38.00 €
52.00 €
56.00 €

(D) = innerhalb Deutschlands
(W) = außerhalb Deutschlands

*Sie können das eBook (PDF) entweder einzeln herunterladen oder in Kombination mit dem gedruckten Buch (eBundle) erwerben. Der Erwerb beider Optionen wird über PayPal abgerechnet - zur Nutzung muss aber kein PayPal-Account angelegt werden. Mit dem Erwerb des eBooks bzw. eBundles akzeptieren Sie unsere Lizenzbedingungen für eBooks.

Bei Interesse an Multiuser- oder Campus-Lizenzen (MyLibrary) füllen Sie bitte das Formular aus oder schreiben Sie eine email an order@logos-verlag.de