Proceedings of ESCAPE 36ISSN: 2818-4734
Volume: 5 (2026)
Table of Contents
LAPSE:2026.0425
Published Article
LAPSE:2026.0425
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.
Keywords
DAE Systems, Distillation, JAX, Nonlinear Solvers, Optimization, Process Simulation, Python
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
Sanz CC: Universidade de São Paulo, Chemical Engineering Department, São Paulo, Brazil [ORCID]
Roux GL: Universidade de São Paulo, Chemical Engineering Department, São Paulo, Brazil [ORCID]
[Login] to see author email addresses.
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.0425
This Record
External Link

https://doi.org/10.69997/sct.150789
Publisher Version
Download
Files
Jun 12, 2026
Main Article
License
CC BY-SA 4.0
Meta
Record Statistics
Record Views
206
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.0425
 
Record Owner
PSE Press
Links to Related Works
Directly Related to This Work
Publisher Version
References Cited
  1. J. Bradbury et al., "JAX: composable transformations of Python+NumPy programs, " 2018. http://github.com/google/jax
  2. OpenXLA Project, "XLA: Optimizing Compiler for Machine Learning." https://openxla.org/xla
  3. Peng D-Y, Robinson DB. A New Two-Constant Equation of State. Ind Eng Chem Fundam 15(1):59-64 (1976)
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. Ascher UM, Petzold LR. Computer Methods for ODE and DAE, SIAM (1998)
  10. Nocedal J, Wright SJ. Numerical Optimization, 2nd Ed., Springer (2006)
  11. Conn AR, Gould NIM, Toint PhL. Trust-Region Methods, SIAM (2000)
  12. 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
  13. 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
  14. 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
  15. Roberts PD. An algorithm for steady-state system optimization. Int J Syst Sci 10(7):719-734 (1979)
  16. 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
  17. 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
  18. Beal LDR, Hill DC, Martin RA, Hedengren JD. GEKKO optimization suite. Processes 6:106 (2018) https://doi.org/10.3390/pr6080106
  19. 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]