Skip to main content
SpringerLink
Log in

Formal Specification and Synthesis of Procedural Controllers for Process Systems

  • Book
  • © 1996

Overview

Authors:
  1. Arturo Sanchez
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Control and Information Sciences (LNCIS, volume 212)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 16.99 USD 54.99
Discount applied Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Download chapter PDF

  2. The role of procedural control

    Pages 1-20

  3. Modelling framework

    Pages 21-46

  4. Specification modelling

    Pages 47-69

  5. Supervisory control theory

    Pages 71-83

  6. Synthesis of procedural controllers

    Pages 85-121

  7. Implementation issues

    Pages 123-174

  8. Epilogue

    Pages 175-181

  9. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

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

  • DOI: https://doi.org/10.1007/BFb0036104

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London 1996

  • Softcover ISBN: 978-3-540-76021-4Published: 20 March 1996

  • eBook ISBN: 978-3-540-44430-5Published: 11 April 2006

  • Series ISSN: 0170-8643

  • Series E-ISSN: 1610-7411

  • Edition Number: 1

  • Number of Pages: XXIV, 224

  • Number of Illustrations: 13 b/w illustrations

  • Topics: Control, Robotics, Mechatronics

Publish with us

Policies and ethics

Back to top

Search

Navigation