Sanchez | Formal Specification and Synthesis of Procedural Controllers for Process Systems | Buch | 978-3-540-76021-4 | sack.de

Buch, Englisch, Band 212, 224 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g

Reihe: Lecture Notes in Control and Information Sciences

Sanchez

Formal Specification and Synthesis of Procedural Controllers for Process Systems


Erscheinungsjahr 1996
ISBN: 978-3-540-76021-4
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 212, 224 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g

Reihe: Lecture Notes in Control and Information Sciences

ISBN: 978-3-540-76021-4
Verlag: Springer Berlin Heidelberg


The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. These activities are normally carried out by procedural control systems (such as PLCs or DCSs). Despite the extent to which these control systems are used in practice, limited theoretical frameworks exist to support their analysis and design. This is particularly relevant in flexible production environments which are characterised by frequent changes in the product recipes, production modes and equipment configuration. The book outlines a formal framework for the synthesis of control systems employed in the automation of event-driven process operations. The approach used builds on other theories initially proposed in computing and control disciplines.

Sanchez Formal Specification and Synthesis of Procedural Controllers for Process Systems jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


The role of procedural control.- Modelling framework.- Specification modelling.- Supervisory control theory.- Synthesis of procedural controllers.- Implementation issues.- Epilogue.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.