Preliminary Program subject to change
10C14 Validated Computing and Deterministic Global Optimization
OverviewIn many chemical engineering problems (such as process design, modeling,identification, optimization and control) there is a need to (a) solve systems of equations and inequalities, and/or (b) optimize some performance measure. The results obtained by conventional algorithms are often either local, nondeterministic, or cannot be numerically guaranteed (due to round-off errors and limits on machine precision). This session is devoted to the theory and application of techniques that provide global solutions which can be guaranteed. For example, the use of interval analysis can provide guaranteed enclosures of all solutions to nonlinear algebraic equation solving problems which arise in chemical engineering applications, ensuring that no solutions are missed. Furthermore, many important tools for deterministic global optimization are being developed and applied to a wide variety of problems in engineering and science. We particularly encourage successful industrially-relevant applications. We also encourage submissions which can evolve to become benchmark case studies for future research.
Primary SponsorComputers in Operations and Information Processing (10c)

Chair

Luke E. Achenie
Professor
University of Connecticut
Dept. of Chemical Engineering, Unit 3222
191 Auditorium Road
Storrs, CT 06269
Phone Number: (860)486-2756
Fax Number: (860)486-2959
Email: achenie@engr.uconn.edu

CoChair

Kyle V. Camarda
Assistant Professor
University of Kansas
1530 W. 15th Street
4006 Learned Hall
Lawrence, KS 66045
Phone Number: 785-864-2908
Fax Number: 785-864-4967
Email: camarda@ku.edu
Deterministic Global Optimization: What Can We Compute and What Can We Guarantee?
Angelo Lucia, University of Rhode Island, Dept of Chem. Engineering, Kingston, RI 02881
Global Optimization for Parameter Estimation in Dynamic Systems
Youdong Lin, Chemical and Biomolecular Engineering, University of Notre Dame, 181 Fitzpatrick Hall, Notre Dame, IN 46556 and Mark A. Stadtherr, University of Notre Dame, Department of Chemical and Biomolecular Engineering, 182 Fitzpatrick Hall, Notre Dame, IN 46556
Solving Large Nonconvex Models with a Deterministic Global Optimization Solver
Chao-Yang (Tony) Gau, LINDO SYSTEMS INC., 1415 N. Dayton, Chicago, IL 60622 and Linus E. Schrage, University of Chicago, Chicago, IL 60637
Computation of Equilibrium States and Bifurcations in Ecosystem Models Using Interval Analysis
Courtney R. Gwaltney, Department of Chemical and Biomolecular Engineering, University of Notre Dame, 182 Fitzpatrick Hall, Notre Dame, IN 46556 and Mark A. Stadtherr, University of Notre Dame, Department of Chemical and Biomolecular Engineering, 182 Fitzpatrick Hall, Notre Dame, IN 46556
Deterministic Global Optimization Techniques for Solution of Nlp and Minlp Problems Using Piecewise Linear Relaxations with Applications in Metabolic Engineering
Pradeep K. Polisetty, Chemical Engineering, University of South Carolina, Dept. of Chemical Engineering, Swearingen Engineering Center, 301 Main St., Columbia, SC 29208, Eberhard Voit, Department of Biomedical Engineering, Georgia Tech / Emory, Atlanta, GA and Edward P. Gatzke, University of South Carolina, Dept. of Chemical Engineering, Swearingen Engineering Center, 301 Main St., Columbia, SC 29208
Interval Analysis of Ode Systems with Parametric Uncertainty
Amrit Prasad and Luke E. K. Achenie, Chemical Engineering, University of Connecticut, 191 Auditorium Road, Storrs, CT 06269

Computing and Systems Technology Division