scispace - formally typeset
Search or ask a question
Journal ArticleDOI

A synthesis method for chemical plant operating procedures

01 Jan 1987-Computers & Chemical Engineering (Pergamon)-Vol. 11, Iss: 4, pp 369-382
TL;DR: In this paper, a strategy is proposed for the systematic synthesis of operating procedures for chemical processing facilities, which is based on artificial intelligence techniques, most importantly planning with constraints, and the concept of stationary states are used as targets during procedure planning and real-time operations.
About: This article is published in Computers & Chemical Engineering.The article was published on 1987-01-01. It has received 52 citations till now.
Citations
More filters
Journal ArticleDOI
TL;DR: The purpose of this review is to sketch the directions that research and industrial applications of “intelligent systems” have taken in several areas of process engineering, and identify the emerging trends in each area, as well as the common threads that cut across several domains of inquiry.

195 citations

Journal ArticleDOI
TL;DR: It is shown that domain-independent planning methodologies using the functional operators required for the synthesis of operating procedures are computationally intractable, and justifies the adoption of a domain-specific approach to the planning of process operations.

70 citations

Dissertation
01 Jan 1990
TL;DR: Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 1990 as mentioned in this paper, Boston, Massachusetts, United States of America, Boston, MA
Abstract: Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 1990.

70 citations

Journal ArticleDOI
TL;DR: An approach based on Grafcet, a discrete event modeling concept, to represent procedural knowledge combined with an object-oriented representation of the declarative knowledge for automating operating procedure synthesis for batch processes is proposed.

64 citations

Journal ArticleDOI
TL;DR: The important algorithms used in the various stages of planning are presented, and the properties of these algorithms, in terms of their correctness and completeness, are stated and proved.

57 citations

References
More filters
Journal ArticleDOI
TL;DR: In this paper, the authors describe a problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model in which a given goal formula can be proven to be true.

2,883 citations

Journal ArticleDOI
TL;DR: This paper presents an approach to hierarchical planning, termed constraint posting, that uses constraints to represent the interactions between subproblems and is illustrated with a computer program that plans gene-cloning experiments in molecular genetics.

858 citations

Journal ArticleDOI
TL;DR: An algorithm is presented for the synthesis of fault-trees which is deduced directly from a digraph (directed graph) model of the system being analyzed, and a computer program which uses this algorithm is illustrated for a chemical processing system.
Abstract: An algorithm is presented for the synthesis of fault-trees. The fault-tree is deduced directly from a digraph (directed graph) model of the system being analyzed. The digraph describes the normal, failed, and conditional relationships which exist between variables and events in the system. A computer program which uses this algorithm is illustrated for a chemical processing system.

298 citations

Journal ArticleDOI
TL;DR: Methods are developed for the computer-aided synthesis of sequences of valve operations to reach complex operation goals with safety in order to solve industrially significant problems.
Abstract: Methods are developed for the computer-aided synthesis of sequences of valve operations to reach complex operation goals with safety. Given dangerous events which must not occur and operation goals to be reached, sequences of valve openings and closings are formed rapidly for industrially significant problems.

65 citations