Advertisement

Table of contents

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

About this book

Introduction

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.

Keywords

Normal automation control control system control theory

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0036104
  • Copyright Information Springer-Verlag London Limited 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-76021-4
  • Online ISBN 978-3-540-44430-5
  • Series Print ISSN 0170-8643
  • Series Online ISSN 1610-7411
  • Buy this book on publisher's site