Technologies for Engineering Manufacturing Systems Control in Closed Loop.

Annotation

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Preuße, Sebastian
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin : Logos Verlag Berlin, 2013.
Colección:Hallenser Schriften Zur Automatisierungstechnik Ser.
Temas:
Manufacturing processes > Technological innovations.
Production engineering > Technological innovations.
Fabrication > Innovations.
Technique de la production > Innovations.
Manufacturing processes > Technological innovations
Production engineering > Technological innovations
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mu 4500
001 EBOOKCENTRAL_on1021810937
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |n|---|||||
008 180203s2013 gw o 000 0 eng d
040 |a EBLCP  |b eng  |e pn  |c EBLCP  |d YDX  |d MERUC  |d EZ9  |d OCLCQ  |d LOA  |d OCLCO  |d UX1  |d OCLCF  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 1022080067  |a 1290089004 
020 |a 9783832593636 
020 |a 3832593632 
020 |z 9783832536008 
020 |z 3832536000 
029 1 |a AU@  |b 000065431172 
035 |a (OCoLC)1021810937  |z (OCoLC)1022080067  |z (OCoLC)1290089004 
050 4 |a TS183  |b .P748 2013 
082 0 4 |a 670  |2 23 
049 |a UAMI 
100 1 |a Preuße, Sebastian. 
245 1 0 |a Technologies for Engineering Manufacturing Systems Control in Closed Loop. 
260 |a Berlin :  |b Logos Verlag Berlin,  |c 2013. 
300 |a 1 online resource (148 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Hallenser Schriften Zur Automatisierungstechnik Ser. ;  |v v. 10 
588 0 |a Print version record. 
505 0 |a Intro; 1 Introduction; 2 Basic Principles; 2.1 Technologies for studying Behavior; 2.2 Plants; 2.3 Controllers; 2.3.1 IEC 61131-3; 2.3.2 IEC 61499-1; 2.4 System Models; 2.4.1 Syntax; 2.4.2 Semantics; 2.5 Basics of Specifications; 2.5.1 Computation Tree Logic; 2.5.2 Extended Computation Tree Logic; 2.5.3 Timed Computation Tree Logic; 2.5.4 Symbolic Timing Diagrams; 2.6 Closed-Loop Composition; 2.7 Model Checking; 2.7.1 General Remarks; 2.7.2 Model Checking Algorithm; 2.8 Summary; 3 Formal Modeling of Plant, Controller, and the Closed Loop; 3.1 Demonstration Example; 3.2 Formal Plant Modeling. 
505 8 |a 3.2.1 Modeling of Components3.2.2 Semi-Automatic Model Generation; 3.3 Formal Controller Modeling; 3.3.1 Controller Modeling; 3.3.2 Model Generation; 3.4 Formal Closed-Loop Modeling; 3.5 Summary; 4 Specification; 4.1 Safety-Oriented Technical Language; 4.1.1 Syntax; 4.1.2 Semantics; 4.1.3 Compiler for SOTL; 4.2 Symbolic Timing Diagrams; 4.2.1 Modifications; 4.2.2 Translation; 4.2.3 STD Editor; 4.3 Summary; 5 Analysis of the Closed-Loop Behavior; 5.1 Simulation in Closed Loop; 5.1.1 Hardware-In-The-Loop Simulation; 5.1.2 Software-In-The-Loop Simulation; 5.2 Verification in Closed Loop. 
505 8 |a 5.2.1 Hardware-In-The-Loop Verification5.2.2 Software-In-The-Loop Verification; 5.2.3 Limits of Verification; 5.3 Summary; 6 Conclusion and Outlook; 6.1 Conclusion; 6.2 Outlook; A Temporal Logics; B SOTL Grammar; C Algorithms; D Example for Model Checking; Bibliography; Index. 
520 8 |a Annotation  |b 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. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Manufacturing processes  |x Technological innovations. 
650 0 |a Production engineering  |x Technological innovations. 
650 6 |a Fabrication  |x Innovations. 
650 6 |a Technique de la production  |x Innovations. 
650 7 |a Manufacturing processes  |x Technological innovations  |2 fast 
650 7 |a Production engineering  |x Technological innovations  |2 fast 
758 |i has work:  |a Technologies for engineering manufacturing systems control in closed loop (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCFMX3tmk66DYbKpQrMfwmd  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Preuße, Sebastian.  |t Technologies for Engineering Manufacturing Systems Control in Closed Loop.  |d Berlin : Logos Verlag Berlin, ©2013  |z 9783832536008 
830 0 |a Hallenser Schriften Zur Automatisierungstechnik Ser. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=5247179  |z Texto completo 
938 |a EBL - Ebook Library  |b EBLB  |n EBL5247179 
938 |a YBP Library Services  |b YANK  |n 15138813 
994 |a 92  |b IZTAP 

Ejemplares similares