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 |
MARC
| LEADER | 00000cam a2200000Mu 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_on1021805776 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 180203s2012 gw o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d YDX |d MERUC |d EZ9 |d OCLCQ |d CUY |d LOA |d OCLCO |d ZCU |d ICG |d OCLCF |d COCUF |d VT2 |d DKC |d AU@ |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 1022079384 |a 1117837725 |a 1290109776 | ||
| 020 | |a 9783832599744 | ||
| 020 | |a 3832599746 | ||
| 020 | |a 3832531475 | ||
| 020 | |a 9783832531478 | ||
| 020 | |z 9783832531478 | ||
| 020 | |z 3832531475 | ||
| 024 | 3 | |a 9783832531478 | |
| 035 | |a (OCoLC)1021805776 |z (OCoLC)1022079384 |z (OCoLC)1117837725 |z (OCoLC)1290109776 | ||
| 037 | |b 01426427 | ||
| 050 | 4 | |a TS155.6 |b .M577 2012 | |
| 082 | 0 | 4 | |a 670.4275 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Missal, Dirk. | |
| 245 | 1 | 0 | |a Formal Synthesis of Safety Controller Code for Distributed Controllers. |
| 260 | |a Berlin : |b Logos Verlag Berlin, |c 2012. | ||
| 300 | |a 1 online resource (156 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. 9 | |
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 520 | 8 | |a Annotation |b Modern control systems in manufacturing are characterized by rising complexity in size and functionality. They are highly decentralized and constitute a network of physically and functionally distributed controllers collaborating to perform the control tasks. That goes along with a further growing demand on safety and reliability. A distributed control architecture supporting functional decomposition of large systems as well as accommodating flexibility of modular systems is defined. This work describes the formal synthesis of distributed control functions for the sub area of safety requirements. The formal synthesis is applied to avoid the potentially faulty influence of human work through the whole process from the formal specification to the executable control function. Starting points are a formal model of the uncontrolled plant behavior and a formal specification of forbidden behavior. The formulation of the specification and the modeling is exemplified on a manufacturing system in lab-scale. The introduced synthesis methods produce controller models describing the correct control actions to achieve the given specification. The methods use symbolic backward search from a forbidden state to determine the last admissible state before entering an uncontrollable trajectory to a forbidden state. Hence, the determination of the reachable state space is avoided to reduce the computational complexity. The use of partial markings leads to a further reduction. The complexity is an important obstacle for the use of formal methods on real-scale applications. The monolithic synthesis approach is proven to result in maximally permissive results. The modular approach is not maximally permissive but the more efficient way to distributed control functions. The implementation of the generated controller model as executable Function Blocks according to IEC61499 is addressed in the last part of this work. The distributed control predicates are embedded as structured text instruction into different interacting Function Block types according to the distributed control structure. This last step finalizes the sequence from a formal model and the specification to fully automatically-generated executable control code. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Automatic control |x Standards. | |
| 650 | 6 | |a Commande automatique |x Normes. | |
| 650 | 7 | |a Automatic control |x Standards |2 fast | |
| 758 | |i has work: |a Formal synthesis of safety controller code for distributed controllers (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGVQJbqB89DcbFWPHgcRYX |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Missal, Dirk. |t Formal Synthesis of Safety Controller Code for Distributed Controllers. |d Berlin : Logos Verlag Berlin, ©2012 |z 9783832531478 |
| 830 | 0 | |a Hallenser Schriften Zur Automatisierungstechnik Ser. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=5219649 |z Texto completo |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL5219649 | ||
| 938 | |a YBP Library Services |b YANK |n 15139383 | ||
| 994 | |a 92 |b IZTAP | ||