Cargando…
Formal Synthesis of Safety Controller Code for Distributed Controllers.
Annotation
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin :
Logos Verlag Berlin,
2012.
|
| Colección: | Hallenser Schriften Zur Automatisierungstechnik Ser.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Intro; 1 Introduction; 1.1 Model-driven controller design; 1.2 Problem and methods of resolution; 2 Safe Net Condition/Event Systems; 2.1 Syntax of Safe Net Condition/Event Systems; 2.2 Modular semantic; 2.3 Composition; 2.4 Structural analysis; 2.4.1 State invariants; 2.4.2 Place invariants; 2.4.3 Event synchronization; 2.4.4 Generalized state invariants; 3 Distributed Safety Control Functions; 3.1 Distributed control structure; 4 Formal Plant Modeling; 4.1 System example; 4.2 Well-structured models; 4.3 Controllable and observable plant elements; 5 Behavior Specifications.
- 5.1 System specification5.2 Distribution to modular specifications; 6 Modular Synthesis of Locking Safety Controllers; 6.1 Steps under partial markings; 6.2 Modular backward search; 6.3 Modular synthesis of distributed locking control functions; 6.4 Performance of the modular backward search; 7 Synthesis of Forcing/Locking Safety Controllers; 7.1 Synthesis of forcing/locking control functions; 7.1.1 Partially enabled controllable steps; 7.1.2 Monolithic backward search; 7.1.3 Permissiveness of the backward search results; 7.1.4 Forward step analysis; 7.2 Distribution and example.
- 7.3 Comparison8 Embedding Control Functions in IEC 61499 Function Blocks; 8.1 IEC 61499 Basic Function Blocks; 8.2 Transformation; 8.2.1 Interface; 8.2.2 Algorithms; 8.2.3 Execution Control Chart; 8.3 Use and extension; 9 Conclusions and Outlook; A Appendix.