Table of contents

  1. Front Matter
  2. Pages 21-46
  3. Pages 123-174
  4. Pages 175-181
  5. Back Matter

About this book


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.


Normal automation control control system control theory

Bibliographic information

  • Book Title Formal Specification and Synthesis of Procedural Controllers for Process Systems
  • Authors Arturo Sanchez
  • Series Title Lecture Notes in Control and Information Sciences
  • Series Abbreviated Title Lect Notes Control Inf Sci
  • DOI
  • Copyright Information Springer-Verlag London Limited 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-76021-4
  • eBook ISBN 978-3-540-44430-5
  • Series ISSN 0170-8643
  • Series E-ISSN 1610-7411
  • Edition Number 1
  • Number of Pages XXIV, 224
  • Number of Illustrations 13 b/w illustrations, 0 illustrations in colour
  • Topics Control, Robotics, Mechatronics
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences