Dissertation•
Synthesis of operating procedures for complete chemical plants
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.
Citations
More filters
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
TL;DR: The language can be viewed as a very high-level special-purpose language, that moves the user several levels away from the inherent programming language (e.g. LISP, as in this case, Pascal or C).
147 citations
Proceedings Article•
11 Jul 1993TL;DR: In this article, a method to exploit quantitative knowledge more fully by deriving and numerically simulating an extremal system whose solution is guaranteed to bound all solutions of the SQDE is presented.
Abstract: Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current simulation methods, the quantitative knowledge is not exploited as fully as possible. This paper describes dynamic envelopes - a method to exploit quantitative knowledge more fully by deriving and numerically simulating an extremal system whose solution is guaranteed to bound all solutions of the SQDE. It is shown that such systems can be determined automatically given the SQDE and an initial condition. As model precision increases, the dynamic envelope bounds become more precise than those derived by other semiquantitative inference methods. We demonstrate the utility of our method by showing how it improves the dynamic monitoring and diagnosis of a vacuum pump down system.
88 citations
TL;DR: This paper shows how the formal framework of MODEL.LA.LA is being used to construct multifaceted models of processing systems, which can access multiple views of a model; generate contextual models; establish consistency among multiple, concurrent models developed at different levels of abstraction.
64 citations
TL;DR: The implementation of a conceptual framework for modelling a biopharmaceutical manufacturing plant into a prototype decision-support tool, S im B iopharma, which covers the ability to evaluate manufacturing alternatives in terms of cost, time, yield, resource utilisation and risk.
64 citations
References
More filters
TL;DR: A general purpose automated planner/scheduler is described which generates parallel plans to achieve goals with imposed time con-straints and whose durations and start time windows may be specified for sets of goal conditions.
Abstract: A general purpose automated planner/scheduler is described which generates parallel plans to achieve goals with imposed time con-straints Both durations and start time windows may be specified for sets of goal conditions The parallel plans consist of not just actions but also of events (triggered by circumstances), inferences, and scheduled events (completely beyond the actor's control) Deterministic dura-tions of all such activities are explicitly modeled, and may be any com-putable function of the activity variables A start time window for each activity in the plan is updated dynamically during plan generation, in order to maintain consistency with the windows and durations of adja-cent activities and goals The plans are tailored around scheduled events The final plan network resembles a PERT chart From this a schedule of nominal start times for each activity is generated Ex-amples are drawn from the traditional blocksworld and also from a real-istic ``Spaceworld,'' in which an autonomous spacecraft photographs objects in deep space and transmits the information to Earth The author is with the Information Systems Research Section, Jet Propulsion Laboratory, Pasadena, CA 91109
423 citations
TL;DR: The structure and implementational features of the DESIGN-KIT, a software support environment developed to aid process engineering activities such as: synthesis of process flowsheets, configuration of control loops for complete plants, planning and scheduling of plant-wide operations and operational analysis are outlined.
108 citations
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
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.
52 citations