skip to content
Technologies for Engineering Manufacturing Systems Control in Closed Loop. Preview this item
ClosePreview this item
Checking...

Technologies for Engineering Manufacturing Systems Control in Closed Loop.

Author: Sebastian Preuße
Publisher: Berlin : Logos Verlag Berlin, 2013.
Series: Hallenser Schriften Zur Automatisierungstechnik Ser.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Annotation
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Preuße, Sebastian.
Technologies for Engineering Manufacturing Systems Control in Closed Loop.
Berlin : Logos Verlag Berlin, ©2013
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Sebastian Preuße
ISBN: 9783832593636 3832593632
OCLC Number: 1021810937
Description: 1 online resource (148 pages)
Contents: 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. 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. 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.
Series Title: Hallenser Schriften Zur Automatisierungstechnik Ser.

Abstract:

Annotation

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1021810937> # Technologies for Engineering Manufacturing Systems Control in Closed Loop.
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1021810937" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1755546173#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/670/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1755546173#Topic/manufacturing_processes_technological_innovations> ; # Manufacturing processes--Technological innovations
    schema:about <http://experiment.worldcat.org/entity/work/data/1755546173#Topic/production_engineering_technological_innovations> ; # Production engineering--Technological innovations
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1755546173#Person/preusse_sebastian> ; # Sebastian Preuße
    schema:datePublished "2013" ;
    schema:description "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."@en ;
    schema:description "Annotation"@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1755546173> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1755546173#Series/hallenser_schriften_zur_automatisierungstechnik_ser> ; # Hallenser Schriften Zur Automatisierungstechnik Ser.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1755546173#CreativeWork/technologies_for_engineering_manufacturing_systems_control_in_closed_loop> ;
    schema:name "Technologies for Engineering Manufacturing Systems Control in Closed Loop."@en ;
    schema:productID "1021810937" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1021810937#PublicationEvent/berlin_logos_verlag_berlin_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1755546173#Agent/logos_verlag_berlin> ; # Logos Verlag Berlin
    schema:url <https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=5247179> ;
    schema:workExample <http://worldcat.org/isbn/9783832593636> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1021810937> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1755546173#Agent/logos_verlag_berlin> # Logos Verlag Berlin
    a bgn:Agent ;
    schema:name "Logos Verlag Berlin" ;
    .

<http://experiment.worldcat.org/entity/work/data/1755546173#Person/preusse_sebastian> # Sebastian Preuße
    a schema:Person ;
    schema:familyName "Preuße" ;
    schema:givenName "Sebastian" ;
    schema:name "Sebastian Preuße" ;
    .

<http://experiment.worldcat.org/entity/work/data/1755546173#Series/hallenser_schriften_zur_automatisierungstechnik_ser> # Hallenser Schriften Zur Automatisierungstechnik Ser.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1021810937> ; # Technologies for Engineering Manufacturing Systems Control in Closed Loop.
    schema:name "Hallenser Schriften Zur Automatisierungstechnik Ser." ;
    schema:name "Hallenser Schriften Zur Automatisierungstechnik Ser. ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1755546173#Topic/manufacturing_processes_technological_innovations> # Manufacturing processes--Technological innovations
    a schema:Intangible ;
    schema:name "Manufacturing processes--Technological innovations"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1755546173#Topic/production_engineering_technological_innovations> # Production engineering--Technological innovations
    a schema:Intangible ;
    schema:name "Production engineering--Technological innovations"@en ;
    .

<http://worldcat.org/entity/work/data/1755546173#CreativeWork/technologies_for_engineering_manufacturing_systems_control_in_closed_loop>
    a schema:CreativeWork ;
    rdfs:label "Technologies for Engineering Manufacturing Systems Control in Closed Loop." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1021810937> ; # Technologies for Engineering Manufacturing Systems Control in Closed Loop.
    .

<http://worldcat.org/isbn/9783832593636>
    a schema:ProductModel ;
    schema:isbn "3832593632" ;
    schema:isbn "9783832593636" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.