Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Arturo Sanchez
€ 63.50
FREE Delivery in Ireland
Description for Formal Specification and Synthesis of Procedural Controllers for Process Systems
Paperback. The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, which are normally carried out by procedural control systems (such as PLCs or DCSs). This volume provides a synthesis of such systems. Series: Lecture Notes in Control and Information Sciences. Num Pages: 248 pages, 13 black & white illustrations, biography. BIC Classification: TGPQ; TJFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 391.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1996
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
248
Condition
New
Series
Lecture Notes in Control and Information Sciences
Number of Pages
224
Place of Publication
Berlin, Germany
ISBN
9783540760214
SKU
V9783540760214
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Specification and Synthesis of Procedural Controllers for Process Systems