{"product_id":"technologies-for-engineering-manufacturing-systems-control-in-closed-loop-paperback","title":"Technologies for Engineering Manufacturing Systems Control in Closed Loop - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eSebastian Preusse\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eDiese 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.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 145\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.33 x 7.96 x 5.6 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e March 09, 2014\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":48762064077049,"sku":"9783832536008","price":113.4,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/LKstLOTzkj9783832536008.webp?v=1786066189","url":"https:\/\/bookscloud.io\/products\/technologies-for-engineering-manufacturing-systems-control-in-closed-loop-paperback","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}