Cover of: Formal specification and synthesis of procedural controllers for process systems | Arturo Sanchez Read Online
Share

Formal specification and synthesis of procedural controllers for process systems by Arturo Sanchez

  • 59 Want to read
  • ·
  • 66 Currently reading

Published by Springer in London, New York .
Written in English

Subjects:

  • Automatic control.,
  • Process control.

Book details:

Edition Notes

Includes bibliographical references (p. [207]-216) and index.

StatementArturo Sanchez.
SeriesLecture notes in control and information sciences ;, 212
Classifications
LC ClassificationsTJ213 .S1154 1996
The Physical Object
Paginationxxiv, 221 p. :
Number of Pages221
ID Numbers
Open LibraryOL970064M
ISBN 103540760210
LC Control Number96006757

Download Formal specification and synthesis of procedural controllers for process systems

PDF EPUB FB2 MOBI RTF

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). Formal specification and synthesis of procedural controllers for process systems. London ; New York: Springer, © (OCoLC) Online version: Sanchez, Arturo, Formal specification and synthesis of procedural controllers for process systems. London ; New York: Springer, © (OCoLC) Document Type: Book: All Authors. Get this from a library! Formal Specification and Synthesis of Procedural Controllers for Process Systems. [Arturo Sanchez] -- 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. The controlled process is described as the generator of a formal language, while the controller, or supervisor, is constructed from the grammar of a specified target language that incorporates the.

  In: Formal Specification and Synthesis of Procedural Controllers for Process Systems. Lecture Notes in Control and Information Sciences, vol Springer, Berlin, Heidelberg.   Proceedings of the 30th Conference on Decision and Control, Brighton, UK pp. Ramadge, P. J. and W. M. Wonham (). Supervisory control of a class of discrete-event processes. SI AM Journal of Control and Optimization 25(1), Sanchez, A. (). Formal Specification and Synthesis of Sequential/Logic Controllers for Process Systems. A synthesis method is presented for a class of discrete-event controllers employed in large manufacturing systems forcing at most one control action in each stage of the control pattern. The formal synthesis problem, in which the goal is to synthesize or control a finite system from a temporal logic specification, has recently received increased interest. In this article, we review some recent results on the connection between optimal control and formal synthesis.

Process Systems Analysis and Control Process Systems Analysis and Control Donald R. Coughanowr Steven E. LeBlanc Third Edition Process Systems Analysis and Control, Third Edition retains the clarity of presentation for which this book is well known. It is an ideal teaching and learning tool for a semester-long undergraduate chemical engineering. The book is divided into four parts: Introduction; Systems Engineering Process; Systems Analysis and Control; and Planning, Organizing, and Managing. The first part introduces the basic concepts that govern the systems engineering process and how those concepts fit the Department of Defense acquisition process. Abstract: The paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS II). The example specification demonstrates: the practicality of writing a formal requirements specification for.   This paper presents a new paradigm for designing reactive systems. It combines the use of formal methods widely recognized in software engineering and.