Cargando…
Technologies for Engineering Manufacturing Systems Control in Closed Loop.
Annotation
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin :
Logos Verlag Berlin,
2013.
|
| Colección: | Hallenser Schriften Zur Automatisierungstechnik Ser.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.