.png){kind=icon}
Return
Analytical and Triangular Solutions to Operational Flexibility Analysis Using Quantifier Elimination
.png){kind=icon}
PRE
AI
DOI：10.1002/aic.16207.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
The main purpose of operational flexibility analysis is to determine and describe the flexibility region. The existing methods are mainly developed by numerical calculation methods to estimate the contour of the flexibility region. In this article, a novel method is proposed for solving operational flexibility models described by polynomials. The proposed method can accurately describe the flexibility region and explicitly express the functional relationships between uncertain parameters and control variables. First, the original flexibility analysis model is represented as an existential quantifier formula. Then, a technique of quantifier elimination is introduced to deduce the formula to a series of explicitly triangular quantifier-free formulas. Last, a logical combination of the quantifier-free formulas can be used to depict the complete flexibility region. The case studies show that the deduced explicit expressions can accurately and effectively describe the flexibility region and guide the steady-state control operations, regardless of convex or nonconvex systems. (C) 2018 American Institute of Chemical Engineers
Keywords:
process design
operational flexibility
quantifier elimination
cylindrical algebraic decomposition
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4
Papers:
1.1W
Citations:
2.9W
Organization
Cited Papers
.png){kind=icon}
ShareSave
View more