• Home
• About
• People
• News
• Events
• Research
• Areas
• Publications
• Themes
• Topics and Projects
• Courses
• Graduate Study
• Undergraduate Study
• Places
• Computing Systems
• Industrial Relations
• Alumni
• Contacts

Model-Based Integration of Methods For the Optimiation of Process Systems

Support provided by National Science Foundation

Description

Award Abstract #0121497
ITR/AP: Model-Based Integration of Methods for the Optimization of Process Systems

NSF Org: CCF

Initial Amendment Date: August 31, 2001
Latest Amendment Date: August 31, 2001
Award Number: 0121497
Award Instrument: Standard Grant
Program Manager: Almadena Y. Chtchelkanova CCF Division of Computer and Communication Foundations CSE Directorate for Computer & Information Science & Engineering

Start Date: September 15, 2001
Expires: August 31, 2005 (Estimated)
Awarded Amount to Date: $955000
Investigator(s): Ignacio Grossmann ig0c@andrew.cmu.edu(Principal Investigator) John Hooker (Co-Principal Investigator)

Sponsor: Carnegie-Mellon University 5000 Forbes Avenue PITTSBURGH, PA 15213 412/268-8746

NSF Program(s):
Field Application(s): 0000099 Other Applications NEC
Program Reference Code(s):
Program Element Code(s):

ABSTRACT

This ITR research medium research project will put together an interdisciplinary research group whose aim will be to develop a new modeling and a solution framework that nontrivially integrates a wide class of solution methods, including mathematical programming, constraint satisfaction, and a variety of heuristic algorithms. The objective of this framework is to be able to effectively tackle challenging engineering optimization problems. The group will be composed of faculty and students from Computer Science, Operations Research and Chemical Engineering. The key goal for the group will be to identify principles according to which algorithms can be integrated. These principles will then form the basis for a modeling language that guides the integration. Furthermore, new solution techniques will be developed for hybrid models and for global optimization of nonconvex discrete/continuous problems. Two paths of integration will be investigated. One is to exploit problem structure at the modeling stage by using an idea developed in constraint logic programming: namely, by writing the problem in the form of "global" constraints that individually invoke algorithms tailored to the special structure of each constraint. A second is to make a fundamental distinction, at both the modeling and solution stage, between two types of algorithms: checkers and solvers. The research will be applied primarily to the optimization of process systems, with a focus on synthesis of reactive distillation systems and the integrated testing of new products and batch manufacturing. Because these problems have both discrete and continuous aspects, and the second involves difficult nonlinearities, they provide a natural context for combining optimization and logic-based methods. However, the research will develop a general-purpose approach to modeling and solution, rather than one that is exclusively for process systems applications.

Principal Investigator

Projects Supported

Details