Formal Specification and Synthesis of Procedural Controllers for Process Systems (Lecture Notes in Control and Information Sciences): 212 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
The role of procedural control.- Modelling framework.- Specification modelling.- Supervisory control theory.- Synthesis of procedural controllers.- Implementation issues.- Epilogue.
Product Description
Book by Sanchez Arturo
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Formal Specification and Synthesis of Procedural Controllers...
Foto dell'editore
Formal Specification and Synthesis of Procedural Controllers for Process Systems (Lecture Notes in Control and Information Sciences, 212)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-C-026-00440
Compra usato
EUR 28,86
Spedizione EUR 12,33
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Specification and Synthesis of Procedural Controllers for Process Systems (Lecture Notes in Control and Information Sciences, 212)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540760214_new
Compra nuovo
EUR 60,63
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Specification and Synthesis of Procedural Controllers for Process Systems (Lecture Notes in Control and Information Sciences)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783540760214
Compra nuovo
EUR 57,02
Spedizione EUR 17,95
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 252. Codice articolo 264345267
Compra nuovo
EUR 77,66
Spedizione EUR 3,45
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 252 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 3535468
Compra nuovo
EUR 77,14
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 252. Codice articolo 184345273
Compra nuovo
EUR 77,87
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. illustrated edition. 221 pages. 9.25x6.25x0.75 inches. In Stock. Codice articolo x-3540760210
Compra nuovo
EUR 78,22
Spedizione EUR 11,59
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. 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 co. Codice articolo 4900324
Compra nuovo
EUR 64,08
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Editore:
Springer-Verlag GmbH, 1996
ISBN 10: 3540760210
ISBN 13: 9783540760214
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | 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. Codice articolo 18712/202
Compra usato
EUR 14,59
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Editore:
Springer, Berlin, Springer, 1996
ISBN 10: 3540760210
ISBN 13: 9783540760214
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware - 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. Codice articolo 9783540760214
Compra nuovo
EUR 77,74
Spedizione EUR 61,93
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili