We are aware of an issue with certificate availability and are working diligently with the vendor to resolve. The vendor has indicated that, while users are unable to directly access their certificates, results are still being stored. Certificates will be available once the issue is resolved. Thank you for your patience.

(599f) Parallel Cyclic Reduction Decomposition for Dynamic Optimization Problems

Eason, J. P., Carnegie Mellon University
Wan, W., Carnegie Mellon Univeristy
Biegler, L. T., Carnegie Mellon University
Nicholson, B., Center for Computing Research, Sandia National Laboratories
Direct transcription of dynamic optimization problems, with differential-algebraic equations discretized and written as algebraic constraints, can create very large nonlinear optimization problems. When this discretized optimization problem is solved with an NLP solver, such as IPOPT, the dominant computational cost often lies in solving the linear system that generates Newton steps for the KKT system. Computational cost and memory constraints for this linear system solution raise many challenges as the system size increases. On the other hand, the linear KKT system for our dynamic optimization problem is sparse and structured, and can be permuted to form a block tridiagonal matrix. This study explores a parallel decomposition strategy for block tridiagonal systems that is based on cyclic reduction (CR) factorization of the KKT matrix. The classical CR method has good observed performance, but its numerical stability properties are unproved for our KKT system. Alternately, Yalamov and Pavlov proposed a modified, full-space CR algorithm with proven stability bounds. Here we compare the performance of both methods on random test matrices. Stable behavior is observed in both cases, and the classical CR method has lower computational cost. This result is explained by analyzing the complexity of both methods. Finally, we discuss modifications to the CR decomposition that improve performance, and we apply the approach to four industrially relevant case studies. These include a moving horizon estimation of a CSTR, nonlinear model predictive control of a CSTR, grade transition for a polymerization process, and nonlinear model predictive control of a bubbling fluidized bed reactor. The latter problem is discretized in both space and time, resulting in up to 250000 variables and constraints. On this problem, a parallel speedup of a factor of four is observed when using eight processors.