LAPSE:2026.0425v1
Published Article

LAPSE:2026.0425v1
A Unified Python/JAX Framework for Thermodynamic Modeling, Nonlinear Solvers, and DAE Solution of Hydrocarbon Systems
June 12, 2026
Abstract
Dynamic simulation of distillation columns and chemical reactors remains essential for plant design, controllability analysis, and economic optimization. High-purity separations of close-boiling mixtures present significant computational challenges due to nonlinear thermodynamic behavior and stiff differential-algebraic equation (DAE) systems. This work presents a unified Python/JAX framework integrating four computational modules: (1) Peng-Robinson thermodynamics with complex-step differentiation, (2) nonlinear solvers (Newton, Broyden, Newton-Krylov) with automatic Curtis-Reid scaling, (3) DAE solver with Radau IIA collocation and intelligent auto-selection, and (4) constrained optimization using the Augmented Lagrangian Method with JAX automatic differentiation. The framework leverages JAX's just-in-time compilation (JIT), vectorization (vmap), and automatic differentiation (AD) to achieve near-compiled-language performance. Validation includes: nonlinear solver benchmarks with Newton-Krylov achieving 100% success across seven problems (n=2 to 5000), Williams-Otto reactor optimization with 0.06% deviation from published literature and 1325× real-time speedup, and a 180-stage propylene-propane splitter with 18× real-time performance under three concurrent disturbances. The framework shows that is possible to have an open-source alternative suitable for real-time optimization, operator training, and advanced process control applications.
Dynamic simulation of distillation columns and chemical reactors remains essential for plant design, controllability analysis, and economic optimization. High-purity separations of close-boiling mixtures present significant computational challenges due to nonlinear thermodynamic behavior and stiff differential-algebraic equation (DAE) systems. This work presents a unified Python/JAX framework integrating four computational modules: (1) Peng-Robinson thermodynamics with complex-step differentiation, (2) nonlinear solvers (Newton, Broyden, Newton-Krylov) with automatic Curtis-Reid scaling, (3) DAE solver with Radau IIA collocation and intelligent auto-selection, and (4) constrained optimization using the Augmented Lagrangian Method with JAX automatic differentiation. The framework leverages JAX's just-in-time compilation (JIT), vectorization (vmap), and automatic differentiation (AD) to achieve near-compiled-language performance. Validation includes: nonlinear solver benchmarks with Newton-Krylov achieving 100% success across seven problems (n=2 to 5000), Williams-Otto reactor optimization with 0.06% deviation from published literature and 1325× real-time speedup, and a 180-stage propylene-propane splitter with 18× real-time performance under three concurrent disturbances. The framework shows that is possible to have an open-source alternative suitable for real-time optimization, operator training, and advanced process control applications.
Record ID
Keywords
DAE Systems, Distillation, JAX, Nonlinear Solvers, Optimization, Process Simulation, Python
Subject
Suggested Citation
Sanz CC, Roux GL. A Unified Python/JAX Framework for Thermodynamic Modeling, Nonlinear Solvers, and DAE Solution of Hydrocarbon Systems. Systems and Control Transactions 5:1776-1785 (2026) https://doi.org/10.69997/sct.150789
Author Affiliations
Journal Name
Systems and Control Transactions
Volume
5
First Page
1776
Last Page
1785
Year
2026
Publication Date
2026-06-12
Version Comments
Original Submission
Other Meta
PII: 1776-1785-455-SCT-5-2026, Publication Type: Journal Article
Record Map
Published Article

LAPSE:2026.0425v1
This Record
External Link

https://doi.org/10.69997/sct.150789
Publisher Version
Download
Meta
Record Statistics
Record Views
251
Version History
[v1] (Original Submission)
Jun 12, 2026
Verified by curator on
Jun 12, 2026
This Version Number
v1
Citations
Most Recent
This Version
URL Here
https://psecommunity.org/LAPSE:2026.0425v1
Record Owner
PSE Press
Links to Related Works
References Cited
- J. Bradbury et al., "JAX: composable transformations of Python+NumPy programs, " 2018. http://github.com/google/jax
- OpenXLA Project, "XLA: Optimizing Compiler for Machine Learning." https://openxla.org/xla
- Peng D-Y, Robinson DB. A New Two-Constant Equation of State. Ind Eng Chem Fundam 15(1):59-64 (1976)
- Cox KR, Chapman WG. The properties of gases and liquids, 5th edition by bruce E. poling (university of toledo), john M. prausnitz (university of california at berkeley), and john P. o'connell (university of virginia). mcgraw-hill: new york. 2001. 768 pp. $115.00. ISBN 0-07-011682-2.. J. Am. Chem. Soc. 123:6745-6745 (2001) https://doi.org/10.1021/ja0048634
- CURTIS AR, REID JK. On the automatic scaling of matrices for gaussian elimination. IMA J Appl Math 10:118-124 (1972) https://doi.org/10.1093/imamat/10.1.118
- Knoll DA, Keyes DE. Jacobian-free newton-krylov methods: a survey of approaches and applications. Journal of Computational Physics 193:357-397 (2004) https://doi.org/10.1016/j.jcp.2003.08.010
- Eisenstat SC, Walker HF. Choosing the forcing terms in an inexact newton method. SIAM J. Sci. Comput. 17:16-32 (1996) https://doi.org/10.1137/0917003
- Hairer E, Wanner G. Order conditions for index 2 DAE. Springer Series in Computational Mathematics :506-518 (1996) https://doi.org/10.1007/978-3-642-05221-7_35
- Ascher UM, Petzold LR. Computer Methods for ODE and DAE, SIAM (1998)
- Nocedal J, Wright SJ. Numerical Optimization, 2nd Ed., Springer (2006)
- Conn AR, Gould NIM, Toint PhL. Trust-Region Methods, SIAM (2000)
- Martins JRRA, Sturdza P, Alonso JJ. The complex-step derivative approximation. ACM Trans. Math. Softw. 29:245-262 (2003) https://doi.org/10.1145/838250.838251
- Moré JJ, Garbow BS, Hillstrom KE. Testing unconstrained optimization software. ACM Trans. Math. Softw. 7:17-41 (1981) https://doi.org/10.1145/355934.355936
- Williams TJ, Otto RE. A generalized chemical processing model for the investigation of computer control. Trans. AIEE, Part I: Comm. Electron. 79:458-473 (1960) https://doi.org/10.1109/tce.1960.6367296
- Roberts PD. An algorithm for steady-state system optimization. Int J Syst Sci 10(7):719-734 (1979)
- Matias JOA, Ebrahimpour M, Le Roux GAC. Development and validation of a reduced-index dynamic model of an industrial high-purity column. Ind. Eng. Chem. Res. 57:1531-1546 (2018) https://doi.org/10.1021/acs.iecr.7b02789
- Andersson C, Führer C, Åkesson J. Assimulo: a unified framework for ODE solvers. Mathematics and Computers in Simulation 116:26-43 (2015) https://doi.org/10.1016/j.matcom.2015.04.007
- Beal LDR, Hill DC, Martin RA, Hedengren JD. GEKKO optimization suite. Processes 6:106 (2018) https://doi.org/10.3390/pr6080106
- Andersson JAE, Gillis J, Horn G, Rawlings JB, Diehl M. Casadi: a software framework for nonlinear optimization and optimal control. Math. Prog. Comp. 11:1-36 (2018) https://doi.org/10.1007/s12532-018-0139-4
(0.1 seconds)
[0.1 s]

