scispace - formally typeset
R

R. Lakshmanan

Researcher at Massachusetts Institute of Technology

Publications -  6
Citations -  280

R. Lakshmanan is an academic researcher from Massachusetts Institute of Technology. The author has contributed to research in topics: Correctness & Object-oriented programming. The author has an hindex of 5, co-authored 5 publications receiving 278 citations.

Papers
More filters
Journal ArticleDOI

Design-kit: An object-oriented environment for process engineering

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.
Journal ArticleDOI

Synthesis of operating procedures for complete chemical plants—I. Hierarchical, structured modelling for nonlinear planning

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.
Journal ArticleDOI

Synthesis of operating procedures for complete chemical plants—II. A nonlinear planning methodology

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.
Journal ArticleDOI

Synthesis of operating procedures for complete chemical plants—III. Planning in the presence of qualitative, mixing constraints

TL;DR: A nonlinear planning methodology for handling qualitative mixing constraints is presented, intended to account for operational specifications prohibiting the mixing of two or more chemical species which form undesirable or potentially dangerous mixtures.
Journal ArticleDOI

An Intelligent System for Planning Plant-wide Process Control Strategies

TL;DR: In this article, the authors describe the methodological and implementational aspects of an intelligent system which is being developed for the planning of plant-side process operations such as start-up, response to faults, optimization, etc.